summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Expand)AuthorAgeFilesLines
* Improvements to buffering and sizing.Alan Mishchenko2013-08-092-1/+7
* Integrated buffering and sizing.Alan Mishchenko2013-08-082-0/+5
* Improvements to buffering and sizing.Alan Mishchenko2013-08-062-0/+8
* Improvements to buffering and sizing.Alan Mishchenko2013-08-061-2/+2
* Adding new (un)buffering with phase information.Alan Mishchenko2013-08-053-1/+35
* Code for parsing the transcripts.Alan Mishchenko2013-08-021-0/+18
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+86
* Code for parsing the transcripts.Alan Mishchenko2013-07-301-0/+124
* Parametrizing standard-cell mapper to account for the fanout delay.Alan Mishchenko2013-07-302-6/+21
* Added commands 'maxsize' and 'unbuffer'.Alan Mishchenko2013-07-291-0/+6
* Compiler warning.Alan Mishchenko2013-07-291-1/+1
* Adding support for input slew and output capacitance to timer and gate-sizer ...Alan Mishchenko2013-07-243-4/+46
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-244-17/+53
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-232-17/+29
* Bug fix and warning print.Alan Mishchenko2013-07-221-2/+42
* Improvements to post-mapping re-sizing.Alan Mishchenko2013-07-211-14/+16
* 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