summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* New MFS package.Alan Mishchenko2013-05-311-2/+14
* New MFS package.Alan Mishchenko2013-05-301-2/+6
* Multiplexer profiling.Alan Mishchenko2013-05-271-4/+6
* Moving one declaration to the header file.Alan Mishchenko2013-05-274-5/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2750-575/+575
* Several small changes to the MFS packages.Alan Mishchenko2013-05-272-4/+5
* Added switch -M to set max size of two-cube divisors to extract (often helps ...Alan Mishchenko2013-05-273-13/+31
* New MFS package.Alan Mishchenko2013-05-271-3/+7
* New MFS package.Alan Mishchenko2013-05-261-4/+5
* New MFS package.Alan Mishchenko2013-05-262-36/+26
* New command 'putontop' to concatenate networks for don't-care-based optimizat...Alan Mishchenko2013-05-254-7/+195
* New MFS package.Alan Mishchenko2013-05-252-3/+12
* New MFS package.Alan Mishchenko2013-05-251-4/+12
* New MFS package.Alan Mishchenko2013-05-251-10/+24
* New MFS package.Alan Mishchenko2013-05-242-6/+11
* 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
* 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-181-2/+27
* 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
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-0/+3
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-174-14/+133
* 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-131-1/+1
* Extending cube representation to handle SOPs with many cubes.Alan Mishchenko2013-05-121-0/+4
* New MFS package.Alan Mishchenko2013-05-123-0/+333
* 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
* 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
* Making fanin ordering available for netlists, not only networks.Alan Mishchenko2013-05-071-6/+6
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-7/+7
* 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
* Integration of the liveness property prover developed by Sayak Ray.Alan Mishchenko2013-05-051-3/+7
* New fast extract.Alan Mishchenko2013-05-051-17/+71
* New fast extract.Alan Mishchenko2013-05-053-260/+332
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-9/+1
* New fast extract.Alan Mishchenko2013-05-051-1/+1
* New fast extract.Alan Mishchenko2013-05-053-212/+544
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+2
* C++ compiler errors.Alan Mishchenko2013-05-041-1/+1
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-042-9/+1
* Changes to the ABC data-structures to allow for larger designs.Alan Mishchenko2013-05-041-4/+4
* Allowing 'constr' to reset remove currently defined constraints.Alan Mishchenko2013-05-031-20/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 08:35:55 +0000