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
*
Add WASI support in Exa4_ManSolve.
Catherine
2023-02-04
1
-0
/
+4
*
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2022-11-09
2
-24
/
+1404
|
\
|
*
Various changes.
Alan Mishchenko
2022-08-30
1
-1
/
+9
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-08
1
-1
/
+1
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-08
1
-10
/
+264
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-07
1
-3
/
+3
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-07
2
-1
/
+1005
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-04
1
-7
/
+24
|
*
Improvements to command 'twoexact'.
Alan Mishchenko
2022-08-03
2
-17
/
+114
*
|
read_cex: Faster parsing and care bits for verification
Jannis Harder
2022-08-05
3
-3
/
+86
*
|
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2022-07-04
12
-23
/
+153
|
\
|
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2022-04-24
2
-6
/
+20
|
*
Experiments with SAT sweeping.
Alan Mishchenko
2022-04-24
4
-9
/
+111
|
*
Adding option to dump CNF after preprocessing in &glucose.
Alan Mishchenko
2022-02-02
6
-8
/
+22
|
*
Move CI to GitHub Actions.
Baruch Sterin
2022-01-22
2
-6
/
+6
|
*
Missing class name in the FreeBSD code.
Alan Mishchenko
2021-12-29
2
-2
/
+2
*
|
Add missing class names in FreeBSD-ifdefed code.
Yuri Victorovich
2022-05-06
2
-2
/
+2
*
|
Extend WASI platform support for glucose2.
whitequark
2021-11-27
3
-0
/
+20
*
|
Add WASI platform support to glucose2.
Miodrag Milanovic
2021-11-12
1
-8
/
+6
*
|
Add WASI platform support to bsat2 and glucose.
whitequark
2021-11-12
6
-0
/
+32
*
|
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2021-11-12
40
-1637
/
+9729
|
\
|
|
*
Experiments with pattern generation.
Alan Mishchenko
2021-10-10
1
-0
/
+18
|
*
Fixing memory leak in the SAT sweeper.
Alan Mishchenko
2021-05-16
1
-1
/
+1
|
*
Upgrade to the circuit-based solver.
Alan Mishchenko
2021-04-27
12
-367
/
+686
|
*
Integrating Glucose into &sat.
Alan Mishchenko
2020-12-21
1
-0
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2020-12-21
1
-2
/
+2
|
*
Extending sweeper to handle XORs.
Alan Mishchenko
2020-11-16
3
-259
/
+217
|
*
Extending sweeper to handle XORs.
Alan Mishchenko
2020-11-15
4
-0
/
+130
|
*
Improvements to the SAT sweeper (bug fix).
Alan Mishchenko
2020-11-15
1
-1
/
+1
|
*
Improvements to the SAT solver.
Alan Mishchenko
2020-11-14
2
-5
/
+12
|
*
Upgrading the SAT solvers.
Alan Mishchenko
2020-11-14
11
-72
/
+1061
|
*
Adding and integrating new SAT solver APIs.
Alan Mishchenko
2020-11-13
6
-0
/
+196
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-13
1
-43
/
+43
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-13
1
-2
/
+2
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-13
1
-2
/
+2
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-13
1
-5
/
+5
|
*
Duplicating Glucose package.
Alan Mishchenko
2020-11-12
28
-0
/
+8080
|
*
Adding Glucose API to return a CEX.
Alan Mishchenko
2020-11-12
3
-0
/
+22
|
*
Removing local file 'stdint.h' which was included by mistake, not even a head...
Alan Mishchenko
2020-11-06
1
-1628
/
+0
*
|
Add WASI platform support to glucose.
whitequark
2020-06-22
1
-8
/
+6
|
/
*
Fixing broken build and compiler warnings.
Alan Mishchenko
2020-04-17
2
-3
/
+3
*
Correctly updating the failed output when recording the CEX in bmc3 -a.
Alan Mishchenko
2020-04-03
1
-1
/
+5
*
Experiments with simulation-based engines.
Alan Mishchenko
2020-03-25
1
-1
/
+2
*
Changes to several APIs.
Alan Mishchenko
2019-11-01
1
-6
/
+22
*
Several suggested bug-fixes.
Alan Mishchenko
2019-09-13
1
-1
/
+1
*
Several suggested bug-fixes.
Alan Mishchenko
2019-09-13
1
-1
/
+1
*
Adding license file for Glucose 3.0
Alan Mishchenko
2019-07-25
1
-0
/
+32
*
Fixing some update gcc.
Alan Mishchenko
2019-07-24
1
-1
/
+1
*
Representing formula used in &fftest as a BLIF file.
Alan Mishchenko
2019-07-18
1
-0
/
+56
*
Printing formula used in &fftest.
Alan Mishchenko
2019-07-03
1
-2
/
+84
[next]