index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
sat
Commit message (
Expand
)
Author
Age
Files
Lines
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-17
1
-1
/
+1
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-17
2
-4
/
+5
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-16
7
-20
/
+26
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-16
1
-1
/
+2
*
Improved memory management of proof-logging and propagated changes.
Alan Mishchenko
2012-02-16
3
-33
/
+130
*
Improved memory management of proof-logging and propagated changes.
Alan Mishchenko
2012-02-16
11
-2664
/
+448
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-13
1
-0
/
+6
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-13
3
-27
/
+85
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-13
2
-9
/
+7
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-13
1
-16
/
+19
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-12
2
-71
/
+62
*
Variable timeframe abstraction.
Alan Mishchenko
2012-02-11
1
-9
/
+28
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-28
1
-13
/
+17
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-27
3
-210
/
+127
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-24
2
-23
/
+42
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-24
1
-10
/
+80
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-21
1
-6
/
+1
*
Major restructuring of the code.
Alan Mishchenko
2012-01-21
61
-11293
/
+8750
*
Variable timeframe abstraction.
Alan Mishchenko
2012-01-20
4
-30
/
+39
*
Improving printout in the SAT solver.
Alan Mishchenko
2012-01-13
2
-2
/
+4
*
Bug fix related to not properly resizing SAT solver's model array.
Alan Mishchenko
2012-01-12
2
-0
/
+2
*
Bug fix related to not properly resizing SAT solver's model array.
Alan Mishchenko
2012-01-06
5
-31
/
+25
*
APIs to represent simple gates in CNF.
Alan Mishchenko
2012-01-05
1
-0
/
+112
*
APIs to represent simple gates in CNF.
Alan Mishchenko
2012-01-05
1
-0
/
+100
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-23
3
-38
/
+83
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-23
3
-91
/
+45
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-23
2
-4
/
+4
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-23
8
-542
/
+2484
*
Transforming the solver to use different clause representation.
Alan Mishchenko
2011-12-22
1
-143
/
+143
*
Computing interpolants as truth tables.
Alan Mishchenko
2011-12-22
8
-0
/
+825
*
Undoing temporary change to the solver.
Alan Mishchenko
2011-12-15
1
-1
/
+1
*
Temporary change to the solver.
Alan Mishchenko
2011-12-15
1
-1
/
+1
*
Started SAT-based reparameterization.
Alan Mishchenko
2011-12-13
3
-149
/
+73
*
Implementing rollback in the updated solver.
Alan Mishchenko
2011-12-10
1
-5
/
+6
*
Implementing rollback in the updated solver.
Alan Mishchenko
2011-12-10
3
-14
/
+46
*
Implemented rollback in the main SAT solver and updated PDR to use it (saves ...
Alan Mishchenko
2011-12-10
7
-21
/
+106
*
Implementing rollback in the updated solver.
Alan Mishchenko
2011-12-10
3
-81
/
+218
*
Removing unused files.
Alan Mishchenko
2011-12-10
6
-6483
/
+0
*
Changes to the main SAT solver: fixing performance bug (resetting decay param...
Alan Mishchenko
2011-12-09
4
-315
/
+330
*
Integrated new proof-logging into proof-based gate-level abstraction.
Alan Mishchenko
2011-12-08
3
-228
/
+187
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-08
3
-133
/
+334
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-08
5
-120
/
+211
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-07
3
-176
/
+124
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-06
3
-65
/
+163
*
g++ portability changes.
Alan Mishchenko
2011-12-06
1
-2
/
+2
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-05
2
-32
/
+34
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-05
4
-391
/
+524
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-05
3
-18
/
+34
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-04
2
-32
/
+41
*
Proof-logging in the updated solver.
Alan Mishchenko
2011-12-04
3
-283
/
+352
[next]