index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
Commit message (
Expand
)
Author
Age
Files
Lines
*
Buf fix in floating time reporting.
Alan Mishchenko
2016-01-05
1
-20
/
+21
*
Fix in &nf for the case when PO can be driven by an inverter.
Alan Mishchenko
2016-01-05
1
-0
/
+5
*
Fix in &nf for the case when PO can be driven by an inverter.
Alan Mishchenko
2016-01-05
1
-0
/
+30
*
Migrating to using 32-bit timing representation in &nf.
Alan Mishchenko
2016-01-05
1
-151
/
+148
*
Migrating back to using 'float' in area-flow computation in &nf.
Alan Mishchenko
2016-01-05
2
-69
/
+76
*
g++ compiler warnings.
Alan Mishchenko
2015-11-08
2
-3
/
+2
*
Improvements to 'satclp' (unfinished).
Alan Mishchenko
2015-11-06
1
-0
/
+2
*
silence clang errors when compiling as C++
Baruch Sterin
2015-11-05
1
-1
/
+1
*
Improvements to 'satclp'.
Alan Mishchenko
2015-10-28
2
-0
/
+42
*
Better logic cone proprocessor for 'satclp' to reduce runtime.
Alan Mishchenko
2015-10-25
1
-0
/
+255
*
Added several knobs to control QoR in &nf.
Alan Mishchenko
2015-10-20
1
-4
/
+2
*
Added several knobs to control QoR in &nf.
Alan Mishchenko
2015-10-20
2
-27
/
+76
*
Code simplification and improvements in &nf.
Alan Mishchenko
2015-10-19
1
-129
/
+85
*
Adding support for black boxes in extended AIG.
Alan Mishchenko
2015-10-04
5
-36
/
+95
*
Adding support for flop init-states in extended AIG.
Alan Mishchenko
2015-10-04
8
-2
/
+66
*
Bug fix in propagating required times in &nf (another issue).
Alan Mishchenko
2015-10-01
1
-10
/
+4
*
Bug fix in propagating required times in &nf.
Alan Mishchenko
2015-10-01
1
-2
/
+2
*
Naive LUT packing algorithm (command &pack).
Alan Mishchenko
2015-09-30
2
-0
/
+208
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-30
2
-104
/
+290
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-29
1
-36
/
+17
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-29
1
-84
/
+358
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-28
1
-17
/
+43
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-28
1
-57
/
+271
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-27
1
-3
/
+3
*
Experiments with LUT structure mapping.
Alan Mishchenko
2015-09-27
3
-0
/
+1003
*
Bug fix in &nf and in propagating timing info.
Alan Mishchenko
2015-09-27
1
-7
/
+12
*
New command &rexwalk.
Alan Mishchenko
2015-09-26
1
-0
/
+2
*
New command &rexwalk.
Alan Mishchenko
2015-09-26
1
-0
/
+197
*
Bug fix in &rex2gia.
Alan Mishchenko
2015-09-23
1
-1
/
+3
*
Fixing corner-cases in 'tempor' and in 'unfold'.
Alan Mishchenko
2015-09-22
1
-0
/
+5
*
Adding new command &rex2gia.
Alan Mishchenko
2015-09-22
2
-0
/
+346
*
Improvements to &b -das.
Alan Mishchenko
2015-09-18
3
-10
/
+78
*
Adding switch to &b to prevent dumplicated area when used in delay-mode (&b -...
Alan Mishchenko
2015-09-18
2
-27
/
+27
*
Commenting out assertion in &b, which does not hold.
Alan Mishchenko
2015-09-18
1
-1
/
+1
*
Improvements to QBF solver; new quantification command &qvar.
Alan Mishchenko
2015-09-18
1
-12
/
+80
*
New constraint manager and memory reporting 'ps'.
Alan Mishchenko
2015-09-08
2
-4
/
+32
*
More tuning in &nf.
Alan Mishchenko
2015-09-06
1
-17
/
+30
*
More tuning in &nf.
Alan Mishchenko
2015-09-06
1
-1
/
+1
*
More tuning in &nf.
Alan Mishchenko
2015-09-06
1
-5
/
+7
*
More tuning in &nf.
Alan Mishchenko
2015-09-06
1
-411
/
+123
*
More tuning in &nf.
Alan Mishchenko
2015-09-04
1
-5
/
+354
*
Improvements to Cba data-structure.
Alan Mishchenko
2015-09-03
1
-1
/
+1
*
Improvements to Cba data-structure.
Alan Mishchenko
2015-09-03
1
-1
/
+1
*
Experimenting with area recovery.
Alan Mishchenko
2015-08-31
1
-2
/
+2
*
Experimenting with area recovery.
Alan Mishchenko
2015-08-31
1
-10
/
+10
*
Experimenting with area recovery.
Alan Mishchenko
2015-08-31
1
-136
/
+92
*
Experimenting with area recovery.
Alan Mishchenko
2015-08-31
1
-49
/
+287
*
Performance tuning of the Nf.
Alan Mishchenko
2015-08-31
1
-1
/
+1
*
Performance tuning of the Nf.
Alan Mishchenko
2015-08-31
2
-146
/
+152
*
More tuning in &nf.
Alan Mishchenko
2015-08-28
1
-1
/
+1
[next]