summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Collapse)AuthorAgeFilesLines
* Several small changes to the MFS packages.Alan Mishchenko2013-05-271-3/+3
|
* Added switch -M to set max size of two-cube divisors to extract (often helps ↵Alan Mishchenko2013-05-271-7/+19
| | | | both runtime and quality).
* New MFS package.Alan Mishchenko2013-05-261-19/+2
|
* New command 'putontop' to concatenate networks for don't-care-based ↵Alan Mishchenko2013-05-251-2/+107
| | | | optimization.
* New MFS package.Alan Mishchenko2013-05-251-2/+2
|
* New MFS package.Alan Mishchenko2013-05-251-4/+12
|
* New MFS package.Alan Mishchenko2013-05-241-2/+14
|
* Counter-example depth minimization.Alan Mishchenko2013-05-221-10/+32
|
* Bug fix in saving CEXes and CEX vectors.Alan Mishchenko2013-05-211-5/+9
|
* Added new switched to command &frames.Alan Mishchenko2013-05-191-7/+15
|
* Added switch -I <file_name> to &sim to perform simulation with the user's ↵Alan Mishchenko2013-05-181-2/+27
| | | | simulation pattern.
* Improvements to 'bmc3'.Alan Mishchenko2013-05-181-1/+1
|
* SAT variable profiling.Alan Mishchenko2013-05-181-1/+1
|
* SAT variable profiling.Alan Mishchenko2013-05-181-2/+38
|
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-171-14/+124
|
* Adding 'zeropo -o' to replace a given PO by const 1.Alan Mishchenko2013-05-151-4/+9
|
* New MFS package.Alan Mishchenko2013-05-121-0/+143
|
* Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the ↵Alan Mishchenko2013-05-111-2/+2
| | | | case of non-prime SOPs.
* Enabled switch 'fx -N <num>' to extract a fixed number of divisors.Alan Mishchenko2013-05-091-2/+2
|
* 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-091-26/+26
|
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-7/+7
|
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-061-2/+4
|
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-061-7/+11
|
* Integration of the liveness property prover developed by Sayak Ray.Alan Mishchenko2013-05-051-3/+7
|
* New fast extract.Alan Mishchenko2013-05-051-1/+1
|
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
|
* Allowing 'constr' to reset remove currently defined constraints.Alan Mishchenko2013-05-031-20/+18
|
* Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).Alan Mishchenko2013-05-031-2/+14
|
* Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).Alan Mishchenko2013-05-031-2/+14
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-7/+22
|
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-011-6/+7
|
* Compiler warnings.Alan Mishchenko2013-05-011-1/+1
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-9/+22
|
* Changing the print-out of &iso.Alan Mishchenko2013-04-301-5/+9
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-2/+2
|
* Added option 'int -I <filename>' to specify file names to dump invariants.Alan Mishchenko2013-04-281-4/+14
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-281-8/+22
|
* Added alias for 'eliminate'.Alan Mishchenko2013-04-281-3/+3
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-281-11/+21
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-4/+10
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-2/+3
|
* New fast extract.Alan Mishchenko2013-04-271-5/+18
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-14/+65
|
* Adding command &filter_equiv to filter candidate equivalence classes using ↵Alan Mishchenko2013-04-171-1/+49
| | | | indexes of disproved POs after handling SRM as a multi-output miter.
* Adding parameter structure for rarity simulation.Alan Mishchenko2013-04-171-154/+107
|
* Saving network name in 'blockpo'.Alan Mishchenko2013-04-121-1/+3
|
* Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.Alan Mishchenko2013-04-091-5/+13
|
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
|
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-3/+16
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 18:22:51 +0000