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
*
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
*
Dump inductive invariant or last interpolant after interpolation.
Alan Mishchenko
2011-11-12
2
-0
/
+48
*
Changes to read multi-output testcases described using AIGER 1.9.
Alan Mishchenko
2011-11-06
2
-0
/
+24
*
Changes to CNF generation code.
Alan Mishchenko
2011-10-17
1
-7
/
+16
*
Sequential cleanup with symbolic/ternary simulation (bug fix).
Alan Mishchenko
2011-09-08
1
-1
/
+1
*
Sequential cleanup with symbolic/ternary simulation.
Alan Mishchenko
2011-08-24
3
-9
/
+22
*
Enabled saving vector of counter-examples in the ABC framework.
Alan Mishchenko
2011-08-02
2
-3
/
+3
*
Changing the ordering of arguments in two iterators.
Alan Mishchenko
2011-08-01
2
-9
/
+4
*
Removed useless typecasts related to changes in Vec_VecEntry().
Alan Mishchenko
2011-08-01
3
-6
/
+6
*
Added new APIs to the AIG manager.
Alan Mishchenko
2011-07-31
1
-0
/
+1
*
Changes to enable smarter simulation.
Alan Mishchenko
2011-07-29
1
-2
/
+2
[next]