summaryrefslogtreecommitdiffstats
path: root/src/aig/aig
Commit message (Expand)AuthorAgeFilesLines
* Commenting out unimportant assertion.Alan Mishchenko2022-06-271-1/+1
* Suggested bug fixes in the old code.Alan Mishchenko2022-01-211-1/+1
* Fixing some update gcc.Alan Mishchenko2019-07-241-1/+1
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* Compiler warnings.Alan Mishchenko2017-07-222-22/+22
* Changing file naming in 'show' and '&show'.Alan Mishchenko2017-01-111-3/+2
* Serious bug fix in 'scorr -F <num>' with <num> > 1.Alan Mishchenko2016-07-282-8/+35
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+14
* Fixing reported memory alignment issue.Alan Mishchenko2015-01-271-0/+12
* Compiler warnings.Alan Mishchenko2014-08-021-1/+1
* merge unfold2Jiang Long2014-06-042-0/+12
* Bug in the old code.Alan Mishchenko2014-03-281-23/+41
* Improving network visualization in show/&show.Alan Mishchenko2014-03-281-1/+9
* Updating code to support barrier buffers.Alan Mishchenko2014-03-184-0/+14
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 06:58:56 +0000