index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Upgrading 'mfs2' to consider some nodes as having no level.
Alan Mishchenko
2013-10-09
1
-1
/
+1
*
Upgrading 'mfs2' to consider some nodes as having no level.
Alan Mishchenko
2013-10-09
6
-17
/
+22
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-09
2
-1
/
+15
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-09
2
-47
/
+270
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-09
1
-5
/
+11
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-09
1
-17
/
+53
*
Bug with in bmc3 when no 'sat' outputs are found and H != 0
Alan Mishchenko
2013-10-08
1
-0
/
+2
*
pyabc changes for HWMCC13
Baruch Sterin
2013-10-08
5
-46
/
+150
*
Moved the code to a different file.
Alan Mishchenko
2013-10-06
2
-197
/
+198
*
Resubstitution code.
Alan Mishchenko
2013-10-06
5
-20
/
+337
*
Compiler warning.
Alan Mishchenko
2013-10-05
1
-1
/
+1
*
Compiler warning.
Alan Mishchenko
2013-10-05
1
-2
/
+2
*
Compiler warning.
Alan Mishchenko
2013-10-05
1
-69
/
+5
*
Compiler warning.
Alan Mishchenko
2013-10-05
1
-1
/
+1
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-05
3
-17
/
+17
*
Towards better Boolean matching.
Alan Mishchenko
2013-10-05
9
-68
/
+945
*
Added 'abort' message in bridge mode for pdr -a timeout
Niklas Een
2013-10-04
2
-42
/
+125
*
Compiler errors in the Python interface code...
Alan Mishchenko
2013-10-03
1
-2
/
+2
*
Bug fix and performance improvement in &iso.
Alan Mishchenko
2013-10-03
1
-7
/
+8
*
Bug fix and performance improvement in &iso.
Alan Mishchenko
2013-10-03
3
-66
/
+141
*
Added computation of mapping overlap in &ps.
Alan Mishchenko
2013-10-03
1
-9
/
+48
*
Experiment with the AIG package.
Alan Mishchenko
2013-10-03
3
-2
/
+243
*
Added computation of mapping overlap in &ps.
Alan Mishchenko
2013-10-03
1
-0
/
+54
*
Integrating synthesis into the new BMC engine.
Alan Mishchenko
2013-10-03
2
-7
/
+7
*
Integrating synthesis into the new BMC engine.
Alan Mishchenko
2013-10-02
1
-4
/
+6
*
Integrating synthesis into the new BMC engine.
Alan Mishchenko
2013-10-02
2
-4
/
+3
*
Integrating synthesis into the new BMC engine.
Alan Mishchenko
2013-10-02
3
-11
/
+12
*
Integrating synthesis into the new BMC engine.
Alan Mishchenko
2013-10-02
6
-14
/
+78
*
Enabling counter-example generation in the new BMC engine.
Alan Mishchenko
2013-10-02
2
-22
/
+27
*
Bug fixes in the library processing,.
Alan Mishchenko
2013-10-02
5
-22
/
+55
*
Computing AIG using DSD instead of factored forms in &fx.
Alan Mishchenko
2013-10-02
1
-21
/
+56
*
Changing default values.
Alan Mishchenko
2013-10-02
6
-25
/
+33
*
Changes in specialized matching.
Alan Mishchenko
2013-10-02
1
-4
/
+0
*
Changes in specialized matching.
Alan Mishchenko
2013-10-02
4
-4
/
+8
*
Changes in specialized matching.
Alan Mishchenko
2013-10-01
1
-3
/
+3
*
Enabling counter-example generation in the new BMC engine.
Alan Mishchenko
2013-10-01
1
-12
/
+57
*
Changes in specialized matching.
Alan Mishchenko
2013-10-01
3
-7
/
+18
*
Changes in specialized matching.
Alan Mishchenko
2013-10-01
1
-19
/
+27
*
Converting mapped AIG into strashed AIG.
Alan Mishchenko
2013-09-30
5
-12
/
+76
*
Producing AIG after structural mapping.
Alan Mishchenko
2013-09-30
1
-2
/
+5
*
Producing AIG after structural mapping.
Alan Mishchenko
2013-09-30
2
-6
/
+8
*
Producing AIG after structural mapping.
Alan Mishchenko
2013-09-30
1
-6
/
+5
*
Producing AIG after structural mapping.
Alan Mishchenko
2013-09-30
5
-25
/
+40
*
Changing default values.
Alan Mishchenko
2013-09-30
1
-7
/
+8
*
Changing default values.
Alan Mishchenko
2013-09-30
2
-6
/
+57
*
Changing default values.
Alan Mishchenko
2013-09-30
1
-1
/
+1
*
Changing default values.
Alan Mishchenko
2013-09-30
4
-8
/
+109
*
Changing default values.
Alan Mishchenko
2013-09-30
3
-21
/
+37
*
Changing default values.
Alan Mishchenko
2013-09-30
2
-15
/
+22
*
Improvements to truth table computation.
Alan Mishchenko
2013-09-30
2
-59
/
+74
[prev]
[next]