index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
abci
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-15
1
-0
/
+193
*
Experiment with partitioned &scorr.
Alan Mishchenko
2019-01-15
1
-6
/
+15
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-09
1
-1
/
+1
*
Procedures to generate constant-argument multipliers.
Alan Mishchenko
2019-01-08
1
-1
/
+2
*
Experiments with retiming.
Alan Mishchenko
2018-12-04
1
-4
/
+4
*
Adding switch &w -n to modify the comment section of the AIGER file written.
Alan Mishchenko
2018-11-21
3
-16
/
+21
*
Various usability changes (second round).
Alan Mishchenko
2018-11-20
1
-1
/
+40
*
Various usability changes.
Alan Mishchenko
2018-11-18
4
-10
/
+45
*
Adding dummy flop in 'pdr' when the network is comb.
Alan Mishchenko
2018-11-13
1
-11
/
+13
*
Compiler warning.
Alan Mishchenko
2018-11-11
1
-1
/
+1
*
Usability improvements to &fftest.
Alan Mishchenko
2018-11-11
1
-4
/
+8
*
Added a passthrough in command 'fold' if there are no POs, only constraints.
Alan Mishchenko
2018-11-11
1
-0
/
+5
*
Several recent bug fixes.
Alan Mishchenko
2018-11-04
1
-0
/
+1
*
Fix timing info communication in GIA APIs.
Alan Mishchenko
2018-10-22
1
-0
/
+1
*
Merge pull request #13 from hriener/exorcism
alanminko
2018-10-18
1
-21
/
+69
|
\
|
*
&exorcism: read ESOP-PLA from file.
Heinz Riener
2018-10-17
1
-2
/
+14
|
*
&exorcism: read ESOP-PLA from file.
Heinz Riener
2018-05-25
1
-21
/
+57
*
|
Experiments with Boolean functions.
Alan Mishchenko
2018-10-02
1
-9
/
+13
*
|
Visualizingn BDDs without complemented edges in 'show_bdd'.
Alan Mishchenko
2018-09-30
1
-7
/
+11
*
|
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
1
-17
/
+87
*
|
Adding visualization of global BDDs in 'show_bdd'.
Alan Mishchenko
2018-09-27
1
-9
/
+29
*
|
New APIs of the truth table package.
Alan Mishchenko
2018-09-21
1
-2
/
+3
*
|
Expriments with functions.
Alan Mishchenko
2018-09-16
1
-14
/
+18
*
|
Expriments with functions.
Alan Mishchenko
2018-09-16
1
-14
/
+30
*
|
Expriments with functions (supporting symmetries).
Alan Mishchenko
2018-09-11
2
-7
/
+9
*
|
Adding a warning about handling boxes in &mfs.
Alan Mishchenko
2018-09-11
1
-1
/
+11
*
|
Adding timeout to twoexact and lutexact.
Alan Mishchenko
2018-09-08
1
-5
/
+29
*
|
Expriments with functions.
Alan Mishchenko
2018-09-08
1
-5
/
+21
*
|
Expriments with functions.
Alan Mishchenko
2018-09-08
1
-7
/
+7
*
|
Expriments with functions (bug fixes).
Alan Mishchenko
2018-09-07
1
-0
/
+11
*
|
Expriments with functions.
Alan Mishchenko
2018-09-07
1
-4
/
+0
*
|
Expriments with functions.
Alan Mishchenko
2018-09-07
1
-0
/
+67
*
|
Expriments with functions (compiler warnings).
Alan Mishchenko
2018-08-30
1
-0
/
+1
*
|
Expriments with functions.
Alan Mishchenko
2018-08-29
1
-0
/
+1
*
|
Complication problem fix.
Alan Mishchenko
2018-08-19
1
-1
/
+0
*
|
Experiments with function enumeration.
Alan Mishchenko
2018-08-01
1
-0
/
+1
*
|
Bug fix in 'gen -b'.
Alan Mishchenko
2018-07-08
1
-3
/
+3
*
|
Updating command 'majgen'.
Alan Mishchenko
2018-07-04
1
-5
/
+9
*
|
Bug fix.
Alan Mishchenko
2018-07-04
1
-1
/
+0
*
|
Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'.
Alan Mishchenko
2018-07-04
2
-2
/
+81
*
|
Adding command 'majgen'.
Alan Mishchenko
2018-07-04
1
-0
/
+54
*
|
Enabling user-specified output signature in &polyn.
Alan Mishchenko
2018-06-13
1
-6
/
+32
*
|
Experiments with path enumeration.
Alan Mishchenko
2018-06-10
1
-2
/
+60
*
|
Adding switch 'clp -o' to reverse initial variable ordering.
Alan Mishchenko
2018-06-07
15
-33
/
+38
*
|
Experiments with path enumeration.
Alan Mishchenko
2018-06-06
1
-1
/
+1
*
|
Adding command print_mint.
Alan Mishchenko
2018-06-04
1
-0
/
+64
|
/
*
Simple BDD package.
Alan Mishchenko
2018-05-23
1
-1
/
+3
*
Bug fix in &sat -x.
Alan Mishchenko
2018-05-07
1
-2
/
+3
*
Adding &sat -x to save CEXes for multi-output combinational miters.
Alan Mishchenko
2018-05-06
1
-4
/
+33
[prev]
[next]