J. Berger
J. Berger
Dear developers, I tested a small example program with Symbiotic. My command line was `./bin/symbiotic --sv-comp --prp=reach.prp example.c` with version ``` $ ./bin/symbiotic --version version: 7.0.0-dev LLVM version: 8.0.1 symbiotic...
Dear Developers, I tested an example program with Ultimate and ran into timeouts where I did not expect them. The example program is: ``` extern void __VERIFIER_error(); typedef struct {...
Dear all, we are trying to set up Zulip via Docker, but want to connect it to our existing LDAP. Is there a supported way of passing the required data...
Dear all, while trying to set up Mailman using Docker, I noticed that using Sockets + MySQL was a no-go. My setup: Host system has a massive MySQL instance that...
Dear Symbiotic team, I was running a large homogeneous benchmark set against Symbiotic and on some instances, Symbiotic would quickly answer `unknown-err` - to me it is unclear whether this...
### Basic Info * Version: 38b53e6a (the one from svcomp23) * (Optional) Java Version: 11 OpenJDK * Input file: [Req1_Prop1_Batch121dependencies.zip](https://github.com/ultimate-pa/ultimate/files/10785663/Req1_Prop1_Batch121dependencies.zip) * Settings: `./Ultimate.py --spec ../../custom-benchmarks/CodeModifications_Release/dependencies/reach.prp --file ../../custom-benchmarks/CodeModifications_Release/dependencies/Req1_Prop1_Batch121dependencies.i --full-output --architecture 32bit`...
Dear sijk, in my fork I implemented a download feature in CMake that automatically retrieves the correct headers/sources for the locally installed version of Qt5. This makes building much more...
Dear Papermerge team, I am trying to set up Papermerge with a MariaDB backend, following [this](https://docs.papermerge.io/3.2/setup/docker/). My setup has a DB instance available via socket that I usually mount via...
Dear manifold team, we are trying to use manifold within our codebase and usually compile third-party code on MSVC 2019/2022 with `/W0 /WX`, meaning disable all warnings and make every...