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
*
added datastructure for %pdra options
Yen-Sheng Ho
2017-02-20
3
-4
/
+45
*
fixed time profiling in pdr
Yen-Sheng Ho
2017-02-20
1
-0
/
+4
*
working on pdr with wla
Yen-Sheng Ho
2017-02-19
1
-1
/
+1
*
working on pdr with wla
Yen-Sheng Ho
2017-02-19
1
-10
/
+6
*
working on pdr with wla
Yen-Sheng Ho
2017-02-19
1
-5
/
+25
*
working on pdr with wla
Yen-Sheng Ho
2017-02-19
1
-2
/
+23
*
working on pdr with wla
Yen-Sheng Ho
2017-02-19
3
-1
/
+113
*
started %pdra
Yen-Sheng Ho
2017-02-19
1
-0
/
+117
*
copied some functions from pdr
Yen-Sheng Ho
2017-02-18
1
-2
/
+2
*
copied pdr_mansolve
Yen-Sheng Ho
2017-02-18
1
-2
/
+1
*
started pdrIncr.c
Yen-Sheng Ho
2017-02-18
1
-0
/
+2
*
added ipdr
Yen-Sheng Ho
2017-02-17
1
-0
/
+268
*
Promising alternative of CEX minimization in 'pdr'.
Alan Mishchenko
2017-02-16
1
-2
/
+6
*
Promising modification of the generalization procedure in 'pdr'.
Alan Mishchenko
2017-02-16
1
-2
/
+6
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
9
-243
/
+1101
*
Adding APIs to mark cones. Creating test-bench for incremental solving &satok...
Alan Mishchenko
2017-02-11
2
-8
/
+12
*
Updates to the autotuner.
Alan Mishchenko
2017-02-10
2
-233
/
+196
*
Merged in boschmitt/abc (pull request #51)
Alan Mishchenko
2017-02-11
1
-4
/
+214
|
\
|
*
Merged alanmi/abc into default
Bruno Schmitt
2017-02-10
1
-1
/
+1
|
|
\
|
*
|
New fixed point data type.
Bruno Schmitt
2017-02-10
1
-4
/
+214
*
|
|
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
1
-1
/
+1
*
|
|
Re-introducing floating-point activity in the SAT solver.
Alan Mishchenko
2017-02-10
1
-2
/
+6
|
|
/
|
/
|
*
|
Improving CEX minimization.
Alan Mishchenko
2017-02-10
1
-1
/
+1
|
/
*
Standardizing the use of new CNF generator. Adding CNF variable connectivity ...
Alan Mishchenko
2017-02-10
2
-5
/
+2
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
6
-66
/
+125
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
2
-4
/
+4
*
Making sure 'inv_out' can match flops by name.
Alan Mishchenko
2017-02-09
3
-18
/
+51
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
7
-14
/
+379
*
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
[next]