summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Expand)AuthorAgeFilesLines
* 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
* Adding rollback for the other solver.Alan Mishchenko2013-04-253-3/+141
* Adding callback to bmc3, sim3, pdr in the multi-output mode.Alan Mishchenko2013-04-172-8/+14
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-092-13/+34
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-14/+12
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-5/+11
* Compiler warnings.Alan Mishchenko2013-03-301-3/+3
* Updating bmc3 printout to show the number of failed outputs.Alan Mishchenko2013-03-301-4/+6
* Added dumping QDIMACS files in command 'qbf'.Alan Mishchenko2013-03-272-6/+34
* Fixing the dump of SAT solver into a CNF file.Alan Mishchenko2013-03-263-17/+18
* Fixing gap timeout in 'bmc3'.Alan Mishchenko2013-03-131-6/+40
* Making 'bmc3' with switch '-a' not save CEXes.Alan Mishchenko2013-03-071-13/+13
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-2/+1
* Compiler warnings.Alan Mishchenko2013-02-232-0/+5
* Compiler warnings.Alan Mishchenko2013-02-211-3/+3
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-161-0/+1
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-152-0/+12
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-302-12/+12
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-4/+8
* New unrolling manager.Alan Mishchenko2012-12-242-1/+457
* Unifification of custom extensions.Alan Mishchenko2012-12-102-4/+4
* Counter-example analysis and optimization.Alan Mishchenko2012-12-011-64/+258
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-3/+1
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-17/+21
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-12/+78
* Counter-example analysis and optimization.Alan Mishchenko2012-11-291-0/+590
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-1/+2
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-152-10/+139
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-152-24/+238
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-12/+15
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-16/+52
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-09 15:51:41 +0000