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 (
Collapse
)
Author
Age
Files
Lines
*
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
|
|
|
|
about 5% of runtime).
*
Changes to the main SAT solver: fixing performance bug (resetting decay ↵
Alan Mishchenko
2011-12-09
1
-1
/
+1
|
|
|
|
params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
*
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
|
*
Added recording of AIG subgraphs.
Alan Mishchenko
2011-12-06
1
-10
/
+9
|
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-04
1
-2
/
+2
|
*
Previusly forgotten debug printout.
Alan Mishchenko
2011-12-02
1
-1
/
+1
|
*
Started experiments with a new solver.
Alan Mishchenko
2011-11-25
7
-92
/
+332
|
*
Making GLA PBA and GLA CBA communicate information.
Alan Mishchenko
2011-11-22
2
-5
/
+8
|
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
1
-1
/
+4
|
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
2
-0
/
+3
|
*
Bug fix in GLA PBA.
Alan Mishchenko
2011-11-13
1
-0
/
+3
|
*
Setting the number of completed time frames.
Alan Mishchenko
2011-11-12
1
-1
/
+1
|
*
Setting the number of completed time frames.
Alan Mishchenko
2011-11-12
2
-3
/
+13
|
*
Enabled skipping random decisions in PBA, which are performed by default.
Alan Mishchenko
2011-11-12
4
-6
/
+8
|
*
Dump inductive invariant or last interpolant after interpolation.
Alan Mishchenko
2011-11-12
6
-19
/
+102
|
*
Experiment with time reporting in GLA PBA.
Alan Mishchenko
2011-11-12
1
-3
/
+3
|
[next]