issues
search
MfesGA
/
Smtlib
Parser for smt-lib Command responses
MIT License
2
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Can I become a maintainer of this package
#35
msakai
opened
3 years ago
0
Support for GHC 8.0.1
#34
asr
opened
8 years ago
0
Quoting symbols when necessary
#33
msakai
opened
8 years ago
0
(asX b) should not be parsed as (as X b)
#32
msakai
opened
8 years ago
0
Reserved words should not be parsed as simple symbols
#31
msakai
opened
8 years ago
0
(_a b) should not be parsed as an identifier with indexes, but as an application
#30
msakai
opened
8 years ago
0
SMT-LIB 2.5 string literal support
#29
msakai
opened
8 years ago
0
Allowing identifiers to be indexed not just with symbols
#28
msakai
opened
8 years ago
0
Supporting (get-info :assertion-stack-levels) command added in SMT-LIB 2.5
#27
msakai
opened
8 years ago
0
Supporting check-sat-assuming, get-unsat-assumptions commands and :produce-unsat-assumptions option
#26
msakai
opened
8 years ago
0
OptionAttr argument should be printed using 'showSL' instead of 'show'
#25
msakai
opened
8 years ago
0
fix a bug of parseSexprKeyword
#24
msakai
opened
8 years ago
0
Correctly parsing the output of (get-info :reason-unknown)
#23
msakai
closed
8 years ago
0
Parsing 'unknown' response of (check-sat) correctly
#22
msakai
opened
8 years ago
0
Fixing ShowSL of SpecConstantBinary and SpecConstantHexadecimal
#21
msakai
opened
8 years ago
0
Fixing typo: 'define-fun-recs' -> 'define-funs-rec'
#20
msakai
opened
8 years ago
0
fix typo: 'imcomplete' -> 'incomplete'
#19
msakai
opened
8 years ago
0
Identifiers indexed not just with numerals but also with symbols
#18
msakai
opened
8 years ago
0
fix typo: 'error-behaviour' -> 'error-behavior'
#17
msakai
opened
8 years ago
0
allow omitting arguments of push/pop commands
#16
msakai
opened
8 years ago
0
fix showSL to print get-value command correctly
#15
msakai
opened
8 years ago
0
Support commands and options of SMT-LIB 2.5
#14
msakai
closed
8 years ago
0
fix problems in parseInfoFlags parser
#13
msakai
closed
8 years ago
0
TValuationPair instance of ShowSL should print boolean value using showSL
#12
msakai
opened
8 years ago
0
fix typo: produce-assignnments -> produce-assignments
#11
msakai
opened
8 years ago
0
Confusion about package name
#10
msakai
opened
8 years ago
1
SMT-LIB2 comment
#9
msakai
opened
8 years ago
0
GenResponse instance of ShowSL should print Success as "success" instead of "Success"
#8
msakai
closed
8 years ago
0
relax build dependencies to allow base-4.8 (GHC-7.10) and transformers-0.4
#7
msakai
closed
8 years ago
0
Two small updates
#6
asr
closed
8 years ago
0
Develop
#5
rogerioacp
closed
9 years ago
0
Fixed parsing of Z3 proofs
#4
asr
closed
9 years ago
0
Fixed Example.hs
#3
asr
closed
9 years ago
0
Fixed compilation with GHC 7.8.4
#2
asr
closed
9 years ago
1
Not parsing correctly set options
#1
rogerioacp
closed
9 years ago
0