summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Memory leaks.Alan Mishchenko2013-07-212-9/+5
* Adding support for input slew and output capacitance to timer and gate-sizer.Alan Mishchenko2013-07-212-3/+2
* Adding support for input slew (.input_drive) and output capacitance (.output_...Alan Mishchenko2013-07-217-115/+387
* New technology mapper.Alan Mishchenko2013-07-181-4/+8
* New technology mapper.Alan Mishchenko2013-07-171-11/+48
* Improved printout of XOR/MUX/AND in 'print_stats'.Alan Mishchenko2013-07-161-12/+18
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-162-8/+40
* Adding another network duplicator.Alan Mishchenko2013-07-161-2/+2
* Adding another network duplicator.Alan Mishchenko2013-07-161-0/+58
* New technology mapper.Alan Mishchenko2013-07-152-3/+17
* New technology mapper.Alan Mishchenko2013-07-141-2/+2
* New technology mapper.Alan Mishchenko2013-07-142-4/+23
* New technology mapper.Alan Mishchenko2013-07-131-3/+8
* New technology mapper.Alan Mishchenko2013-07-131-2/+6
* New technology mapper.Alan Mishchenko2013-07-131-1/+1
* New technology mapper.Alan Mishchenko2013-07-121-4/+33
* Compiler warnings.Alan Mishchenko2013-07-121-1/+1
* Compiler warnings.Alan Mishchenko2013-07-122-24/+24
* New technology mapper.Alan Mishchenko2013-07-121-8/+85
* Compiler problem.Alan Mishchenko2013-07-012-150/+150
* Compiler problem.Alan Mishchenko2013-07-011-20/+20
* Fixing a typo.Alan Mishchenko2013-07-011-1/+1
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and...Alan Mishchenko2013-07-013-0/+3614
* Updating new mapper.Alan Mishchenko2013-06-291-4/+5
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-282-8/+22
* Data-structure experiment.Alan Mishchenko2013-06-271-4/+4
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-253-9/+118
* 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-252-6/+20
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-3/+3
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-222-0/+220
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-1/+1
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-224-1/+522
* Fix constant propagation after 'if'.Alan Mishchenko2013-06-181-0/+14
* 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-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