summaryrefslogtreecommitdiffstats
path: root/src/map/mapper
Commit message (Expand)AuthorAgeFilesLines
* Adding code to support gate profiles.Alan Mishchenko2015-12-145-18/+59
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-082-10/+41
* Alternative way to bit-blast a divisor.Alan Mishchenko2015-08-291-1/+1
* Important bug fixes in standard-cell library handling and mapper &nf.Alan Mishchenko2015-08-281-1/+2
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+2
* Potential performance bug in the mapper.Alan Mishchenko2015-06-271-1/+1
* Adding switch 'map -f' to not use large gates for high-fanout nodes (disabled...Alan Mishchenko2015-04-244-2/+5
* Fixed a typo in variable names.Alan Mishchenko2015-02-071-3/+3
* Commented out some assertions inAlan Mishchenko2014-06-071-8/+8
* Commented out assertions that do not hold due to rounding of floating point n...Alan Mishchenko2014-05-101-2/+2
* Integrating barrier buffers into the mapper.Alan Mishchenko2014-03-2312-1127/+710
* Unifying standard cell library representations.Alan Mishchenko2013-09-171-3/+5
* Parametrizing standard-cell mapper to account for the fanout delay.Alan Mishchenko2013-07-305-10/+47
* Improved buffering.Alan Mishchenko2013-07-291-1/+1
* Improved gate-sizing.Alan Mishchenko2013-07-291-0/+3
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-244-13/+22
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-276-48/+48
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-271-1/+0
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Compiler warnings.Alan Mishchenko2012-09-291-1/+0
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-295-16/+16
* Cleaned up interfaces of genlib/liberty/supergate reading/writing.Alan Mishchenko2012-09-255-108/+414
* Cleaned up interfaces of genlib/liberty/supergate reading/writing.Alan Mishchenko2012-09-258-1009/+28
* Changed printouts in a few places in supergate computation.Alan Mishchenko2012-09-241-0/+3
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-193-5/+5
* Extending BLIF parser/write to hangle multi-output cells.Alan Mishchenko2012-09-193-3/+3
* Commenting out some assertions in the 'map' mapper.Alan Mishchenko2012-09-101-4/+4
* Compiler warnings.Alan Mishchenko2012-08-291-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-072-6/+6
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-076-25/+18
* Minor change to prevent assertion failure when verifying required times.Alan Mishchenko2012-06-151-2/+2
* Improving printouts of critical path.Alan Mishchenko2012-04-061-1/+1
* Additional features for delay optimizationAlan Mishchenko2012-03-211-1/+1
* Enabling user-specified required times in 'map'.Alan Mishchenko2012-03-024-10/+25
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-03-021-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-5/+7
* Major restructuring of the code.Alan Mishchenko2012-01-216-15/+15
* Trying to fix a mysterious bug in reading the library files.Alan Mishchenko2011-05-061-15/+14
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-303-4/+4
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-273-1/+10
* Performance bug fix in area-only mapping "map -a".Alan Mishchenko2010-11-291-1/+1
* initial commit of public abcAlan Mishchenko2010-11-0122-25/+138
* Version abc90714Alan Mishchenko2015-06-221-4/+21
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90215Alan Mishchenko2009-02-1510-85/+84
* Version abc90118Alan Mishchenko2009-01-181-1/+1
* Version abc81014Alan Mishchenko2008-10-141-1/+1
* Version abc80725Alan Mishchenko2008-07-252-3/+833
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 04:21:17 +0000