index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
proof
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Improvements to the SAT sweeper.
Alan Mishchenko
2020-11-13
1
-161
/
+366
|
*
Adding and integrating new SAT solver APIs.
Alan Mishchenko
2020-11-13
2
-30
/
+73
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-12
1
-33
/
+69
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2020-11-11
1
-30
/
+43
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2020-11-10
2
-67
/
+212
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2020-11-09
5
-0
/
+1165
|
*
Deleting unused info left by the SAT sweeper.
Alan Mishchenko
2020-09-10
1
-0
/
+2
|
*
Adding switch &cec -w to print SAT solver stats.
Alan Mishchenko
2020-09-06
3
-1
/
+3
|
*
Making &cec use precomputed simulation info.
Alan Mishchenko
2020-08-12
3
-12
/
+37
|
*
Corner case bug fix in &sat -a.
Alan Mishchenko
2020-03-18
1
-3
/
+12
|
*
Cleaning up code and fixing for several typos.
Alan Mishchenko
2020-01-27
1
-1
/
+1
|
*
Remove assertions when the solver becomes UNSAT after adding constraints in ↵
Alan Mishchenko
2019-10-05
1
-2
/
+2
|
|
|
|
'scorr -c'.
*
Several corner-case bug fixes in scorr with constraints.
Alan Mishchenko
2019-10-02
1
-1
/
+1
|
*
Adding switch to &if to consider special type of 6-input cuts.
Alan Mishchenko
2019-09-26
1
-0
/
+56
|
*
Fixing some update gcc.
Alan Mishchenko
2019-07-24
1
-1
/
+1
|
*
Cleanup of SAT sweeping code.
Alan Mishchenko
2019-06-30
1
-8
/
+0
|
*
Adding the possibility to specify file name in 'pdr'.
Alan Mishchenko
2019-04-22
3
-2
/
+4
|
*
Fixing several potential bugs.
Alan Mishchenko
2019-03-19
2
-2
/
+2
|
*
Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵
Alan Mishchenko
2019-03-05
7
-13
/
+13
|
|
|
|
memcpy, etc.
*
Suggested white-space changes for fewer gcc warnings.
Alan Mishchenko
2019-03-04
1
-4
/
+4
|
*
Passing names in &scorr.
Alan Mishchenko
2019-02-18
1
-0
/
+12
|
*
Passing names in &scorr.
Alan Mishchenko
2019-02-18
1
-0
/
+5
|
*
Adding switch &w -n to modify the comment section of the AIGER file written.
Alan Mishchenko
2018-11-21
11
-15
/
+15
|
*
Various usability changes.
Alan Mishchenko
2018-11-18
1
-1
/
+1
|
*
Various usability changes.
Alan Mishchenko
2018-11-18
1
-0
/
+1
|
*
Bug fix in polynomial construction.
Alan Mishchenko
2018-06-20
1
-3
/
+3
|
*
Enabling user-specified output signature in &polyn (bug fix).
Alan Mishchenko
2018-06-13
1
-1
/
+1
|
*
Enabling user-specified output signature in &polyn.
Alan Mishchenko
2018-06-13
1
-7
/
+217
|
*
Bug fix in &sat -x.
Alan Mishchenko
2018-05-07
1
-0
/
+2
|
*
Adding &sat -x to save CEXes for multi-output combinational miters.
Alan Mishchenko
2018-05-06
3
-0
/
+23
|
*
Adding switch 'scorr -f' to dump inductive invariant as an AIG.
Alan Mishchenko
2018-03-22
3
-9
/
+18
|
*
Compilation problem with pow().
Alan Mishchenko
2018-02-19
1
-3
/
+3
|
*
Experiments with circuit-based SAT.
Alan Mishchenko
2018-01-27
1
-1
/
+1
|
*
Experiments with SAT-based simulation.
Alan Mishchenko
2018-01-25
1
-8
/
+11
|
*
Experiments with SAT-based simulation.
Alan Mishchenko
2018-01-23
1
-2
/
+17
|
*
Changes to make GIA structural hashing use a dedicated array instead of ↵
Alan Mishchenko
2017-11-13
1
-1
/
+1
|
|
|
|
pObj->Value.
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
2
-38
/
+43
|
*
Bug fix in old lcorr with constraints.
Alan Mishchenko
2017-11-04
1
-1
/
+1
|
*
Enabling Glucose in SAT sweeping: &fraig -g.
Alan Mishchenko
2017-09-18
1
-0
/
+1
|
*
Enabling Glucose in SAT sweeping: &fraig -g.
Alan Mishchenko
2017-09-18
1
-0
/
+1048
|
*
bridge relates: (1) fix netlist reader to read the latest version written by ↵
Baruch Sterin
2017-09-15
1
-24
/
+24
|
|
|
|
ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages
*
Changes to 'pdr' to run with updated Satoko.
Alan Mishchenko
2017-09-06
1
-1
/
+1
|
*
Changes to 'pdr' to run with updated Satoko.
Alan Mishchenko
2017-09-06
3
-6
/
+8
|
*
Fixing bronken C++ build; Satoko internal header, solver.h, should not be ↵
Bruno Schmitt
2017-08-29
2
-12
/
+13
|
|
|
|
used in other packages
*
Integrating Satoko into 'bmc' and 'bmc2'.
Alan Mishchenko
2017-08-16
3
-3
/
+3
|
*
Integrating Satoko into pdr.
Alan Mishchenko
2017-08-16
9
-42
/
+68
|
*
Compiler warnings.
Alan Mishchenko
2017-07-22
2
-3
/
+3
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-04-11
3
-1
/
+8
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2017-04-11
2
-23
/
+78
|
*
%pdra: added an option -t for disabling trace reuse
Yen-Sheng Ho
2017-03-31
1
-0
/
+3
|
[next]