index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
sat
/
bsat
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Compiler warnings.
Alan Mishchenko
2017-04-28
1
-3
/
+3
|
*
Compiler warnings.
Alan Mishchenko
2017-04-28
1
-3
/
+3
|
*
Compiler warnings.
Alan Mishchenko
2017-04-28
1
-3
/
+3
|
*
Experiments with hashing.
Alan Mishchenko
2017-04-11
2
-0
/
+6
|
*
Experiments with don't-cares.
Alan Mishchenko
2017-04-04
2
-0
/
+15
|
*
Experiments with don't-cares.
Alan Mishchenko
2017-04-02
1
-2
/
+2
|
*
added callbacks to bmc3 and sat solver
Yen-Sheng Ho
2017-03-20
2
-0
/
+6
|
*
Clone of the main SAT solver to eneable independent work.
Alan Mishchenko
2017-03-03
1
-0
/
+1
|
*
Clone of the main SAT solver to eneable independent work.
Alan Mishchenko
2017-03-03
2
-0
/
+2921
|
*
Adding alternative generalization procedure.
Alan Mishchenko
2017-03-02
2
-3
/
+92
|
*
Adding efficient procedure to minimize the set of assumptions (improved ↵
Alan Mishchenko
2017-03-02
1
-1
/
+8
|
|
|
|
literal reordering).
*
Adding alternative generalization procedure.
Alan Mishchenko
2017-03-01
1
-1
/
+1
|
*
Adding efficient procedure to minimize the set of assumptions.
Alan Mishchenko
2017-03-01
2
-0
/
+53
|
*
Fixing missing sat_solver APIs in 'iprove'.
Alan Mishchenko
2017-02-16
1
-6
/
+24
|
*
Fixing missing sat_solver APIs in 'iprove'.
Alan Mishchenko
2017-02-15
1
-3
/
+40
|
*
Commenting out uncommented message.
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
1
-1
/
+2
|
*
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
|
*
Improvements to inductive generalization in IC3/PDR by Zyad Hassan.
Alan Mishchenko
2017-02-02
2
-0
/
+122
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-29
1
-1
/
+6
|
*
Fixes and adjustments for the edge computation flow.
Alan Mishchenko
2016-07-15
1
-1
/
+1
|
*
Experiments with edge-based mapping.
Alan Mishchenko
2016-06-15
1
-2
/
+3
|
*
Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.
Alan Mishchenko
2016-05-19
2
-1
/
+2
|
*
This code was accidentally deleted from the SAT solver (effectively ↵
Alan Mishchenko
2016-04-30
1
-0
/
+7
|
|
|
|
disabling restarts!)
*
Improved algo for edge computation.
Alan Mishchenko
2016-04-23
2
-1
/
+14
|
*
Adding new implementation of LEXSAT.
Alan Mishchenko
2016-04-12
2
-0
/
+69
|
*
Restructing sat_solver_solve() method for pushing/popping assumptions.
Alan Mishchenko
2016-04-12
3
-151
/
+153
|
*
Removing unused feature of the SAT solver (user-guided variable ordering).
Alan Mishchenko
2016-04-12
2
-53
/
+1
|
*
Removing unused feature of the SAT solver (native support for cardinality ↵
Alan Mishchenko
2016-04-12
3
-33
/
+2
|
|
|
|
constraint).
*
Improvements to delay-optimization in &satlut.
Alan Mishchenko
2016-04-04
1
-1
/
+8
|
*
Experiments with SAT-based mapping.
Alan Mishchenko
2016-02-07
1
-0
/
+23
|
*
Experiments with SAT-based mapping.
Alan Mishchenko
2016-01-10
1
-0
/
+9
|
*
Adding support of candinality clause to the SAT solver.
Alan Mishchenko
2016-01-10
3
-3
/
+35
|
*
Added comment how to print binary clauses in procedure Sat_SolverWriteDimacs().
Alan Mishchenko
2015-10-16
1
-1
/
+4
|
*
Tuning SAT solver for QBF instances.
Alan Mishchenko
2015-09-18
1
-4
/
+6
|
*
Experiments with SAT-based collapsing.
Alan Mishchenko
2015-09-04
2
-1
/
+8
|
*
Experiments with SAT-based collapsing.
Alan Mishchenko
2015-09-03
2
-8
/
+51
|
*
Bug fix in QBF solver.
Alan Mishchenko
2015-05-04
1
-0
/
+4
|
*
Experiments with SAT-based cube enumeration.
Alan Mishchenko
2015-03-05
1
-19
/
+19
|
*
Compiler warnings.
Alan Mishchenko
2015-02-19
1
-1
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2014-10-28
1
-2
/
+2
|
*
Adding command to dump UNSAT core of BMC instance.
Alan Mishchenko
2014-04-07
5
-16
/
+76
|
*
Adding switch to handle only single faults.
Alan Mishchenko
2014-04-01
1
-4
/
+4
|
*
Changes to LUT mappers.
Alan Mishchenko
2014-03-04
1
-0
/
+64
|
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-27
1
-0
/
+46
|
*
Specialized induction check.
Alan Mishchenko
2013-10-31
1
-0
/
+39
|
*
Specialized induction check.
Alan Mishchenko
2013-10-31
1
-0
/
+19
|
*
Compiler warning about unused variable.
Alan Mishchenko
2013-09-17
1
-2
/
+2
|
[next]