issues
search
SMT-LIB
/
SMT-LIB-2
Public reference documents for the SMT-LIB standard
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Order of definitions in models
#26
Gbury
opened
1 month ago
0
Lack of a minimal logic for some problems (related to logic restrictions such as linearity)
#25
Gbury
opened
1 month ago
0
Fixes #9
#24
tinelli
closed
1 month ago
0
Fixes #9
#23
tinelli
closed
1 month ago
0
Match syntax
#22
fontainep
opened
8 months ago
0
Overflow in FP operators
#21
fontainep
opened
10 months ago
2
declaring symbols to be used in binders
#20
fontainep
opened
11 months ago
0
Test issue for Cesare and Clark
#19
fontainep
closed
11 months ago
1
revisit :named feature
#17
barrettcw
closed
11 months ago
1
Clarify model formats
#16
barrettcw
opened
1 year ago
1
Make handling of partial functions more flexible
#14
barrettcw
opened
1 year ago
1
Typos on p. 55
#12
barrettcw
closed
1 month ago
0
Do not require verbosity to be 0 by default
#11
barrettcw
closed
10 months ago
1
Change default for print-success to false
#10
barrettcw
closed
10 months ago
0
Clarify get-unsat-core command
#9
barrettcw
closed
1 month ago
3
Minor issues in string theory
#8
barrettcw
closed
1 month ago
0
Proposed operator str.indexof_re
#7
barrettcw
opened
1 year ago
0
Extend SMT-LIB with conversion operators between integers and bitvectors
#6
barrettcw
closed
1 month ago
1
Fixes for QF_BV
#5
barrettcw
closed
1 month ago
0
Consider adding 0-width bitvectors
#4
barrettcw
opened
1 year ago
0
Clarify overloading
#3
barrettcw
opened
1 year ago
3
Overflow BV operators
#2
barrettcw
closed
1 month ago
21
Create .gitignore
#1
tinelli
closed
1 year ago
0