index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ↵
Alan Mishchenko
2012-03-09
132
-865
/
+865
|
|
|
|
...Ci/Co.
*
Silencing remaining gcc warnings.
Alan Mishchenko
2012-03-09
1
-19
/
+19
|
*
Silencing remaining gcc warnings.
Alan Mishchenko
2012-03-09
3
-15
/
+15
|
*
Do not cancel the current abstraction when a new refinement is discovered in ↵
Alan Mishchenko
2012-03-09
1
-3
/
+3
|
|
|
|
VTA.
*
Commenting out verbose statements.
Alan Mishchenko
2012-03-08
1
-4
/
+4
|
*
Fixing a bug and adding verification of minimized counter-example.
Alan Mishchenko
2012-03-06
1
-2
/
+2
|
*
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 ↵
Alan Mishchenko
2012-03-06
2
-4
/
+93
|
|
|
|
internal nodes.
*
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 ↵
Alan Mishchenko
2012-03-02
1
-1
/
+1
|
|
|
|
supergates generated.
*
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 ↵
Alan Mishchenko
2012-03-01
1
-1
/
+1
|
|
|
|
supergates generated.
*
Adding switch -N to 'super' to set an upper bound on the number of ↵
Alan Mishchenko
2012-02-29
3
-48
/
+84
|
|
|
|
supergates generated.
*
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 ↵
Alan Mishchenko
2012-02-28
1
-0
/
+4
|
|
|
|
frontier, when K > 1).
*
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 ↵
Alan Mishchenko
2012-02-25
1
-1
/
+1
|
|
|
|
fix).
*
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 ↵
Baruch Sterin
2012-02-23
1
-1
/
+1
|
|
|
|
warnings)
*
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
|
/
|
|
|
the "&iso" command
*
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
|
[next]