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
*
Experiments with SAT-based cube enumeration.
Alan Mishchenko
2015-03-05
1
-1
/
+1
*
Experiments with SAT-based cube enumeration.
Alan Mishchenko
2015-03-05
1
-0
/
+1
*
Experiments with SAT-based cube enumeration.
Alan Mishchenko
2015-03-05
8
-33
/
+812
*
Bug fix in reader/writer of 'r' section.
Alan Mishchenko
2015-03-05
1
-2
/
+5
*
Improvements to the CBA package.
Alan Mishchenko
2015-03-04
10
-70
/
+175
*
Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).
Alan Mishchenko
2015-03-03
1
-3
/
+2
*
Improvements to the CBA package.
Alan Mishchenko
2015-03-03
4
-18
/
+29
*
Improvements to the CBA package.
Alan Mishchenko
2015-03-02
2
-2
/
+2
*
Improvements to the CBA package.
Alan Mishchenko
2015-03-01
12
-422
/
+680
*
Improvements to the SMTLIB parser.
Alan Mishchenko
2015-02-28
2
-533
/
+687
*
Experiments with cube hashing.
Alan Mishchenko
2015-02-27
2
-154
/
+365
*
Adding switch -x to command &fadds.
Alan Mishchenko
2015-02-26
2
-12
/
+21
*
Compiler warnings.
Alan Mishchenko
2015-02-21
1
-9
/
+9
*
Adding fflush() to make sure stdout responses appear on time.
Alan Mishchenko
2015-02-20
1
-0
/
+2
*
Experiments with cube hashing.
Alan Mishchenko
2015-02-20
1
-1
/
+292
*
Compiler warnings.
Alan Mishchenko
2015-02-19
6
-17
/
+22
*
Committed by mistake.
Alan Mishchenko
2015-02-19
1
-1
/
+1
*
Performance bug fix in 'clp' (different way of removing redundant fanins).
Alan Mishchenko
2015-02-19
2
-2
/
+69
*
Propagating changes after updating flag of 'sop'.
Alan Mishchenko
2015-02-19
21
-37
/
+41
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
1
-1
/
+0
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
2
-27
/
+18
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
1
-1
/
+1
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-18
7
-117
/
+265
*
Changing semantics of switch -C in 'sop' to limit cubes at one node.
Alan Mishchenko
2015-02-18
5
-47
/
+49
*
Corner case bug in wire-cap estimation.
Alan Mishchenko
2015-02-18
1
-0
/
+2
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-17
5
-211
/
+334
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-16
2
-0
/
+91
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-16
7
-16
/
+552
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-15
7
-81
/
+237
*
Assertion failure in 'write_hie' with blackboxes.
Alan Mishchenko
2015-02-15
1
-0
/
+6
*
Compiler warnings.
Alan Mishchenko
2015-02-15
3
-3
/
+2
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-15
8
-266
/
+629
*
Added switch -n to 'sop'.
Alan Mishchenko
2015-02-14
2
-7
/
+11
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-13
9
-55
/
+55
*
Modifications to read SMTLIB file from stdin.
Alan Mishchenko
2015-02-11
5
-13
/
+106
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-11
8
-69
/
+200
*
Adding resource limit switch -C to 'sop'.
Alan Mishchenko
2015-02-11
23
-62
/
+79
*
Adding resource limit to 'sop'.
Alan Mishchenko
2015-02-10
1
-2
/
+2
*
Adding resource limit to 'sop'.
Alan Mishchenko
2015-02-10
3
-1
/
+279
*
Adding resource limit to 'fx'.
Alan Mishchenko
2015-02-10
1
-4
/
+6
*
Adding resource limit to 'fx'.
Alan Mishchenko
2015-02-10
2
-5
/
+23
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-09
7
-35
/
+126
*
Several improvements to CBA data-structure.
Alan Mishchenko
2015-02-09
8
-97
/
+121
*
Adding switch '-p' to control pin-permutation in &nf.
Alan Mishchenko
2015-02-08
3
-4
/
+9
*
Diabling pin-permutation in &nf mapper.
Alan Mishchenko
2015-02-08
5
-524
/
+1476
*
Fixed a typo in variable names.
Alan Mishchenko
2015-02-07
20
-98
/
+98
*
Added SMT parser for Wlc_Ntk_t.
Alan Mishchenko
2015-02-07
8
-54
/
+729
*
Adding binary dump to CBA.
Alan Mishchenko
2015-02-05
8
-11
/
+401
*
Improvements and tuning of CBA with buffering/sizing.
Alan Mishchenko
2015-02-04
13
-85
/
+142
*
Esperiments with MO PLA optimization.
Alan Mishchenko
2015-02-03
6
-47
/
+308
[next]