summaryrefslogtreecommitdiffstats
path: root/abc.rc
Commit message (Collapse)AuthorAgeFilesLines
* Updating old script.Alan Mishchenko2016-04-301-1/+1
|
* Changing the resource file to get rid of a warning on Linux.Alan Mishchenko2016-01-141-1/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-081-1/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-03-081-1/+1
|
* Adding new aliases.Alan Mishchenko2013-09-301-2/+2
|
* Adding new aliases.Alan Mishchenko2013-09-301-0/+2
|
* Changing default values.Alan Mishchenko2013-09-291-0/+1
|
* Changing default values.Alan Mishchenko2013-09-281-0/+1
|
* Added alias for 'eliminate'.Alan Mishchenko2013-04-281-0/+1
|
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ↵Alan Mishchenko2013-04-181-0/+6
| | | | for liveness properties).
* Cleaning up abc.rc file.Alan Mishchenko2013-04-021-64/+2
|
* Improvements to gate-sizing.Alan Mishchenko2012-10-091-1/+1
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-241-0/+1
|
* Updated BIP binary name.Alan Mishchenko2012-07-051-1/+1
|
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-0/+1
|
* Updated default BIP version.Alan Mishchenko2012-06-211-1/+1
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-161-0/+1
|
* Added alias blif2aig = undc; strash; zeroAlan Mishchenko2011-12-221-0/+1
|
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-181-0/+1
|
* Added another specialized check to the mapper.Alan Mishchenko2011-06-271-1/+1
|
* Commented out debug messages.Alan Mishchenko2011-04-261-1/+1
|
* Forgot to update project file.Alan Mishchenko2011-04-151-1/+1
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-301-0/+1
|
* initial commit of public abcAlan Mishchenko2010-11-011-2/+5
|
* Version abc90901Alan Mishchenko2015-06-221-4/+46
| | | | committer: Baruch Sterin <baruchs@gmail.com>
* Version abc90310Alan Mishchenko2009-03-101-4/+4
|
* Version abc90215Alan Mishchenko2009-02-151-2/+3
|
* Version abc90118Alan Mishchenko2009-01-181-1/+5
|
* Version abc81027Alan Mishchenko2008-10-271-1/+1
|
* Version abc80912Alan Mishchenko2008-09-121-2/+2
|
* Version abc80705Alan Mishchenko2008-07-051-1/+1
|
* Version abc80702Alan Mishchenko2008-07-021-2/+3
|
* Version abc80515Alan Mishchenko2008-05-151-0/+1
|
* Version abc80511Alan Mishchenko2008-05-111-0/+1
|
* Version abc80510Alan Mishchenko2008-05-101-0/+2
|
* Version abc80430Alan Mishchenko2008-04-301-11/+11
|
* Version abc80222Alan Mishchenko2008-02-221-1/+2
|
* Version abc80208Alan Mishchenko2008-02-081-0/+6
|
* Version abc80202Alan Mishchenko2008-02-021-0/+1
|
* Version abc80130_2Alan Mishchenko2008-01-301-15/+74
|
* Version abc80130Alan Mishchenko2008-01-301-74/+15
|
* Version abc71226Alan Mishchenko2007-12-261-68/+6
|
* Version abc71225Alan Mishchenko2007-12-251-6/+68
|
* Version abc71216Alan Mishchenko2007-12-161-1/+1
|
* Version abc71130Alan Mishchenko2007-11-301-0/+4
|
* Version abc71002Alan Mishchenko2007-10-021-1/+1
|
* Version abc71001Alan Mishchenko2007-10-011-0/+124
|
* Version abc70930Alan Mishchenko2007-09-301-176/+0
|
* Version abc70906Alan Mishchenko2007-09-061-1/+2
|
* Version abc70819Alan Mishchenko2007-08-191-2/+3
|