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 (
Collapse
)
Author
Age
Files
Lines
...
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-30
2
-31
/
+95
|
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-28
1
-0
/
+2
|
*
New exact synthesis command 'allexact'.
Alan Mishchenko
2017-12-28
6
-14
/
+1166
|
*
Adding parameter structure to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
3
-84
/
+94
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
3
-0
/
+17
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
3
-0
/
+9
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
3
-3
/
+12
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
1
-1
/
+50
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
4
-15
/
+61
|
*
Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
2
-17
/
+52
|
*
An improvement to 'twoexact' and 'lutexact'.
Alan Mishchenko
2017-12-06
2
-8
/
+39
|
*
New command 'lutexact'.
Alan Mishchenko
2017-12-05
2
-5
/
+753
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-03
1
-5
/
+0
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-2
/
+2
|
*
Portability changes for gcc-6 suggested by Clifford.
Alan Mishchenko
2017-12-02
1
-2
/
+7
|
*
C++ comaptibility: add namespace support to Glucose
Baruch Sterin
2017-11-23
24
-13
/
+116
|
*
Extracting CSAT interface and several cleanups.
Alan Mishchenko
2017-11-13
1
-37
/
+0
|
*
Improvements to quantification.
Alan Mishchenko
2017-11-13
1
-8
/
+38
|
*
Compiler warnings.
Alan Mishchenko
2017-11-06
1
-2
/
+2
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
1
-30
/
+40
|
*
Profiling quantification and other changes.
Alan Mishchenko
2017-11-06
2
-26
/
+155
|
*
Improvements to quantification.
Alan Mishchenko
2017-10-29
1
-68
/
+184
|
*
Adding random search in exact synthesis.
Alan Mishchenko
2017-10-20
2
-16
/
+124
|
*
Integrating old SAT solver into majexact and twoexact.
Alan Mishchenko
2017-10-19
2
-0
/
+746
|
*
Integrating Glucose into &qbf.
Alan Mishchenko
2017-10-17
3
-3
/
+3
|
*
Another variation on exact synthesis.
Alan Mishchenko
2017-10-11
1
-0
/
+354
|
*
Improvements to SAT based SOP computation.
Alan Mishchenko
2017-10-06
2
-24
/
+33
|
*
Experiments with SAT-based quantification.
Alan Mishchenko
2017-10-04
2
-8
/
+77
|
*
Experiments with SAT-based quantification.
Alan Mishchenko
2017-10-04
2
-26
/
+212
|
*
Addressing recently reported Bitbucket Issue #72 and #73.
Alan Mishchenko
2017-10-03
1
-1
/
+1
|
*
Fixing minimize_assuptions using Glucose.
Alan Mishchenko
2017-10-02
1
-53
/
+70
|
*
Exact synthesis of majority gates.
Alan Mishchenko
2017-10-01
1
-7
/
+17
|
*
Exact synthesis of majority gates.
Alan Mishchenko
2017-10-01
1
-5
/
+12
|
*
Exact synthesis of majority gates.
Alan Mishchenko
2017-10-01
2
-0
/
+374
|
*
Enabling Glucose in SAT sweeping: &fraig -g.
Alan Mishchenko
2017-09-18
2
-0
/
+16
|
*
Changes to Glucose to enable resetting the solver.
Alan Mishchenko
2017-09-18
5
-0
/
+87
|
*
Compiler warning.
Alan Mishchenko
2017-09-16
1
-1
/
+1
|
*
Enabling variable elim in &bmcs -g.
Alan Mishchenko
2017-09-16
5
-14
/
+77
|
*
Adding support for Dimacs input to &satoko.
Alan Mishchenko
2017-09-16
1
-3
/
+3
|
*
Improvements in Glucose integration.
Alan Mishchenko
2017-09-16
1
-1
/
+1
|
*
Bug fix in Glucose integration.
Alan Mishchenko
2017-09-16
4
-27
/
+78
|
*
Undoing updates to &bmcs to help debugging.
Alan Mishchenko
2017-09-15
1
-20
/
+268
|
*
Changes and fixed suggested by Clifford Wolf.
Alan Mishchenko
2017-09-15
2
-4
/
+4
|
*
Updates to &bmcs to help debugging.
Alan Mishchenko
2017-09-12
2
-31
/
+32
|
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
1
-1
/
+1
|
*
Experiments with Glucose.
Alan Mishchenko
2017-09-07
4
-27
/
+157
|
*
Avoid command name collision.
Alan Mishchenko
2017-09-07
1
-2
/
+2
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
1
-1
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
3
-16
/
+19
|
*
Compiler warnings.
Alan Mishchenko
2017-09-07
3
-7
/
+7
|
[prev]
[next]