Data and tools for POPL paper Location Logic for Proving Properties of Linked Lists
In this repo you can find:
- Benchmarks
- Executables
- Run scripts
To use the run scripts, some of the paths will require changing to. To run the Rapid tool, the Vampire solver must be in the location the run command is being caclled from.
Please note that all executables have been built on a Unix system and are unlikely to run as intended on Windows or MacOS.