xsts-cli: zip package, discussion

[AdamZsofi]

Based on the "binary" we submit at SV-COMP, I created a similar package for xsts-cli. I mainly plan to use it with Semantifyr. It is bash script only for now.

First, I would like to just manually upload this theta-xsts.zip to the latest theta release. Later, we can add it to the CI, similar to Theta.zip, add a batch script, etc..

Whichever tools used the jar so far are free to continue to do so, this is just an extra option.

Semantifyr used the docker image so far, but I need to be able to use my local Theta to debug, and it is much simpler and nicer to have a bash script (and everything packaged in one) inbetween Semantifyr and the Theta jar. I will open a PR about this in Semantifyr soon.

Please discuss, do you have anything to change/add, do you mind if I upload this zip besides the current release? @mondokm @leventeBajczi and anyone else.

Shell script

theta-start.sh.txt

( related: #332 )

Content

.
|-- CONTRIBUTORS.md
|-- GENERAL_README.md
|-- LIB_LICENSES.md
|-- LICENSE
|-- README.md
|-- cross_with.cex
|-- example
|   |-- choices.prop
|   |-- choices.xsts
|   `-- readme.txt
|-- lib
|   |-- Download-VCredist.ps1
|   |-- README.md
|   |-- com.microsoft.z3.jar
|   |-- com.microsoft.z3legacy.jar
|   |-- cvc5.jar
|   |-- hu.bme.mit.delta-0.0.1-all.jar
|   |-- javasmt.jar
|   |-- libcvc5.so.1
|   |-- libcvc5jni.so
|   |-- libcvc5parser.so
|   |-- libcvc5parser.so.1
|   |-- libmpfr.dylib
|   |-- libmpfr_java-1.0.so
|   |-- libmpfr_java-1.4.jnilib
|   |-- libpoly.so.0
|   |-- libpolyxx.so.0
|   |-- libtheta-llvm.so
|   |-- libz3.dll
|   |-- libz3.dylib
|   |-- libz3.so
|   |-- libz3java.dll
|   |-- libz3java.dylib
|   |-- libz3java.so
|   |-- libz3javalegacy.dll
|   |-- libz3javalegacy.dylib
|   |-- libz3javalegacy.so
|   |-- libz3legacy.dll
|   |-- libz3legacy.dylib
|   |-- libz3legacy.so
|   |-- mpfr64.dll
|   |-- mpfr_java-1.0-linux64.jar
|   |-- mpfr_java-1.0-windows64.jar
|   |-- mpfr_java-1.0.jar
|   |-- mpfr_java.dll
|   |-- mpir64.dll
|   `-- refinery-store-0.1.jar
|-- theta-smtlib.jar
|-- theta-start.sh
`-- theta-xsts-cli.jar

[mondokm]

Great idea, I approve

[AdamZsofi]

Uploaded manually to the v6.8.6 release - I'll use it for a while before doing anything else, but I'll leave this issue open until it is also added to CI.

[leventeBajczi]

I'll leave this issue open until it is also added to CI.

We don't (yet) have such a smart CI that it creates itself 🙂

Please create this (we have build-archive to base this on) feature, or close the issue!