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
*
Compiler warning.
Alan Mishchenko
2018-10-12
1
-5
/
+5
|
*
Extending extra library with additional ZDD-based procedures.
Alan Mishchenko
2018-10-12
4
-0
/
+2048
|
*
Corner-case bug fix in LUT to AIG translation.
Alan Mishchenko
2018-10-09
1
-0
/
+4
|
*
Experiments with Boolean functions.
Alan Mishchenko
2018-10-02
1
-1
/
+1
|
*
Experiments with Boolean functions.
Alan Mishchenko
2018-10-02
1
-5
/
+5
|
*
Experiments with Boolean functions.
Alan Mishchenko
2018-10-02
1
-2
/
+33
|
*
Experiments with Boolean functions.
Alan Mishchenko
2018-10-02
3
-24
/
+210
|
*
Visualizingn BDDs without complemented edges in 'show_bdd'.
Alan Mishchenko
2018-09-30
2
-13
/
+36
|
*
Compiler warning.
Alan Mishchenko
2018-09-30
1
-1
/
+1
|
*
Experiments with word-level retiming.
Alan Mishchenko
2018-09-30
10
-4
/
+2167
|
*
Adding switch to 'write_pla' to write random onset minterms of the first PO ↵
Alan Mishchenko
2018-09-29
1
-2
/
+8
|
|
|
|
function (bug fix).
*
Adding switch to 'write_pla' to write random onset minterms of the first PO ↵
Alan Mishchenko
2018-09-28
2
-10
/
+154
|
|
|
|
function.
*
Adding command 'cof' to replace node by a constant (bug fix).
Alan Mishchenko
2018-09-28
1
-2
/
+3
|
*
Adding command 'cof' to replace node by a constant.
Alan Mishchenko
2018-09-27
3
-17
/
+112
|
*
Adding visualization of global BDDs in 'show_bdd'.
Alan Mishchenko
2018-09-27
2
-9
/
+81
|
*
New way of blasting complex flops.
Alan Mishchenko
2018-09-25
1
-18
/
+101
|
*
New way of blasting complex flops.
Alan Mishchenko
2018-09-24
1
-2
/
+2
|
*
New way of blasting complex flops.
Alan Mishchenko
2018-09-24
1
-4
/
+206
|
*
Support for flops with complex controls.
Alan Mishchenko
2018-09-22
5
-16
/
+55
|
*
New APIs of the truth table package.
Alan Mishchenko
2018-09-21
2
-2
/
+31
|
*
Adding dump of name mapping after blasting.
Alan Mishchenko
2018-09-21
1
-4
/
+34
|
*
Compiler problem.
Alan Mishchenko
2018-09-20
1
-1
/
+0
|
*
Preserving output names while deriving a miter.
Alan Mishchenko
2018-09-20
1
-0
/
+26
|
*
Preserving names while deriving a miter.
Alan Mishchenko
2018-09-20
1
-0
/
+2
|
*
Fixing a memory leak.
Alan Mishchenko
2018-09-19
1
-2
/
+2
|
*
Fixing mismatch in exact NPN computation (by XueGong Zhou)
Alan Mishchenko
2018-09-17
3
-738
/
+751
|
*
Expriments with functions.
Alan Mishchenko
2018-09-16
2
-29
/
+50
|
*
Expriments with functions.
Alan Mishchenko
2018-09-16
1
-2
/
+2
|
*
Expriments with functions.
Alan Mishchenko
2018-09-16
1
-0
/
+277
|
*
Expriments with functions.
Alan Mishchenko
2018-09-16
4
-17
/
+34
|
*
Suggested bug fix in 'amap'.
Alan Mishchenko
2018-09-13
1
-0
/
+3
|
*
Expriments with functions (cleanup).
Alan Mishchenko
2018-09-13
1
-2
/
+2
|
*
Expriments with functions (cleanup).
Alan Mishchenko
2018-09-13
1
-140
/
+59
|
*
Supporting unitialized flops in NDR.
Alan Mishchenko
2018-09-11
2
-2
/
+3
|
*
Expriments with functions (supporting symmetries).
Alan Mishchenko
2018-09-11
3
-96
/
+98
|
*
Expriments with functions (performance bug fix).
Alan Mishchenko
2018-09-11
1
-1
/
+5
|
*
Adding a warning about handling boxes in &mfs.
Alan Mishchenko
2018-09-11
1
-1
/
+11
|
*
Suspected bug fix in exact NPN classification (undoing this change as useless).
Alan Mishchenko
2018-09-10
1
-32
/
+8
|
*
Suspected bug fix in exact NPN classification.
Alan Mishchenko
2018-09-08
1
-8
/
+32
|
*
Adding timeout to twoexact and lutexact.
Alan Mishchenko
2018-09-08
3
-8
/
+45
|
*
Expriments with functions.
Alan Mishchenko
2018-09-08
2
-15
/
+113
|
*
Hash table profiling.
Alan Mishchenko
2018-09-08
2
-0
/
+15
|
*
Expriments with functions (bug fixes).
Alan Mishchenko
2018-09-08
1
-30
/
+35
|
*
Expriments with functions (bug fixes).
Alan Mishchenko
2018-09-08
1
-33
/
+38
|
*
Expriments with functions.
Alan Mishchenko
2018-09-08
1
-0
/
+1
|
*
Expriments with functions.
Alan Mishchenko
2018-09-08
2
-47
/
+195
|
*
Expriments with functions (bug fixes).
Alan Mishchenko
2018-09-07
4
-13
/
+35
|
*
Expriments with functions.
Alan Mishchenko
2018-09-07
3
-30
/
+33
|
*
Expriments with functions.
Alan Mishchenko
2018-09-07
2
-0
/
+325
|
*
Adding solution dumping in BLIF to 'twoexact'.
Alan Mishchenko
2018-09-03
1
-0
/
+56
|
[next]