index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improving switching activity computation.
Alan Mishchenko
2013-12-26
4
-27
/
+26
*
Fixed problem with timeout in &bmc.
Alan Mishchenko
2013-12-18
1
-0
/
+2
*
New command &write_cnf.
Alan Mishchenko
2013-12-18
3
-2
/
+95
*
reverting an accidental change to Makefile
Baruch Sterin
2013-12-11
1
-2
/
+0
*
pyabc scripts: use -q instead of -c in scripts to prevent echoing the command...
Baruch Sterin
2013-12-07
6
-6
/
+6
*
add a new command line option to ABC, -q, same as -c, but without echoing the...
Baruch Sterin
2013-12-07
2
-15
/
+29
*
final version of Bob's scripts for hwmcc13
Baruch Sterin
2013-12-07
1
-100
/
+80
*
fixes for simple_livness
Baruch Sterin
2013-12-07
3
-28
/
+42
*
Making 'fold' and 'unfold' skip constant POs (another fix).
Alan Mishchenko
2013-12-04
1
-6
/
+18
*
Upgrading command 'print_supp'.
Alan Mishchenko
2013-12-04
1
-3
/
+12
*
Making 'fold' and 'unfold' skip constant POs (fixed).
Alan Mishchenko
2013-12-04
1
-4
/
+5
*
Bug fixes in the above patches.
Alan Mishchenko
2013-12-03
2
-6
/
+7
*
Suggested patch of AIG writers.
Alan Mishchenko
2013-12-03
2
-34
/
+116
*
Making 'fold' and 'unfold' skip constant POs.
Alan Mishchenko
2013-12-03
1
-0
/
+4
*
New canonical DSD form.
Alan Mishchenko
2013-12-02
1
-0
/
+660
*
Bug fix in &b when reference counters are given.
Alan Mishchenko
2013-11-30
1
-0
/
+1
*
Commeting out an assertion in sizing.
Alan Mishchenko
2013-11-27
1
-1
/
+1
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
1
-1
/
+2
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
1
-2
/
+2
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
2
-4
/
+6
*
Patching ABC for Yosys.
Alan Mishchenko
2013-11-27
6
-67
/
+139
*
Structural mapper into structures.
Alan Mishchenko
2013-11-26
2
-42
/
+65
*
Explanation for one assetion.
Alan Mishchenko
2013-11-26
1
-1
/
+1
*
Bug fix in timing update.
Alan Mishchenko
2013-11-26
1
-1
/
+1
*
Structural mapper into structures.
Alan Mishchenko
2013-11-24
3
-81
/
+191
*
Bug fix in technology mapper.
Alan Mishchenko
2013-11-24
1
-4
/
+13
*
Bug fix in liberty parser.
Alan Mishchenko
2013-11-23
1
-2
/
+4
*
Add command 'splitsop' to split large node SOPs into smaller ones.
Alan Mishchenko
2013-11-23
2
-0
/
+152
*
Several changes to allow Liberty files without delay info.
Alan Mishchenko
2013-11-21
6
-19
/
+67
*
Fixing several simple bugs in library handling.
Alan Mishchenko
2013-11-21
3
-1
/
+3
*
Bug fix in writing constants in write_verilog.
Alan Mishchenko
2013-11-21
1
-1
/
+1
*
Propagating initial PI level during balancing.
Alan Mishchenko
2013-11-15
1
-0
/
+45
*
Adding switch to control the number of nodes tried in mfs2.
Alan Mishchenko
2013-11-14
4
-14
/
+29
*
Structural mapper into structures.
Alan Mishchenko
2013-11-12
8
-2
/
+754
*
Improvements to the standard cell flow.
Alan Mishchenko
2013-11-08
7
-14
/
+34
*
Merged in atomb/abc (pull request #2)
Alan Mishchenko
2013-11-07
2
-4
/
+4
|
\
|
*
Remove unncessary use of PWD in CPP include option.
Aaron Tomb
2013-11-06
1
-1
/
+1
|
*
Allow ARCHFLAGS and OPTFLAGS to be overridden.
Aaron Tomb
2013-11-06
1
-2
/
+2
|
*
Fix parenthesization of Abc_Clock #ifdef.
Aaron Tomb
2013-11-06
1
-1
/
+1
*
|
Organizing the timing report functions.
Alan Mishchenko
2013-11-07
2
-23
/
+22
*
|
Fixing the wire-load approximation problem.
Alan Mishchenko
2013-11-07
8
-64
/
+88
|
/
*
Specialized inductive check.
Alan Mishchenko
2013-11-05
1
-6
/
+3
*
Specialized inductive check.
Alan Mishchenko
2013-11-05
1
-1
/
+1
*
Specialized inductive check.
Alan Mishchenko
2013-11-05
3
-4
/
+159
*
Merged in atomb/abc (pull request #1)
Alan Mishchenko
2013-11-05
2
-4
/
+6
|
\
|
*
Don't assume MSVC when __MINGW32__ set.
Aaron Tomb
2013-11-04
1
-0
/
+2
|
*
Choose Windows file operations with MINGW32.
Aaron Tomb
2013-11-04
1
-3
/
+3
|
*
Make definition of Abc_Clock work with MINGW32.
Aaron Tomb
2013-11-04
1
-1
/
+1
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-05
3
-4
/
+30
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-05
1
-1
/
+1
[next]