Giters
uuverifiers
/
ostrich
An SMT Solver for string constraints
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
33
Watchers:
3
Issues:
47
Forks:
8
uuverifiers/ostrich Issues
Regarding Statics
Closed
4 months ago
Comments count
5
API
Closed
4 months ago
Comments count
1
Incorrect encoding of str.replacere
Closed
8 months ago
Compilation Error: Failed 4 out of 354 tests in Ostrich
Closed
8 months ago
Comments count
4
Inconsistent behavior in scala 2.13
Closed
a year ago
Comments count
2
support scala 2.13.10
Closed
a year ago
Comments count
2
Incorrect handling of str.replace_re
Closed
a year ago
Wrong answer of str.replace
Closed
a year ago
Assembly produces broken JAR file on case-insensitive file systems due to overlapping class names in ECMA 2020 parser
Updated
2 years ago
Comments count
8
Miss some model
Updated
2 years ago
Comments count
3
Underscore in regex pattern causes parse error
Closed
2 years ago
Comments count
1
Refutation unsoundness on QF_S formula with str.indexof, str.substr, str.len
Closed
2 years ago
Comments count
1
Refutation unsoundness on QF_S formula with str.substr
Closed
2 years ago
Comments count
1
Solution unsoundness on QF_S formula with str.substr
Closed
2 years ago
Comments count
1
Refutation unsoundness on QF_S formula with str.indexof
Closed
2 years ago
Comments count
1
Solution soundness issue on QF_AUFLIA formula
Closed
2 years ago
Comments count
2
Assertion error at SimpleAPI.scala:3297
Updated
2 years ago
Assertion error at SimpleAPI.scala:4231
Updated
2 years ago
java.lang.RuntimeException: Stack empty
Updated
2 years ago
Assertion error at SimpleAPI.scala:2283 on QF_S formula
Closed
2 years ago
Comments count
1
Refutation soundness issue on LIRA formula
Updated
2 years ago
NullPointerException at SimpleAPI.scala:4116
Updated
2 years ago
AssertionError at ReduceWithEqs.scala:340
Updated
2 years ago
AssertionError at ReduceWithConjunction.scala:424
Updated
2 years ago
AssertionError at ReduceWithAC.scala:287
Updated
2 years ago
Refutation soundness issue on QF_SLIA formula
Closed
2 years ago
Comments count
2
AssertionError at LinearCombination.scala:1627
Closed
2 years ago
Comments count
1
Solution soundness issue on AUFNIRA instance
Closed
2 years ago
Comments count
1
move ecma2020-regex-paser to repo uuverifiers
Updated
2 years ago
Support for unsat core generation
Updated
2 years ago
Three problems about regular expressions
Updated
2 years ago
Comments count
4
QF_S refutation soundness bug with str.replace
Closed
4 years ago
Comments count
3
QF_S solution soundness bug with str.replace_all
Closed
4 years ago
Comments count
2
QF_SLIA solution soundness bug with str.substr
Closed
4 years ago
Comments count
2
QF_S solution soundness bug with str.++
Closed
4 years ago
Comments count
3
QF_S refutation soundness bug with str.substr
Closed
4 years ago
Comments count
2
QF_S solution soundness bug with str.at
Closed
4 years ago
Comments count
2
(feature) Support the new regex API names str.to_re and str.in_re
Closed
4 years ago
Comments count
2
Potential soundness issue of unicode string encoding
Closed
4 years ago
Comments count
1
Assertion error on QF_S instance
Updated
4 years ago
Comments count
1
Assertion error at FunctionEncoder.scala:326
Updated
4 years ago
AssertionError on UFLIA instance
Closed
4 years ago
Comments count
2
Refutational soundness issue on QF_UFNRA formula
Closed
4 years ago
Comments count
3