https://github.com/gapt/gapt
History
Tip revision: 3649a748af0880298a54a812ce438782fba0e0f3 authored by ermine516 on 23 March 2021, 16:08:22 UTC
Working PLCOP prover integration
Tip revision: 3649a74
File Mode Size
cli
core
doc
examples
project
testing
tests
.codecov.yml -rw-r--r-- 152 bytes
.gitignore -rw-r--r-- 823 bytes
.sbtopts -rw-r--r-- 10 bytes
.travis.yml -rw-r--r-- 499 bytes
COPYING -rw-r--r-- 34.3 KB
RELEASE-NOTES.md -rw-r--r-- 5.5 KB
build.sbt -rw-r--r-- 10.4 KB
bump-version.sh -rwxr-xr-x 1.8 KB
escargot.sh -rwxr-xr-x 116 bytes
gapt.sh -rwxr-xr-x 494 bytes
include.sh -rw-r--r-- 727 bytes
viper.sh -rwxr-xr-x 110 bytes

back to top