index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
opt
Commit message (
Expand
)
Author
Age
Files
Lines
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-17
8
-0
/
+650
*
Fixed several compiler warnings.
Alan Mishchenko
2016-11-17
1
-23
/
+22
*
Disjoint-support decomposition with cofactoring and boolean difference analysis
Vinicius Callegaro
2016-11-08
3
-0
/
+618
*
Adding switch &mfs -b to preserve white boxes during optimization.
Alan Mishchenko
2016-10-07
3
-2
/
+10
*
Small FXCH bug fix.
Bruno Schmitt
2016-10-07
1
-3
/
+9
*
Compiler warnings.
Alan Mishchenko
2016-09-30
1
-3
/
+3
*
Small bug fix in FXCH.
Bruno Schmitt
2016-08-18
1
-10
/
+10
*
Windows complier errors.
Alan Mishchenko
2016-08-06
1
-2
/
+2
*
Merged in petkovska/abc-pullreq/hier-npn_fast-exact (pull request #29)
Alan Mishchenko
2016-08-06
1
-14
/
+105
|
\
|
*
Return the class representative of each function.
Ana Petkovska
2016-06-18
1
-15
/
+59
|
*
Group based exact NPN classification.
Ana Petkovska
2016-06-18
1
-2
/
+49
*
|
Compiler errors on Windows.
Alan Mishchenko
2016-08-01
4
-39
/
+50
*
|
Several updates to FXCH including:
Bruno Schmitt
2016-08-01
5
-285
/
+537
|
/
*
Complier fix.
Alan Mishchenko
2016-06-17
1
-2
/
+2
*
Merged in boschmitt/abc (pull request #28)
Alan Mishchenko
2016-06-17
4
-128
/
+189
|
\
|
*
Enables FXCH to handle Distance-1 cubes (D1C) and Single Cube Containment (SC...
Bruno Schmitt
2016-06-17
4
-128
/
+189
*
|
New command 'phase_map'.
Alan Mishchenko
2016-06-17
1
-1
/
+1
|
/
*
Adding a switch 'retime -o' to use old flop naming conventions.
Alan Mishchenko
2016-06-16
4
-31
/
+49
*
Switch 'fx -x' to use only canonical divisors in 'fx'.
Alan Mishchenko
2016-06-06
1
-0
/
+1
*
Small changes to compile on Windows.
Alan Mishchenko
2016-06-03
1
-5
/
+7
*
Removing the memory saving mode, it is no longer necessary.
Bruno Schmitt
2016-06-02
5
-178
/
+17
*
Minimizing memory usage. The implementation was using twice as much memory as...
Bruno Schmitt
2016-06-02
1
-30
/
+30
*
Merged in boschmitt/abc (pull request #26)
Alan Mishchenko
2016-05-19
1
-2
/
+2
|
\
|
*
Merged alanmi/abc into default
Bruno Schmitt
2016-05-19
4
-2
/
+388
|
|
\
|
*
|
Fix the problem of not identifying divisors when its originating cubes had on...
Bruno Schmitt
2016-05-19
1
-2
/
+2
*
|
|
Improving SMT-LIB parser.
Alan Mishchenko
2016-05-19
1
-2
/
+2
|
|
/
|
/
|
*
|
New feature for area minimization in standard cell mapping.
Alan Mishchenko
2016-05-19
3
-1
/
+387
*
|
fix end of line problem that prevents the cmake build system from working
Baruch Sterin
2016-05-17
1
-1
/
+1
|
/
*
Cosmetic changes after incorporating new code of 'fxch'.
Alan Mishchenko
2016-05-11
1
-1
/
+1
*
Cosmetic changes after incorporating new code of 'fxch'.
Alan Mishchenko
2016-05-11
1
-2
/
+2
*
Cosmetic changes after incorporating new code of 'fxch'.
Alan Mishchenko
2016-05-11
4
-47
/
+78
*
Add a new module which implements the fast extract with cube hashing (fxch) a...
Bruno Schmitt
2016-05-11
6
-0
/
+1945
*
New hierarchical TT NPN matching.
Alan Mishchenko
2016-02-26
2
-0
/
+144
*
Re-doing the same change.
Alan Mishchenko
2016-02-15
1
-2
/
+2
*
Temporarily undoing one of the recent changes.
Alan Mishchenko
2016-02-15
1
-2
/
+2
*
Fixing the problem of identically named signals in 'retime'.
Alan Mishchenko
2016-02-05
2
-4
/
+4
*
Making flop names after 'retime' more meaningful.
Alan Mishchenko
2016-02-03
2
-4
/
+6
*
Small changes to sort for timing.
Alan Mishchenko
2016-01-24
1
-3
/
+7
*
Adding support for delay/area tradeoff.
Alan Mishchenko
2016-01-13
3
-31
/
+53
*
Consolidating timing manager Scl_Con_t and propagating changes.
Alan Mishchenko
2016-01-07
5
-26
/
+29
*
Migrating to using 32-bit timing representation in &nf.
Alan Mishchenko
2016-01-05
1
-4
/
+4
*
Migrating back to using 'float' in area-flow computation in &nf.
Alan Mishchenko
2016-01-05
1
-1
/
+1
*
Improvements to timing optimization.
Alan Mishchenko
2015-11-11
3
-29
/
+63
*
Extending and improving timing manager.
Alan Mishchenko
2015-11-08
1
-1
/
+2
*
Extending and improving timing manager.
Alan Mishchenko
2015-11-08
2
-15
/
+43
*
Extending and improving timing manager.
Alan Mishchenko
2015-11-08
3
-432
/
+21
*
Extending and improving timing manager.
Alan Mishchenko
2015-11-08
6
-54
/
+576
*
Improvements to storing and reusing simulation info.
Alan Mishchenko
2015-11-05
1
-21
/
+98
*
Improvements to storing and reusing simulation info.
Alan Mishchenko
2015-11-05
4
-318
/
+89
*
silence clang errors when compiling as C++
Baruch Sterin
2015-11-05
3
-21
/
+21
[next]