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-24
1
-42
/
+250
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-23
2
-7
/
+18
*
Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...
Alan Mishchenko
2012-01-23
1
-2
/
+2
*
Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...
Alan Mishchenko
2012-01-22
1
-4
/
+4
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-21
2
-170
/
+247
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
393
-127365
/
+873
*
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
[next]