Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Suggested bug fixes in the old code. | Alan Mishchenko | 2022-01-21 | 1 | -1/+1 |
* | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 1 | -1/+1 |
* | Serious bug fix in 'scorr -F <num>' with <num> > 1. | Alan Mishchenko | 2016-07-28 | 1 | -8/+21 |
* | Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax(). | Alan Mishchenko | 2013-03-19 | 1 | -5/+5 |
* | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -2/+2 |
* | Renamed Aig_ObjPioNum to be Aig_ObjCioId. | Alan Mishchenko | 2012-03-09 | 1 | -10/+10 |
* | Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... | Alan Mishchenko | 2012-03-09 | 1 | -18/+18 |
* | Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci... | Alan Mishchenko | 2012-03-09 | 1 | -16/+16 |
* | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -57/+21 |
* | Changes to read multi-output testcases described using AIGER 1.9. | Alan Mishchenko | 2011-11-06 | 1 | -0/+23 |
* | Removed useless typecasts related to changes in Vec_VecEntry(). | Alan Mishchenko | 2011-08-01 | 1 | -3/+3 |
* | Changes to enable smarter simulation. | Alan Mishchenko | 2011-07-29 | 1 | -2/+2 |
* | Added random generation of 64-bit numbers. | Alan Mishchenko | 2011-07-27 | 1 | -3/+20 |
* | Fixed a number of small bugs and memory leaks. | Alan Mishchenko | 2011-03-27 | 1 | -0/+1 |
* | initial commit of public abc | Alan Mishchenko | 2010-11-01 | 1 | -27/+172 |
* | Version abc90714 | Alan Mishchenko | 2015-06-22 | 1 | -0/+127 |
* | Version abc90408 | Alan Mishchenko | 2009-04-08 | 1 | -2/+2 |
* | Version abc90329 | Alan Mishchenko | 2009-03-29 | 1 | -2/+2 |
* | Version abc90220 | Alan Mishchenko | 2009-02-20 | 1 | -0/+2 |
* | Version abc90215 | Alan Mishchenko | 2009-02-15 | 1 | -1/+37 |
* | Version abc81029 | Alan Mishchenko | 2008-10-29 | 1 | -0/+19 |
* | Version abc81014 | Alan Mishchenko | 2008-10-14 | 1 | -0/+19 |
* | Version abc81013 | Alan Mishchenko | 2008-10-13 | 1 | -0/+80 |
* | Version abc80901 | Alan Mishchenko | 2008-09-01 | 1 | -0/+21 |
* | Version abc80802 | Alan Mishchenko | 2008-08-02 | 1 | -2/+2 |
* | Version abc80702 | Alan Mishchenko | 2008-07-02 | 1 | -13/+13 |
* | Version abc80516 | Alan Mishchenko | 2008-05-16 | 1 | -0/+22 |
* | Version abc80508 | Alan Mishchenko | 2008-05-08 | 1 | -0/+88 |
* | Version abc80422 | Alan Mishchenko | 2008-04-22 | 1 | -0/+42 |
* | Version abc80406 | Alan Mishchenko | 2008-04-06 | 1 | -13/+44 |
* | Version abc80403 | Alan Mishchenko | 2008-04-03 | 1 | -3/+9 |
* | Version abc80327 | Alan Mishchenko | 2008-03-27 | 1 | -0/+22 |
* | Version abc80326 | Alan Mishchenko | 2008-03-26 | 1 | -0/+42 |
* | Version abc80130_2 | Alan Mishchenko | 2008-01-30 | 1 | -0/+855 |
* | Version abc80130 | Alan Mishchenko | 2008-01-30 | 1 | -855/+0 |
* | Version abc80115 | Alan Mishchenko | 2008-01-15 | 1 | -14/+18 |
* | Version abc71130 | Alan Mishchenko | 2007-11-30 | 1 | -4/+4 |
* | Version abc71001 | Alan Mishchenko | 2007-10-01 | 1 | -0/+851 |
* | Version abc70930 | Alan Mishchenko | 2007-09-30 | 1 | -846/+0 |
* | Version abc70926 | Alan Mishchenko | 2007-09-26 | 1 | -17/+123 |
* | Version abc70906 | Alan Mishchenko | 2007-09-06 | 1 | -1/+1 |
* | Version abc70828 | Alan Mishchenko | 2007-08-28 | 1 | -3/+11 |
* | Version abc70731 | Alan Mishchenko | 2007-07-31 | 1 | -5/+37 |
* | Version abc70726 | Alan Mishchenko | 2007-07-26 | 1 | -0/+38 |
* | Version abc70723 | Alan Mishchenko | 2007-07-23 | 1 | -0/+20 |
* | Version abc70712 | Alan Mishchenko | 2007-07-12 | 1 | -0/+642 |