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
*
Adding out-of-bounds checks to AIGER readers.
Alan Mishchenko
2014-09-28
1
-1
/
+1
*
Adding features to CNF generation.
Alan Mishchenko
2014-09-28
1
-2
/
+2
*
Added switch -t to &flow2.
Alan Mishchenko
2014-09-24
1
-5
/
+5
*
Extending &cec to take a single-output miter (usage of switch -d has changed!).
Alan Mishchenko
2014-09-23
2
-0
/
+26
*
Adding switch to enable SOP balancing in '&flow2'.
Alan Mishchenko
2014-09-21
1
-10
/
+21
*
Tuning the flow scripts.
Alan Mishchenko
2014-09-20
1
-1
/
+1
*
Tuning the flow scripts.
Alan Mishchenko
2014-09-20
1
-5
/
+69
*
Tuning the flow scripts.
Alan Mishchenko
2014-09-20
1
-124
/
+173
*
Concurrency for Boolean matching.
Alan Mishchenko
2014-09-18
1
-2
/
+10
*
Spurious assertion.
Alan Mishchenko
2014-09-17
1
-1
/
+1
*
New choice computation.
Alan Mishchenko
2014-09-16
1
-3
/
+123
*
Code restructuring.
Alan Mishchenko
2014-09-16
5
-316
/
+373
*
Updating timing info during normalization.
Alan Mishchenko
2014-09-10
1
-1
/
+1
*
Updating timing info during normalization.
Alan Mishchenko
2014-09-10
1
-1
/
+3
*
Bug fix in transferring timing info.
Alan Mishchenko
2014-09-09
1
-1
/
+1
*
Tuning LUT mapping flow.
Alan Mishchenko
2014-08-28
1
-1
/
+4
*
Tuning LUT mapping flow.
Alan Mishchenko
2014-08-27
1
-3
/
+5
*
Tuning LUT mapping flow.
Alan Mishchenko
2014-08-27
1
-0
/
+119
*
Improvements to DSD balancing.
Alan Mishchenko
2014-08-27
2
-6
/
+6
*
Adding commands to save/load best network.
Alan Mishchenko
2014-08-26
4
-2
/
+176
*
Improvements to the timing manager.
Alan Mishchenko
2014-08-25
2
-7
/
+5
*
Improving GIA interfaces for some procedures.
Alan Mishchenko
2014-08-25
7
-53
/
+69
*
Correcting incorrect handling of timing in several &-commands.
Alan Mishchenko
2014-08-25
5
-43
/
+55
*
Improving print-out of 'dsd -p'.
Alan Mishchenko
2014-08-22
1
-0
/
+35
*
Propagating timing support to the new synthesis/mapping commands.
Alan Mishchenko
2014-08-20
6
-32
/
+25
*
Extended command &cone to extract timing critical cones.
Alan Mishchenko
2014-08-19
2
-26
/
+90
*
Changing default CNF generation in &bmc.
Alan Mishchenko
2014-08-18
1
-0
/
+6
*
Added DSD-based collapsing &dsd.
Alan Mishchenko
2014-08-16
1
-1
/
+1
*
Added DSD-based collapsing &dsd.
Alan Mishchenko
2014-08-16
1
-2
/
+3
*
Added DSD-based collapsing &dsd.
Alan Mishchenko
2014-08-16
1
-0
/
+1
*
Added DSD-based collapsing &dsd.
Alan Mishchenko
2014-08-16
2
-4
/
+381
*
Increasing the size of pre-allocated memory in &syn2.
Alan Mishchenko
2014-08-11
1
-1
/
+1
*
Adding delay optimization to synthesis script &syn2.
Alan Mishchenko
2014-08-08
3
-4
/
+84
*
Enabling cofactoring in the mapper.
Alan Mishchenko
2014-08-06
1
-0
/
+1
*
Compiler warnings.
Alan Mishchenko
2014-08-04
2
-10
/
+12
*
Compiler warnings.
Alan Mishchenko
2014-08-02
1
-1
/
+1
*
Profiling code for SOP/DSD/LMS balancing.
Alan Mishchenko
2014-08-02
1
-0
/
+308
*
Adding support for standard-cell mapping.
Alan Mishchenko
2014-07-28
2
-10
/
+28
*
Generating abstraction of standard cell library.
Alan Mishchenko
2014-07-26
2
-0
/
+59
*
Generating abstraction of standard cell library.
Alan Mishchenko
2014-07-25
1
-0
/
+4
*
Small changes.
Alan Mishchenko
2014-07-21
1
-29
/
+34
*
Adding new command &sopb for resource-aware SOP balancing.
Alan Mishchenko
2014-07-21
4
-1
/
+263
*
Updates and changes to several packages.
Alan Mishchenko
2014-07-20
7
-18
/
+31
*
Small changes in several packages.
Alan Mishchenko
2014-07-18
1
-1
/
+1
*
Small changes in several packages.
Alan Mishchenko
2014-07-17
1
-2
/
+3
*
Small changes in several packages.
Alan Mishchenko
2014-07-17
3
-3
/
+54
*
Improvements to profiling and printing statistics.
Alan Mishchenko
2014-07-09
2
-17
/
+98
*
Improvements to false path detection.
Alan Mishchenko
2014-07-09
1
-25
/
+21
*
Improvements to false path detection.
Alan Mishchenko
2014-07-08
3
-27
/
+351
*
Experiment with SOP balancing.
Alan Mishchenko
2014-07-02
1
-1
/
+20
[next]