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
*
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
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-3
/
+3
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-7
/
+0
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-1
/
+1
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-1
/
+5
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-0
/
+2
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
2
-2
/
+3
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
5
-4
/
+51
*
|
Tuning for multi-ouptut solver.
Alan Mishchenko
2013-11-04
1
-0
/
+2
*
|
Added sharing of counter-examples across multiple failed properties in 'bmc3 ...
Alan Mishchenko
2013-11-04
1
-2
/
+2
*
|
Added sharing of counter-examples across multiple failed properties in 'bmc3 ...
Alan Mishchenko
2013-11-04
1
-1
/
+2
*
|
Merging heads.
Alan Mishchenko
2013-11-04
1
-0
/
+5
|
\
\
|
*
|
Specialized inductive check.
Alan Mishchenko
2013-11-04
1
-0
/
+5
|
|
/
*
/
Added sharing of counter-examples across multiple failed properties in 'bmc3 ...
Alan Mishchenko
2013-11-04
1
-43
/
+84
|
/
*
Sweeper internal dumping.
Alan Mishchenko
2013-11-01
1
-7
/
+5
*
Sweeper internal dumping.
Alan Mishchenko
2013-11-01
2
-0
/
+33
*
Sweeper internal verification.
Alan Mishchenko
2013-11-01
3
-5
/
+7
*
Sweeper internal verification and new switch for &cfraig.
Alan Mishchenko
2013-11-01
5
-9
/
+21
*
Sweeper internal verification.
Alan Mishchenko
2013-11-01
4
-24
/
+77
*
Corner-case bug in synthesis commands.
Alan Mishchenko
2013-11-01
1
-0
/
+6
*
Sweeper condition complement bug-fix.
Alan Mishchenko
2013-11-01
1
-1
/
+1
*
Sweeper condition complement bug-fix and code for internal verification.
Alan Mishchenko
2013-11-01
8
-12
/
+60
*
Sweeper assertion.
Alan Mishchenko
2013-11-01
1
-0
/
+2
*
Sweeper assertion.
Alan Mishchenko
2013-11-01
1
-0
/
+1
[next]