summaryrefslogtreecommitdiffstats
path: root/src/aig/hop
Commit message (Expand)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
* 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