index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Experiment with graph constuction using ZDDs.
Alan Mishchenko
2017-02-17
1
-0
/
+203
*
Fixing missing sat_solver APIs in 'iprove'.
Alan Mishchenko
2017-02-16
1
-6
/
+24
*
Promising alternative of CEX minimization in 'pdr'.
Alan Mishchenko
2017-02-16
4
-37
/
+57
*
Experiment with graph constuction using ZDDs.
Alan Mishchenko
2017-02-16
1
-0
/
+46
*
Fixing memory leak in 'pdr'.
Alan Mishchenko
2017-02-16
1
-6
/
+7
*
Promising modification of the generalization procedure in 'pdr'.
Alan Mishchenko
2017-02-16
5
-18
/
+34
*
Fixing missing sat_solver APIs in 'iprove'.
Alan Mishchenko
2017-02-15
1
-3
/
+40
*
Merged alanmi/abc into default
Bruno Schmitt
2017-02-15
15
-246
/
+1349
|
\
|
*
Word-level abstraction engine.
Alan Mishchenko
2017-02-15
14
-246
/
+1155
|
*
Experiments with simulation.
Alan Mishchenko
2017-02-14
1
-0
/
+194
*
|
- Small changes to the watch lists behavior.
Bruno Schmitt
2017-02-15
7
-5
/
+98
|
/
*
- Small bug fix in var activity (improve performance)
Bruno Schmitt
2017-02-14
4
-56
/
+55
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-13
1
-5
/
+5
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-11
1
-1
/
+10
*
Commenting out uncommented message.
Alan Mishchenko
2017-02-11
1
-1
/
+1
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-11
3
-41
/
+11
*
Adding APIs to mark cones. Creating test-bench for incremental solving &satok...
Alan Mishchenko
2017-02-11
7
-40
/
+181
*
Compiler warning.
Alan Mishchenko
2017-02-11
1
-1
/
+1
*
Updates to variable activity in the SAT solver.
Alan Mishchenko
2017-02-11
2
-342
/
+224
*
Movinng custom floating-point implementations, etc.
Alan Mishchenko
2017-02-11
5
-21
/
+19
*
New implementation of a software floating point implementation (sdbl) for con...
Bruno Schmitt
2017-02-11
11
-469
/
+412
*
Platform-independent double.
Alan Mishchenko
2017-02-11
2
-1
/
+226
*
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
5
-13
/
+39
*
Updates to the autotuner.
Alan Mishchenko
2017-02-10
3
-234
/
+197
*
Changes to compile on Windows.
Alan Mishchenko
2017-02-10
2
-3
/
+7
*
Merged in boschmitt/abc (pull request #51)
Alan Mishchenko
2017-02-11
7
-43
/
+363
|
\
|
*
Merged alanmi/abc into default
Bruno Schmitt
2017-02-10
5
-104
/
+196
|
|
\
|
*
|
New fixed point data type.
Bruno Schmitt
2017-02-10
7
-43
/
+363
*
|
|
Compiler warnings.
Alan Mishchenko
2017-02-10
2
-2
/
+2
*
|
|
Adding PDR with abstraction.
Alan Mishchenko
2017-02-10
9
-103
/
+330
*
|
|
Re-introducing floating-point activity in the SAT solver.
Alan Mishchenko
2017-02-10
4
-2
/
+11
|
|
/
|
/
|
*
|
Improving CEX minimization.
Alan Mishchenko
2017-02-10
5
-104
/
+196
|
/
*
Standardizing the use of new CNF generator. Adding CNF variable connectivity ...
Alan Mishchenko
2017-02-10
17
-57
/
+76
*
Profiling CEX minimization.
Alan Mishchenko
2017-02-09
1
-4
/
+22
*
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
4
-18
/
+53
*
Word-level abstraction.
Alan Mishchenko
2017-02-09
8
-14
/
+387
*
- Adding a compile time option to use floats for var activity (now it can be ...
Bruno Schmitt
2017-02-09
8
-34
/
+300
*
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
7
-28
/
+702
*
Compiler warning.
Alan Mishchenko
2017-02-08
1
-1
/
+1
*
New command &satoko.
Alan Mishchenko
2017-02-08
5
-4
/
+204
*
Re-introducing floating-point activity in the SAT solver.
Alan Mishchenko
2017-02-07
1
-2
/
+18
*
Re-introducing floating-point activity in the SAT solver.
Alan Mishchenko
2017-02-06
2
-39
/
+171
*
Small changes to compile satoko on Windows.
Alan Mishchenko
2017-02-06
4
-4
/
+88
*
Merged alanmi/abc into default
Bruno Schmitt
2017-02-06
1
-7
/
+7
|
\
[prev]
[next]