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
*
Logic sharing for multi-input gates (silencing a warning).
Alan Mishchenko
2012-03-27
1
-4
/
+0
*
Enabling mapping into multi-input AND/OR gates.
Alan Mishchenko
2012-03-27
8
-23
/
+274
*
Logic sharing for multi-input gates (bug fix).
Alan Mishchenko
2012-03-26
1
-1
/
+8
*
Important bug fix in XOR balancing (balance -x).
Alan Mishchenko
2012-03-26
1
-185
/
+91
*
Making demiter dump files in the current directory.
Alan Mishchenko
2012-03-26
1
-5
/
+13
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-26
2
-12
/
+204
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-25
1
-4
/
+4
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-25
3
-116
/
+305
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-25
1
-1
/
+0
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-25
5
-458
/
+606
*
Logic sharing for multi-input gates.
Alan Mishchenko
2012-03-25
5
-0
/
+488
*
Improving printouts of gates and support.
Alan Mishchenko
2012-03-24
2
-10
/
+50
*
Bug fix in the mapper: using an object after it is deleted.
Alan Mishchenko
2012-03-24
1
-2
/
+2
*
Silencing a gcc warning.
Alan Mishchenko
2012-03-23
1
-1
/
+1
*
Enabled demitering dual-output miters.
Alan Mishchenko
2012-03-23
3
-47
/
+29
*
Added command 'addbuffs' to create balanced CI/CO paths.
Alan Mishchenko
2012-03-23
2
-0
/
+123
*
Additional features for delay optimization
Alan Mishchenko
2012-03-21
17
-46
/
+544
*
Switching to a variable-page-size memory manager for clauses and proofs.
Alan Mishchenko
2012-03-21
6
-96
/
+44
*
Added one currently unused iterator.
Alan Mishchenko
2012-03-21
1
-3
/
+5
*
Preventing gcc compilation errors in handling memory pages.
Alan Mishchenko
2012-03-21
2
-27
/
+27
*
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
[next]