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
*
Bug fix to prevent crashing when Abc_Print() is called while ABC is not initi...
Alan Mishchenko
2012-03-20
1
-2
/
+2
*
Alternative way of computing delay in SOP balancing.
Alan Mishchenko
2012-03-16
4
-3
/
+163
*
Exploration of ISO and minor changes.
Alan Mishchenko
2012-03-13
2
-7
/
+108
*
Added new procedures to read files.
Alan Mishchenko
2012-03-11
2
-1
/
+52
*
Added command 'nodedup' to duplicate nodes with high fanout.
Alan Mishchenko
2012-03-11
2
-0
/
+125
*
Updating &test to call full check.
Alan Mishchenko
2012-03-10
1
-1
/
+1
*
Renamed Aig_ObjPioNum to be Aig_ObjCioId.
Alan Mishchenko
2012-03-09
45
-146
/
+146
*
Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...
Alan Mishchenko
2012-03-09
163
-1129
/
+1129
*
Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...
Alan Mishchenko
2012-03-09
132
-865
/
+865
*
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
*
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 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
[next]