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
*
Bug fix in CEC generation after rarity simulation and few small changes.
Alan Mishchenko
2014-06-16
1
-0
/
+1
*
Adding support of multi-output problems in &splitprove.
Alan Mishchenko
2014-06-15
1
-0
/
+81
*
Updates and bug fixes.
Alan Mishchenko
2014-06-15
1
-0
/
+13
*
Updates and bug fixes.
Alan Mishchenko
2014-06-15
3
-1
/
+7
*
Adding more features to the synthesis script &syn2.
Alan Mishchenko
2014-06-14
2
-7
/
+18
*
Specializing some truth-table functions to 6 inputs.
Alan Mishchenko
2014-06-14
3
-4
/
+5
*
Various modifications.
Alan Mishchenko
2014-06-13
1
-1
/
+2
*
Various modifications.
Alan Mishchenko
2014-06-12
7
-69
/
+77
*
Enabling switching activity.
Alan Mishchenko
2014-06-12
1
-0
/
+1
*
Integrating recent changes.
Alan Mishchenko
2014-06-12
3
-9
/
+18
*
Various modifications.
Alan Mishchenko
2014-06-10
1
-0
/
+61
*
Various modifications.
Alan Mishchenko
2014-06-10
4
-3
/
+56
*
Adding a feature to collapse hierarhical AIGs.
Alan Mishchenko
2014-06-05
1
-1
/
+6
*
Correcting switching activity computation.
Alan Mishchenko
2014-06-05
2
-15
/
+11
*
Adding CEC command &splitprove.
Alan Mishchenko
2014-06-04
2
-0
/
+95
*
Adding CEC command &splitprove.
Alan Mishchenko
2014-06-04
3
-7
/
+12
*
Adding CEC command &splitprove.
Alan Mishchenko
2014-06-02
2
-3
/
+3
*
Code to explore cofactors of CEC problems.
Alan Mishchenko
2014-06-02
2
-6
/
+6
*
Fixing the problem with 'phase -c'.
Alan Mishchenko
2014-05-29
2
-0
/
+48
*
Experiment with new idea for ISO.
Alan Mishchenko
2014-05-21
2
-0
/
+236
*
Bug fix in the sweeper.
Alan Mishchenko
2014-05-10
1
-0
/
+3
*
Bug fix in the sweeper.
Alan Mishchenko
2014-05-06
1
-0
/
+2
*
Exploration of MFFCs.
Alan Mishchenko
2014-04-26
3
-0
/
+216
*
Adding color to sizing stats.
Alan Mishchenko
2014-04-19
1
-0
/
+7
*
Added optimization for average rather than maximum delay.
Alan Mishchenko
2014-04-19
1
-4
/
+0
*
Added structural hashing by default after if -g and &if -g.
Alan Mishchenko
2014-04-19
1
-2
/
+3
*
Adding color to mapping stats.
Alan Mishchenko
2014-04-19
2
-3
/
+20
*
Adding color to mapping stats.
Alan Mishchenko
2014-04-19
1
-3
/
+27
*
Improvements to DSD balancing.
Alan Mishchenko
2014-04-19
1
-0
/
+2
*
Adding print-out of average level.
Alan Mishchenko
2014-04-19
3
-3
/
+19
*
New feature to optimize delay during mapping.
Alan Mishchenko
2014-04-11
1
-1
/
+2
*
Improvements to DSD in technology mapping.
Alan Mishchenko
2014-04-11
1
-1
/
+2
*
New feature to optimize delay during mapping.
Alan Mishchenko
2014-04-11
1
-4
/
+6
*
Correcting internal check.
Alan Mishchenko
2014-04-11
1
-1
/
+2
*
Removed obsolete code for sequential mapping.
Alan Mishchenko
2014-04-11
1
-1
/
+0
*
Improvements to DSD in technology mapping.
Alan Mishchenko
2014-04-11
1
-2
/
+2
*
Improvement in SOP balancing.
Alan Mishchenko
2014-04-06
1
-54
/
+2
*
Improvement in SOP balancing.
Alan Mishchenko
2014-04-06
1
-6
/
+11
*
Preparing new implementation of SOP/DSD balancing in 'if' mapper.
Alan Mishchenko
2014-04-05
1
-4
/
+57
*
Preparing new implementation of SOP/DSD balancing in 'if' mapper.
Alan Mishchenko
2014-04-05
1
-4
/
+6
*
Improvements to technology mapping.
Alan Mishchenko
2014-04-03
1
-1
/
+1
*
Improvements to technology mapping.
Alan Mishchenko
2014-04-03
1
-1
/
+2
*
Improvements to technology mapping.
Alan Mishchenko
2014-04-02
2
-4
/
+9
*
Adding switch to handle only single faults.
Alan Mishchenko
2014-04-01
2
-3
/
+3
*
Improving cut computation.
Alan Mishchenko
2014-03-30
3
-20
/
+4
*
Experiments with technology mapping.
Alan Mishchenko
2014-03-29
2
-13
/
+213
*
Ternary simulation for multi-output miters.
Alan Mishchenko
2014-03-28
1
-0
/
+54
*
Experiments with mapping.
Alan Mishchenko
2014-03-23
1
-1
/
+1
*
Experiments with mapping.
Alan Mishchenko
2014-03-23
2
-16
/
+18
*
Experiments with mapping.
Alan Mishchenko
2014-03-22
1
-15
/
+21
[next]