summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* New MFS package.Alan Mishchenko2013-05-2410-73/+102
* New MFS package.Alan Mishchenko2013-05-249-180/+598
* New MFS package.Alan Mishchenko2013-05-236-125/+349
* Counter-example depth minimization.Alan Mishchenko2013-05-226-16/+552
* Bug fix in saving CEXes and CEX vectors.Alan Mishchenko2013-05-211-5/+9
* Windows Visual Studio 2008 warnings.Alan Mishchenko2013-05-203-4/+4
* g++ warnings.Alan Mishchenko2013-05-196-6/+6
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-192-5/+10
* Bug fix in &frames.Alan Mishchenko2013-05-191-25/+6
* Bug fix in &mprove.Alan Mishchenko2013-05-191-2/+2
* Added new switched to command &frames.Alan Mishchenko2013-05-193-13/+60
* Changing command 'history' to have simpler interface.Alan Mishchenko2013-05-181-28/+11
* Added switch -I <file_name> to &sim to perform simulation with the user's sim...Alan Mishchenko2013-05-182-2/+122
* Potential improvement to &scorr.Alan Mishchenko2013-05-181-0/+72
* Improvements to 'bmc3'.Alan Mishchenko2013-05-182-159/+12
* SAT variable profiling.Alan Mishchenko2013-05-181-5/+53
* Fixed gap timeout in 'pdr'.Alan Mishchenko2013-05-181-0/+4
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+4
* SAT variable profiling.Alan Mishchenko2013-05-181-0/+1
* SAT variable profiling.Alan Mishchenko2013-05-182-4/+10
* SAT variable profiling.Alan Mishchenko2013-05-185-8/+53
* 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
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-1/+1
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-177-48/+341
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-176-32/+8
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-179-26/+240
* Bug fix in the timeout mechanism of 'pdr'.Alan Mishchenko2013-05-171-2/+2
* Adding 'zeropo -o' to replace a given PO by const 1.Alan Mishchenko2013-05-152-6/+11
* Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.Alan Mishchenko2013-05-132-2/+2
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-122-5/+9
* New MFS package.Alan Mishchenko2013-05-1214-218/+930
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-121-0/+3
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-111-1/+1
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ca...Alan Mishchenko2013-05-114-79/+139
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-092-8/+9
* Typo in the comment.Alan Mishchenko2013-05-092-4/+4
* Adding comment about using 'dprove' for sequential synthesis.Alan Mishchenko2013-05-091-1/+1
* Changing per-output runtime limit to be in miliseconds.Alan Mishchenko2013-05-094-30/+30
* Bug fix in the sweeper.Alan Mishchenko2013-05-082-2/+8
* Bug fix in the sweeper.Alan Mishchenko2013-05-071-2/+6
* Making fanin ordering available for netlists, not only networks.Alan Mishchenko2013-05-071-6/+6
* Bug fix in 'blockpo'.Alan Mishchenko2013-05-071-0/+1
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-075-13/+16
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-063-6/+15
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-064-54/+445
* SAT sweeping under constraints.Alan Mishchenko2013-05-065-22/+201