index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
aig
Commit message (
Expand
)
Author
Age
Files
Lines
*
Serious bug fix in 'scorr -F <num>' with <num> > 1.
Alan Mishchenko
2016-07-28
2
-8
/
+35
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-1
/
+1
*
Changes to be able to compile ABC without CUDD.
Alan Mishchenko
2015-08-24
1
-0
/
+14
*
Fixing reported memory alignment issue.
Alan Mishchenko
2015-01-27
1
-0
/
+12
*
Compiler warnings.
Alan Mishchenko
2014-08-02
1
-1
/
+1
*
merge unfold2
Jiang Long
2014-06-04
2
-0
/
+12
*
Bug in the old code.
Alan Mishchenko
2014-03-28
1
-23
/
+41
*
Improving network visualization in show/&show.
Alan Mishchenko
2014-03-28
1
-1
/
+9
*
Updating code to support barrier buffers.
Alan Mishchenko
2014-03-18
4
-0
/
+14
*
Compiler warnings.
Alan Mishchenko
2013-10-30
1
-2
/
+2
*
Tuning standard-cell mapping flow.
Alan Mishchenko
2013-07-23
1
-3
/
+2
*
Adding timeout to AIG rewriting inside 'int'.
Alan Mishchenko
2013-07-07
1
-0
/
+1
*
Adding timeout to the interpolant computation procedure.
Alan Mishchenko
2013-06-28
1
-1
/
+1
*
Adding a wrapper around clock() for more accurate time counting in ABC.
Alan Mishchenko
2013-05-27
12
-61
/
+61
*
g++ warnings.
Alan Mishchenko
2013-05-19
1
-1
/
+1
*
Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax().
Alan Mishchenko
2013-03-19
1
-5
/
+5
*
Performance bug fix in choice generation.
Alan Mishchenko
2012-11-09
1
-1
/
+14
*
Making explicit cast to 64-bit unsigned in a few places.
Alan Mishchenko
2012-10-09
1
-1
/
+1
*
Simplification in AIG manager object counting.
Alan Mishchenko
2012-10-05
2
-4
/
+3
*
Replacing 'st_table' by 'st__table' to resolve linker problems.
Alan Mishchenko
2012-09-29
1
-9
/
+9
*
Testing GIA with time manager.
Alan Mishchenko
2012-09-23
1
-1
/
+0
*
Cleaing AIG manager by removing pointers to HAIG.
Alan Mishchenko
2012-09-23
5
-141
/
+1
*
Integrating time manager into choice computation.
Alan Mishchenko
2012-09-22
1
-0
/
+1
*
Integrated new fast semi-canonical form for Boolean functions up to 16 inputs.
Alan Mishchenko
2012-09-06
1
-4
/
+4
*
Added error message when the user is trying 'dsat' for multi-output comb miters.
Alan Mishchenko
2012-09-05
1
-1
/
+1
*
Removed useless file.
Alan Mishchenko
2012-07-12
1
-1
/
+0
*
Fixing temporary linker problem.
Alan Mishchenko
2012-07-12
1
-1
/
+2
*
Changes to clause mapping.
Alan Mishchenko
2012-07-11
1
-12
/
+12
*
Replacing Mb/Gb to be MB/GB.
Alan Mishchenko
2012-07-09
2
-3
/
+3
*
Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...
Alan Mishchenko
2012-07-09
1
-11
/
+11
*
Updating project settings to have simpler include paths.
Alan Mishchenko
2012-07-07
15
-25
/
+25
*
Fixing time primtouts throughout the code.
Alan Mishchenko
2012-07-07
2
-2
/
+3
*
Fixing time primtouts throughout the code.
Alan Mishchenko
2012-07-07
12
-21
/
+32
*
Renamed Aig_ObjPioNum to be Aig_ObjCioId.
Alan Mishchenko
2012-03-09
8
-37
/
+37
*
Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...
Alan Mishchenko
2012-03-09
26
-307
/
+307
*
Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...
Alan Mishchenko
2012-03-09
25
-208
/
+208
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-17
1
-1
/
+1
*
Graph isomorphism checking code.
Alan Mishchenko
2012-02-11
4
-1025
/
+38
*
Graph isomorphism checking code.
Alan Mishchenko
2012-02-02
1
-35
/
+115
*
Graph isomorphism checking code.
Alan Mishchenko
2012-01-30
1
-0
/
+7
*
Graph isomorphism checking code.
Alan Mishchenko
2012-01-30
2
-10
/
+126
*
Graph isomorphism checking code.
Alan Mishchenko
2012-01-29
2
-0
/
+823
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
27
-208
/
+149
*
Support computation experiments with different network data-structures.
Alan Mishchenko
2012-01-14
1
-0
/
+23
*
New hierarchy manager.
Alan Mishchenko
2012-01-13
1
-1
/
+22
*
Commented out a printout line which cases a warning to be printed.
Alan Mishchenko
2012-01-13
1
-1
/
+1
*
Computing interpolants as truth tables.
Alan Mishchenko
2011-12-22
1
-5
/
+10
*
Started SAT-based reparameterization.
Alan Mishchenko
2011-12-13
2
-0
/
+398
*
Added/renamed useful APIs.
Alan Mishchenko
2011-12-06
1
-1
/
+2
*
g++ portability changes.
Alan Mishchenko
2011-12-06
1
-1
/
+1
[next]