summaryrefslogtreecommitdiffstats
path: root/src/aig/aig
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-301-2/+2
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-231-3/+2
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-071-0/+1
* Adding timeout to the interpolant computation procedure.Alan Mishchenko2013-06-281-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2712-61/+61
* g++ warnings.Alan Mishchenko2013-05-191-1/+1
* Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax().Alan Mishchenko2013-03-191-5/+5
* Performance bug fix in choice generation.Alan Mishchenko2012-11-091-1/+14
* Making explicit cast to 64-bit unsigned in a few places.Alan Mishchenko2012-10-091-1/+1
* Simplification in AIG manager object counting.Alan Mishchenko2012-10-052-4/+3
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-291-9/+9
* Testing GIA with time manager.Alan Mishchenko2012-09-231-1/+0
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-235-141/+1
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-0/+1
* Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.Alan Mishchenko2012-09-061-4/+4
* Added error message when the user is trying 'dsat' for multi-output comb miters.Alan Mishchenko2012-09-051-1/+1
* Removed useless file.Alan Mishchenko2012-07-121-1/+0
* Fixing temporary linker problem.Alan Mishchenko2012-07-121-1/+2
* Changes to clause mapping.Alan Mishchenko2012-07-111-12/+12
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-092-3/+3
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-11/+11
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0715-25/+25
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0712-21/+32
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-098-37/+37
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0926-307/+307
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0925-208/+208
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Graph isomorphism checking code.Alan Mishchenko2012-02-114-1025/+38
* Graph isomorphism checking code.Alan Mishchenko2012-02-021-35/+115
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+7
* Graph isomorphism checking code.Alan Mishchenko2012-01-302-10/+126
* Graph isomorphism checking code.Alan Mishchenko2012-01-292-0/+823
* Major restructuring of the code.Alan Mishchenko2012-01-2127-208/+149
* Support computation experiments with different network data-structures.Alan Mishchenko2012-01-141-0/+23
* New hierarchy manager.Alan Mishchenko2012-01-131-1/+22
* Commented out a printout line which cases a warning to be printed.Alan Mishchenko2012-01-131-1/+1
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-5/+10
* Started SAT-based reparameterization.Alan Mishchenko2011-12-132-0/+398
* Added/renamed useful APIs.Alan Mishchenko2011-12-061-1/+2
* g++ portability changes.Alan Mishchenko2011-12-061-1/+1
* Dump inductive invariant or last interpolant after interpolation.Alan Mishchenko2011-11-122-0/+48
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-062-0/+24
* Changes to CNF generation code.Alan Mishchenko2011-10-171-7/+16
* Sequential cleanup with symbolic/ternary simulation (bug fix).Alan Mishchenko2011-09-081-1/+1
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-243-9/+22
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-022-3/+3
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-012-9/+4
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-013-6/+6
* Added new APIs to the AIG manager.Alan Mishchenko2011-07-311-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 20:53:16 +0000