Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
benchmark
z3-str2 1.0.0
Feb 11, 2015
tests
update test cases
Feb 9, 2016
LICENSE
Z3-str 1.0.0 init
Dec 8, 2014
Makefile
update Makefile
Jan 15, 2016
README.md
Update README.md
Dec 21, 2017
README_OLD.md
Create README_OLD.md
Dec 21, 2017
Z3-str.py
fix: customized sort support in solution verification
Dec 7, 2016
strArgmt.cpp
z3-str2 1.0.0
Feb 11, 2015
strAstReduce.cpp
update the behavior of substr; make it consistent with the smt-lib st…
Jan 23, 2017
strMain.cpp
bug fixes; regexRange; regexPlus
Nov 23, 2015
strRegex.cpp
bug fixes; regexRange; regexPlus
Nov 23, 2015
strTheory.cpp
update the behavior of substr; make it consistent with the smt-lib st…
Jan 23, 2017
strTheory.h
bug fixes; regexRange; regexPlus
Nov 23, 2015
z3-src-4.1.1.zip
add original z3 4.1.1 src tarball
Jan 1, 2020
z3.patch
Z3-str 1.0.0 init
Dec 8, 2014