index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-20
3
-26
/
+50
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-20
3
-178
/
+227
*
Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control B...
Alan Mishchenko
2012-01-19
3
-3
/
+3
*
Added switch 'write_counter -f' to output flop values in each time frame.
Alan Mishchenko
2012-01-18
2
-0
/
+53
*
Removing debug print-outs from the SAT solver.
Alan Mishchenko
2012-01-17
1
-2
/
+2
*
New hierarchy manager.
Alan Mishchenko
2012-01-17
1
-2
/
+2
*
Small bug induced by changes in the SAT solver.
Alan Mishchenko
2012-01-17
1
-0
/
+2
*
Added notification about exceeding the number of nodes.
Alan Mishchenko
2012-01-17
1
-0
/
+2
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-16
1
-211
/
+159
*
Removing additional printout in the GIA package.
Alan Mishchenko
2012-01-16
1
-15
/
+5
*
New hierarchy manager plus additional printout in the GIA package.
Alan Mishchenko
2012-01-16
3
-2
/
+18
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-16
2
-130
/
+154
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-15
5
-163
/
+508
*
New hierarchy manager.
Alan Mishchenko
2012-01-14
1
-1
/
+1
*
Support computation experiments with different network data-structures.
Alan Mishchenko
2012-01-14
2
-0
/
+63
*
Small bug fix in printing DSD for Boolean functions.
Alan Mishchenko
2012-01-14
1
-1
/
+1
*
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
*
Added counting hits and misses during structural hashing.
Alan Mishchenko
2012-01-13
3
-1
/
+8
*
Changes to the lazy man's synthesis code.
Alan Mishchenko
2012-01-11
1
-0
/
+1
*
Gate level abstraction.
Alan Mishchenko
2012-01-11
1
-109
/
+627
*
Gate level abstraction.
Alan Mishchenko
2012-01-08
1
-56
/
+299
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-08
1
-5
/
+31
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-07
1
-9
/
+13
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-07
1
-13
/
+12
*
Crash fix in 'tempor' in case the leading length is 0.
Alan Mishchenko
2012-01-07
1
-0
/
+6
*
Gate level abstraction.
Alan Mishchenko
2012-01-07
1
-238
/
+78
*
Bug fix related to not properly resizing SAT solver's model array.
Alan Mishchenko
2012-01-06
5
-119
/
+18
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-05
3
-217
/
+250
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-01
1
-0
/
+442
*
Backward reachability using circuit cofactoring.
Alan Mishchenko
2012-01-01
3
-10
/
+373
*
New variable-time frame abstraction.
Alan Mishchenko
2011-12-29
2
-0
/
+517
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-23
3
-1
/
+5
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-22
1
-1
/
+1
*
Computing interpolants as truth tables.
Alan Mishchenko
2011-12-22
1
-5
/
+10
*
Fixed a bug in matching code.
Alan Mishchenko
2011-12-17
1
-1
/
+1
*
Performance improvement in 'dch' for designs having nodes with many fanouts.
Alan Mishchenko
2011-12-15
1
-28
/
+56
*
Trying to make sorting of nodes platform-indendent.
Alan Mishchenko
2011-12-15
1
-1
/
+1
*
Enabling balance again.
Alan Mishchenko
2011-12-15
1
-0
/
+5
*
Temporarily disabling balance.
Alan Mishchenko
2011-12-15
1
-1
/
+1
*
Additional print-outs in dc2.
Alan Mishchenko
2011-12-15
1
-10
/
+10
*
Trying to make sorting of nodes platform-indendent.
Alan Mishchenko
2011-12-15
3
-0
/
+15
*
Started SAT-based reparameterization.
Alan Mishchenko
2011-12-13
2
-0
/
+398
*
g++ portability changes.
Alan Mishchenko
2011-12-13
2
-2
/
+3
*
Implemented rollback in the main SAT solver and updated PDR to use it (saves ...
Alan Mishchenko
2011-12-10
2
-3
/
+20
*
Changes to the main SAT solver: fixing performance bug (resetting decay param...
Alan Mishchenko
2011-12-09
1
-1
/
+1
*
Added support for generating a library of real-life truth-tables.
Alan Mishchenko
2011-12-09
2
-0
/
+103
*
Integrated new proof-logging into proof-based gate-level abstraction.
Alan Mishchenko
2011-12-08
5
-15
/
+571
*
Added/renamed useful APIs.
Alan Mishchenko
2011-12-06
2
-2
/
+3
*
g++ portability changes.
Alan Mishchenko
2011-12-06
3
-20
/
+20
[prev]
[next]