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
*
Fixing a bug and adding verification of minimized counter-example.
Alan Mishchenko
2012-03-06
1
-6
/
+134
*
Adding switch '-n' to 'permute' to derive random topological ordering of inte...
Alan Mishchenko
2012-03-06
2
-4
/
+93
*
Extending memory page size for proof logging.
Alan Mishchenko
2012-03-05
1
-13
/
+16
*
Some fixes for VTA under Bridge.
Niklas Een
2012-03-03
2
-82
/
+81
*
Counterexamples now work in Bridge
Niklas Een
2012-03-03
1
-1
/
+3
*
Some fixes to the Bridge code. More to do.
Niklas Een
2012-03-03
1
-8
/
+21
*
Removed warning in Abc_Print
Niklas Een
2012-03-02
1
-28
/
+27
*
Adding features related to the communication bridge.
Alan Mishchenko
2012-03-02
1
-9
/
+77
*
Enabling user-specified required times in 'map'.
Alan Mishchenko
2012-03-02
10
-30
/
+200
*
Adding switch -N to 'super' to set an upper bound on the number of supergates...
Alan Mishchenko
2012-03-02
1
-1
/
+1
*
Making GENLIB parser skip LATCHes.
Alan Mishchenko
2012-03-02
4
-1
/
+34
*
Redirecting printf messages.
Alan Mishchenko
2012-03-02
4
-190
/
+190
*
Redirecting printf messages.
Alan Mishchenko
2012-03-02
7
-73
/
+56
*
Redirecting printf messages.
Alan Mishchenko
2012-03-02
1
-50
/
+42
*
Adding features related to the communication bridge.
Alan Mishchenko
2012-03-02
8
-101
/
+136
*
Created a communication bridge.
Alan Mishchenko
2012-03-01
3
-9
/
+184
*
Created a communication bridge.
Alan Mishchenko
2012-03-01
2
-1
/
+371
*
Adding switch -N to 'super' to set an upper bound on the number of supergates...
Alan Mishchenko
2012-03-01
1
-1
/
+1
*
Adding switch -N to 'super' to set an upper bound on the number of supergates...
Alan Mishchenko
2012-02-29
3
-48
/
+84
*
Updating 'print_library' to write GENLIB library into a file.
Alan Mishchenko
2012-02-29
1
-10
/
+20
*
Bug fix in a standard cell library generator.
Alan Mishchenko
2012-02-29
1
-1
/
+15
*
Bug fix in a standard cell library generator.
Alan Mishchenko
2012-02-29
1
-0
/
+6
*
Added skipping &iso when there is only one PO.
Alan Mishchenko
2012-02-29
2
-0
/
+7
*
Added skipping &iso when there is only one PO.
Alan Mishchenko
2012-02-29
1
-0
/
+5
*
Bug fix in 'in' (look at the OR of the interpolants, rather than the last fro...
Alan Mishchenko
2012-02-28
1
-0
/
+4
*
Added switch -z to command 'removepo' to enable removing const1 outputs.
Alan Mishchenko
2012-02-27
2
-6
/
+11
*
Disabled verbose print-out in the SAT solvers.
Alan Mishchenko
2012-02-26
1
-2
/
+2
*
Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default (bug f...
Alan Mishchenko
2012-02-25
1
-1
/
+1
*
Silenced a gcc warning.
Alan Mishchenko
2012-02-24
2
-4
/
+4
*
Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.
Alan Mishchenko
2012-02-24
2
-22
/
+32
*
Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.
Alan Mishchenko
2012-02-24
1
-1
/
+8
*
Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.
Alan Mishchenko
2012-02-24
2
-154
/
+206
*
Added a way to disable support for dynamic linking.
Alan Mishchenko
2012-02-24
1
-0
/
+3
*
Silenced a gcc warning.
Alan Mishchenko
2012-02-23
1
-1
/
+0
*
pyabc: silnce more warnings
Baruch Sterin
2012-02-23
1
-4
/
+3
*
pyabc: python 2.6 compatibility fix for previous commit (which silenced warni...
Baruch Sterin
2012-02-23
1
-1
/
+1
*
pyabc: silenced warnings in gcc
Baruch Sterin
2012-02-23
2
-7
/
+23
*
Bug fix in stadard cell library representation.
Alan Mishchenko
2012-02-23
1
-1
/
+3
*
pyabc changes with main branch
Baruch Sterin
2012-02-23
1
-1
/
+8
|
\
|
*
Bug fix in stadard cell library representation.
Alan Mishchenko
2012-02-23
1
-1
/
+8
*
|
pyabc: added a function pyabc.iso_eq_classes() that retrieves the results of ...
Baruch Sterin
2012-02-23
1
-0
/
+40
|
/
*
Experiment with technology mapping.
Alan Mishchenko
2012-02-22
3
-112
/
+254
*
Adding flag -s to &put to disable status clearing.
Alan Mishchenko
2012-02-22
2
-4
/
+10
*
Undoing a previuos change to not reset the status after &put.
Alan Mishchenko
2012-02-22
2
-2
/
+4
*
Experiment with technology mapping.
Alan Mishchenko
2012-02-20
1
-0
/
+1
*
Experiment with technology mapping.
Alan Mishchenko
2012-02-20
2
-0
/
+347
*
Isomorphism checking code.
Alan Mishchenko
2012-02-20
1
-11
/
+44
*
Isomorphism checking code.
Alan Mishchenko
2012-02-20
5
-138
/
+603
*
Isomorphism checking code.
Alan Mishchenko
2012-02-19
2
-10
/
+13
*
Isomorphism checking code.
Alan Mishchenko
2012-02-19
6
-22
/
+202
[next]