diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-24 16:07:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-24 10:07:15 -0500 |
commit | 31bba4ba83354f41c756e9800489672ff1c9711c (patch) | |
tree | a9a7d07d93b6e80d4b6c9e273b3f3c1ebdb2d4c6 /contrib/theoryskel | |
parent | 34798fb86eabe7b9aaff86be23a7a3428ebfc957 (diff) |
Refactor our integration of LFSC (#6201)
This PR further decouples LFSC from the remaining build system, but makes it more convenient to use at the same time.
The contrib/get-lfsc-checker script is now completely standalone and installs LFSC and the necessary signatures to deps/, as well as wrapper scripts to conveniently run lfscc from there and directly check cvc4 proofs.
The goal would be to automatically use LFSC in our regressions as well.
Diffstat (limited to 'contrib/theoryskel')
0 files changed, 0 insertions, 0 deletions