uuverifiers/ostrich issues and pull requests

#62 - Cea new

Pull Request - State: open - Opened by SimpleXiaohu over 1 year ago

#61 - Smt comp 2023

Pull Request - State: closed - Opened by SimpleXiaohu over 1 year ago - 3 comments

#60 - Cost enriched automata

Pull Request - State: closed - Opened by SimpleXiaohu almost 2 years ago - 1 comment

#59 - Don't prevent rematch in replace transducer

Pull Request - State: closed - Opened by matthewhague almost 2 years ago - 1 comment

#58 - Incorrect handling of str.replace_re

Issue - State: closed - Opened by pruemmer almost 2 years ago

#57 - Consider whole alphabet when constructing Caley graph

Pull Request - State: closed - Opened by matthewhague almost 2 years ago - 1 comment

#56 - Wrong answer of str.replace

Issue - State: closed - Opened by SimpleXiaohu almost 2 years ago

#55 - Miss some model

Issue - State: open - Opened by SimpleXiaohu over 2 years ago - 3 comments

#54 - move ecma2020-regex-paser to repo uuverifiers

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#54 - move ecma2020-regex-paser to repo uuverifiers

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#54 - move ecma2020-regex-paser to repo uuverifiers

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#54 - move ecma2020-regex-paser to repo uuverifiers

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#53 - Support for unsat core generation

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#53 - Support for unsat core generation

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#53 - Support for unsat core generation

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#53 - Support for unsat core generation

Issue - State: open - Opened by SimpleXiaohu over 2 years ago

#52 - Three problems about regular expressions

Issue - State: open - Opened by x5g almost 3 years ago - 4 comments

#52 - Three problems about regular expressions

Issue - State: open - Opened by x5g almost 3 years ago - 4 comments

#52 - Three problems about regular expressions

Issue - State: open - Opened by x5g almost 3 years ago - 4 comments

#52 - Three problems about regular expressions

Issue - State: open - Opened by x5g almost 3 years ago - 4 comments

#51 - Assembly produces broken JAR file on case-insensitive file systems due to overlapping class names in ECMA 2020 parser

Issue - State: open - Opened by x5g almost 3 years ago - 8 comments

#50 - Underscore in regex pattern causes parse error

Issue - State: closed - Opened by amandasystems almost 3 years ago - 1 comment

#49 - semantics fix and two lazy operators implemented

Pull Request - State: closed - Opened by linusboyle over 3 years ago

#49 - semantics fix and two lazy operators implemented

Pull Request - State: closed - Opened by linusboyle over 3 years ago

#49 - semantics fix and two lazy operators implemented

Pull Request - State: closed - Opened by linusboyle over 3 years ago

#48 - add Javascript semantics of regex

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#48 - add Javascript semantics of regex

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#48 - add Javascript semantics of regex

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#47 - [WIP] Add a Python client script

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#47 - [WIP] Add a Python client script

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#47 - [WIP] Add a Python client script

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#47 - [WIP] Add a Python client script

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#47 - [WIP] Add a Python client script

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#46 - [WIP] Use a separate Parikh Theory for handling length abstractions

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#46 - [WIP] Use a separate Parikh Theory for handling length abstractions

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#46 - [WIP] Use a separate Parikh Theory for handling length abstractions

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#46 - [WIP] Use a separate Parikh Theory for handling length abstractions

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#45 - [WIP] Scala 2.13 port

Pull Request - State: open - Opened by amandasystems almost 4 years ago

#44 - fix : inconsistent anchor semantics with js

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#44 - fix : inconsistent anchor semantics with js

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#44 - fix : inconsistent anchor semantics with js

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#44 - fix : inconsistent anchor semantics with js

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#44 - fix : inconsistent anchor semantics with js

Pull Request - State: closed - Opened by linusboyle almost 4 years ago

#43 - fix several bugs

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#43 - fix several bugs

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#43 - fix several bugs

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#43 - fix several bugs

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#42 - fix anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#42 - fix anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#42 - fix anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#42 - fix anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#41 - str.extract semantics fix

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#41 - str.extract semantics fix

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#41 - str.extract semantics fix

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#41 - str.extract semantics fix

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#40 - support of anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#40 - support of anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#40 - support of anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#40 - support of anchors

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#39 - Refutation unsoundness on QF_S formula with str.indexof, str.substr, str.len

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#38 - Refutation unsoundness on QF_S formula with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#37 - Solution unsoundness on QF_S formula with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#37 - Solution unsoundness on QF_S formula with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#36 - Refutation unsoundness on QF_S formula with str.indexof

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#36 - Refutation unsoundness on QF_S formula with str.indexof

Issue - State: closed - Opened by muchang about 4 years ago - 1 comment

#35 - Incorrect encoding of str.replacere

Issue - State: open - Opened by pruemmer about 4 years ago

#35 - Incorrect encoding of str.replacere

Issue - State: open - Opened by pruemmer about 4 years ago

#35 - Incorrect encoding of str.replacere

Issue - State: open - Opened by pruemmer about 4 years ago

#35 - Incorrect encoding of str.replacere

Issue - State: open - Opened by pruemmer about 4 years ago

#35 - Incorrect encoding of str.replacere

Issue - State: open - Opened by pruemmer about 4 years ago

#34 - QF_S refutation soundness bug with str.replace

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#34 - QF_S refutation soundness bug with str.replace

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#34 - QF_S refutation soundness bug with str.replace

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#34 - QF_S refutation soundness bug with str.replace

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#33 - QF_S solution soundness bug with str.replace_all

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#33 - QF_S solution soundness bug with str.replace_all

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#33 - QF_S solution soundness bug with str.replace_all

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#33 - QF_S solution soundness bug with str.replace_all

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#32 - QF_SLIA solution soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#32 - QF_SLIA solution soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#32 - QF_SLIA solution soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#32 - QF_SLIA solution soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#31 - QF_S solution soundness bug with str.++

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#31 - QF_S solution soundness bug with str.++

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#31 - QF_S solution soundness bug with str.++

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#31 - QF_S solution soundness bug with str.++

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#31 - QF_S solution soundness bug with str.++

Issue - State: closed - Opened by muchang about 4 years ago - 3 comments

#30 - QF_S refutation soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#30 - QF_S refutation soundness bug with str.substr

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#29 - QF_S solution soundness bug with str.at

Issue - State: closed - Opened by muchang about 4 years ago - 2 comments

#28 - bug fixes

Pull Request - State: closed - Opened by linusboyle about 4 years ago - 3 comments

#28 - bug fixes

Pull Request - State: closed - Opened by linusboyle about 4 years ago - 3 comments

#28 - bug fixes

Pull Request - State: closed - Opened by linusboyle about 4 years ago - 3 comments

#27 - support lazy operators

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#26 - Potential soundness issue of unicode string encoding

Issue - State: closed - Opened by rainoftime about 4 years ago - 1 comment

#26 - Potential soundness issue of unicode string encoding

Issue - State: closed - Opened by rainoftime about 4 years ago - 1 comment

#26 - Potential soundness issue of unicode string encoding

Issue - State: closed - Opened by rainoftime about 4 years ago - 1 comment

#26 - Potential soundness issue of unicode string encoding

Issue - State: closed - Opened by rainoftime about 4 years ago - 1 comment

#25 - performance tweak

Pull Request - State: closed - Opened by linusboyle about 4 years ago

#25 - performance tweak

Pull Request - State: closed - Opened by linusboyle about 4 years ago

GitHub / uuverifiers/ostrich issues and pull requests