summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-09-251-2/+10
|
* Fixing printouts in 'bmc3'.Alan Mishchenko2013-09-251-58/+58
|
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-171-8/+5
|
* Added bridge integration for multi-output 'bmc3 -a'.Alan Mishchenko2013-09-172-0/+13
|
* Compiler warning about unused variable.Alan Mishchenko2013-09-171-2/+2
|
* Changing dynamic CNF loading code to perform loading before propagate() as ↵Alan Mishchenko2013-09-161-0/+31
| | | | opposed to when the literal first implied in enqueue().
* Corrected variable naming in clause2_proofid().Alan Mishchenko2013-09-111-1/+1
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-10/+16
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-1/+5
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-102-9/+417
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-091-37/+39
|
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-2/+2
|
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-056-12/+12
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-45/+208
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-33/+138
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-3/+9
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-6/+6
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-052-3/+5
|
* Updates for the new BMC engine.Alan Mishchenko2013-09-055-19/+147
|
* Improved unrolling manager.Alan Mishchenko2013-09-051-94/+92
|
* Improved unrolling manager.Alan Mishchenko2013-09-051-74/+123
|
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-021-0/+242
|
* Adding interpolant computation sat_solver2.Alan Mishchenko2013-09-023-1/+28
|
* Bug fix in 'int'.Alan Mishchenko2013-08-051-2/+2
|
* Bug fix in 'int'.Alan Mishchenko2013-08-051-42/+35
|
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+210
|
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-014-4/+49
|
* Experiment with 'pdr'.Alan Mishchenko2013-07-193-0/+63
|
* Bug fix in the timeout for 'int'.Alan Mishchenko2013-07-011-1/+1
|
* Adding timeout to the interpolant computation procedure.Alan Mishchenko2013-06-282-2/+19
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-212-2/+2
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2722-220/+220
|
* Changing how often timeout is checked in the SAT solver and several ↵Alan Mishchenko2013-05-272-2/+2
| | | | application packages.
* Counter-example depth minimization.Alan Mishchenko2013-05-222-0/+422
|
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
|
* Improvements to 'bmc3'.Alan Mishchenko2013-05-181-158/+11
|
* SAT variable profiling.Alan Mishchenko2013-05-181-5/+53
|
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+4
|
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+1
|
* SAT variable profiling.Alan Mishchenko2013-05-181-3/+9
|
* SAT variable profiling.Alan Mishchenko2013-05-184-6/+15
|
* SAT variable profiling.Alan Mishchenko2013-05-184-3/+28
|
* SAT variable profiling (undo).Alan Mishchenko2013-05-183-19/+0
|
* SAT variable profiling.Alan Mishchenko2013-05-183-0/+19
|
* SAT variable profiling (undo).Alan Mishchenko2013-05-183-19/+0
|
* SAT variable profiling.Alan Mishchenko2013-05-183-0/+19
|
* Changing per-output runtime limit to be in miliseconds.Alan Mishchenko2013-05-091-2/+2
|
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-031-1/+3
|
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-032-10/+45
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:43:35 +0000