summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* New technology mapper.Alan Mishchenko2013-07-121-8/+85
* Compiler problem.Alan Mishchenko2013-07-011-14/+14
* Fixing a typo.Alan Mishchenko2013-07-011-1/+1
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and...Alan Mishchenko2013-07-011-0/+267
* Updating new mapper.Alan Mishchenko2013-06-291-4/+5
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-281-6/+20
* Data-structure experiment.Alan Mishchenko2013-06-271-4/+4
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-5/+5
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-5/+19
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-3/+3
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-221-0/+136
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-0/+78
* Compiler warnings.Alan Mishchenko2013-06-181-1/+1
* New MFS package.Alan Mishchenko2013-05-311-12/+4
* 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-271-3/+0
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-15/+15
* 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
* New MFS package.Alan Mishchenko2013-05-261-19/+2
* New command 'putontop' to concatenate networks for don't-care-based optimizat...Alan Mishchenko2013-05-251-2/+107
* 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 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
* 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 ca...Alan Mishchenko2013-05-111-2/+2
* 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