summaryrefslogtreecommitdiffstats
path: root/src/aig/hop
Commit message (Collapse)AuthorAgeFilesLines
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-1/+1
|
* Adding switch -a to 'write_verilog' to write factored forms without XORs and ↵Alan Mishchenko2017-12-032-11/+11
| | | | MUXes.
* Compiler warnings.Alan Mishchenko2013-10-301-2/+2
|
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-162-1/+49
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-272-5/+5
|
* Modified command 'eliminate' to perform traditional 'eliminate -1'.Alan Mishchenko2013-04-282-0/+67
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-6/+6
|
* Testing GIA with time manager.Alan Mishchenko2012-09-231-6/+9
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-4/+4
|
* Better resolution of CO drivers. Should impact the QoR after 'if'.Alan Mishchenko2012-05-152-0/+55
|
* Major restructuring of the code.Alan Mishchenko2012-01-215-46/+10
|
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-0/+5
|
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-012-4/+4
|
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-0/+1
|
* initial commit of public abcAlan Mishchenko2010-11-0114-56/+124
|
* Version abc90408Alan Mishchenko2009-04-083-7/+4
|
* Version abc90215Alan Mishchenko2009-02-158-52/+48
|
* Version abc90118Alan Mishchenko2009-01-183-3/+15
|
* Version abc80721Alan Mishchenko2008-07-211-2/+2
|
* Version abc80702Alan Mishchenko2008-07-025-26/+26
|
* Version abc80511Alan Mishchenko2008-05-111-1/+1
|
* Version abc80507Alan Mishchenko2008-05-073-3/+72
|
* Version abc80411Alan Mishchenko2008-04-111-5/+5
|
* Version abc80406Alan Mishchenko2008-04-061-1/+1
|
* Version abc80329Alan Mishchenko2008-03-291-2/+6
|
* Version abc80327Alan Mishchenko2008-03-274-3/+216
|
* Version abc80301Alan Mishchenko2008-03-011-4/+4
|
* Version abc80130_2Alan Mishchenko2008-01-3014-0/+3498
|
* Version abc80130Alan Mishchenko2008-01-3014-3498/+0
|
* Version abc71001Alan Mishchenko2007-10-0114-0/+3498
|
* Version abc70930Alan Mishchenko2007-09-3014-3498/+0
|
* Version abc70926Alan Mishchenko2007-09-261-5/+5
|
* Version abc70906Alan Mishchenko2007-09-063-12/+14
|
* Version abc70428Alan Mishchenko2007-04-284-50/+55
|
* Version abc70406Alan Mishchenko2007-04-062-1/+25
|
* Version abc70317Alan Mishchenko2007-03-173-18/+21
|
* Version abc70313Alan Mishchenko2007-03-133-4/+59
|
* Version abc70211Alan Mishchenko2007-02-111-1/+1
|
* Version abc70110Alan Mishchenko2007-01-102-0/+48
|
* Version abc61122Alan Mishchenko2006-11-2214-0/+3361