index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Editing output messages.
Alan Mishchenko
2017-02-08
1
-3
/
+3
*
Accidental change.
Alan Mishchenko
2017-02-08
1
-1
/
+1
*
Editing output messages.
Alan Mishchenko
2017-02-08
1
-3
/
+3
*
Compiler warning.
Alan Mishchenko
2017-02-08
1
-7
/
+6
*
Autotuner for 'satoko'.
Alan Mishchenko
2017-02-08
4
-4
/
+660
*
New command &satoko.
Alan Mishchenko
2017-02-08
2
-4
/
+73
*
Small changes to support old compilers.
Bruno Schmitt
2017-02-06
1
-1
/
+1
*
Adding a new SAT solver to ABC. (Satoko)
Bruno Schmitt
2017-02-06
1
-1
/
+81
*
Adding specialized flop ordering before generalization in 'pdr'.
Alan Mishchenko
2017-02-06
1
-2
/
+6
*
Improvements in AIG visualization.
Alan Mishchenko
2017-02-05
1
-2
/
+2
*
Adding structural flop priority heuristics in 'pdr'.
Alan Mishchenko
2017-02-03
1
-2
/
+6
*
Enabling new X-valued simulation in 'pdr'.
Alan Mishchenko
2017-02-03
1
-2
/
+6
*
Improvements to inductive generalization in IC3/PDR by Zyad Hassan.
Alan Mishchenko
2017-02-02
1
-4
/
+31
*
Adding API for generating a monitor of a set of internal signals in a sequent...
Alan Mishchenko
2017-01-31
1
-0
/
+154
*
Improvements to SMT-LIB parser (bug fixes).
Alan Mishchenko
2017-01-30
1
-7
/
+23
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-30
1
-1
/
+1
*
Commenting out debug code.
Alan Mishchenko
2017-01-29
1
-1
/
+0
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-29
1
-0
/
+1
*
Commenting out &mfs report message.
Alan Mishchenko
2017-01-27
1
-2
/
+2
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
3
-14
/
+31
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
7
-115
/
+331
*
Adding visualization of word-level networks Wlc_Ntk_t.
Alan Mishchenko
2017-01-26
7
-11
/
+617
*
Improvements to SMT-LIB parser.
Alan Mishchenko
2017-01-26
3
-84
/
+243
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-25
1
-1
/
+1
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
1
-8
/
+8
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
2
-9
/
+21
*
Adding features for invariant minimization.
Alan Mishchenko
2017-01-24
4
-100
/
+395
*
Fix mismatch in output formatting.
Alan Mishchenko
2017-01-21
1
-6
/
+6
*
Small fixes and a change to &cec to allow two files names given as command-li...
Alan Mishchenko
2017-01-21
2
-44
/
+91
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-15
1
-1
/
+53
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-14
1
-1
/
+1
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-14
2
-33
/
+17
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-13
1
-0
/
+10
*
Adding print-out of critical path for mapped AIGs to &show.
Alan Mishchenko
2017-01-13
1
-6
/
+9
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-12
1
-0
/
+26
*
Updates to arithmetic verification.
Alan Mishchenko
2017-01-11
2
-1
/
+49
*
Updated to arithmetic verification.
Alan Mishchenko
2017-01-09
1
-51
/
+95
*
Bug fix in delay-opt framework.
Alan Mishchenko
2017-01-09
1
-1
/
+1
*
Change suggested by Udi Finkelstein.
Alan Mishchenko
2017-01-09
2
-40
/
+2
*
Adding an option to not add buffers to decouple COs driven by the same intern...
Alan Mishchenko
2017-01-07
1
-0
/
+7
*
Compiler warnings.
Alan Mishchenko
2017-01-07
1
-1
/
+1
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-13
/
+18
*
Compiler warnings.
Alan Mishchenko
2016-12-31
1
-2
/
+2
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
1
-2
/
+26
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-29
1
-2
/
+14
*
Several changes in arithmetic circuit manipulation.
Alan Mishchenko
2016-12-22
1
-4
/
+8
*
Converting some errors into warnings.
Alan Mishchenko
2016-12-21
2
-3
/
+3
*
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...
Bruno Schmitt
2016-12-12
1
-99
/
+240
*
Compiler warnings.
Alan Mishchenko
2016-12-05
1
-1
/
+1
*
Adding support for minimalistic representation of LUT mapping.
Alan Mishchenko
2016-12-05
1
-10
/
+22
[prev]
[next]