summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-272-2/+2
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-27358-3273/+3291
|
* Several small changes to the MFS packages.Alan Mishchenko2013-05-2710-21/+26
|
* Added switch -M to set max size of two-cube divisors to extract (often helps ↵Alan Mishchenko2013-05-275-19/+38
| | | | both runtime and quality).
* Changing how often timeout is checked in the SAT solver and several ↵Alan Mishchenko2013-05-274-3/+21
| | | | application packages.
* New MFS package.Alan Mishchenko2013-05-271-1/+1
|
* New MFS package.Alan Mishchenko2013-05-274-9/+35
|
* New MFS package.Alan Mishchenko2013-05-265-15/+34
|
* New MFS package.Alan Mishchenko2013-05-269-98/+96
|
* New command 'putontop' to concatenate networks for don't-care-based ↵Alan Mishchenko2013-05-255-7/+196
| | | | optimization.
* New MFS package.Alan Mishchenko2013-05-2512-109/+111
|
* New MFS package.Alan Mishchenko2013-05-2511-119/+100
|
* New MFS package.Alan Mishchenko2013-05-254-10/+22
|
* New MFS package.Alan Mishchenko2013-05-259-38/+67
|
* 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 ↵Alan Mishchenko2013-05-182-2/+122
| | | | simulation pattern.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 21:54:50 +0000