summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Expand)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 op...Alan Mishchenko2013-09-161-0/+31
* 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 applicati...Alan Mishchenko2013-05-272-2/+2
* 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-05 01:16:12 +0000