issues
search
ddsmt
/
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
https://ddsmt.readthedocs.io
Other
50
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Invalid `declare-sort` output?
#35
someplaceguy
closed
8 months ago
2
How can I execute delta debugging for formula that takes 10s to solve?
#34
whangdo
closed
1 year ago
4
Unexpected output for universally quantified input
#33
alebugariu
closed
1 year ago
4
Segfault with Bitvector Arrays
#32
evanlohn
closed
1 year ago
1
Make logging output of hierarchical strategy a bit less obtrusive
#31
nafur
closed
2 years ago
0
crash using ddsmt
#30
barrettcw
closed
3 years ago
6
Implementing initial detection of datatypes
#29
aytey
closed
3 years ago
0
Avoid divide-by-zero when parsing an SMT file with no expressions
#28
aytey
closed
3 years ago
0
Add THANKS file
#27
nafur
closed
3 years ago
0
Mutator to erase entries from "declare-datatypes" and "define-funs-rec"
#26
krobelus
closed
3 years ago
1
Ensure that child processes are forked, not spawned.
#25
4tXJ7f
closed
3 years ago
0
Minor documentation fixes and tweaks
#24
krobelus
closed
3 years ago
1
Refactor core
#23
nafur
closed
3 years ago
0
Move testing to a separate utility
#22
nafur
closed
3 years ago
0
Move options to separate file.
#21
nafur
closed
3 years ago
0
Use logging instead of _msg()
#20
nafur
closed
3 years ago
0
Add support for declare-datatype
#19
nblei
closed
3 years ago
3
Adding support for (get-model) command
#18
blishko
closed
4 years ago
4
Make multiplication n-ary, just like addition or substration.
#17
nafur
closed
4 years ago
0
Extend ddSMT to support (get-model) command
#16
blishko
closed
4 years ago
2
adding a space to doc
#15
yoni206
closed
4 years ago
1
Add basic support for the theory of strings
#14
4tXJ7f
closed
6 years ago
0
Parser changes (for use parallel testing and portfolio updates)
#13
janeclange
closed
6 years ago
0
portfolio (part 3)
#12
janeclange
closed
5 years ago
1
portfolio (part 2)
#11
janeclange
closed
4 years ago
0
portfolio (part 1)
#10
janeclange
closed
4 years ago
1
small fixes
#9
janeclange
closed
6 years ago
0
_substitute set complements
#8
janeclange
closed
6 years ago
0
Searchstring
#7
janeclange
closed
6 years ago
0
Timeouts
#6
janeclange
closed
6 years ago
3
Substitute function options
#5
janeclange
closed
6 years ago
7
fix
#4
yoni206
closed
6 years ago
0
Bit-vector constants not recognized with (set-logic ALL)
#3
4tXJ7f
closed
6 years ago
1
Add support for declare-const
#2
4tXJ7f
closed
6 years ago
1
Endless Self Execution
#1
vedadux
closed
7 years ago
1