https://github.com/gapt/gapt
History
Tip revision: 2bd8f40dc94e774d33613e52d7a48dc1e02e656f authored by Jannik Vierling on 19 July 2022, 11:56:45 UTC
reduce timeout for veriT test cases
Tip revision: 2bd8f40
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
Jenkinsfile -rw-r--r-- 2.7 KB
README.md -rw-r--r-- 2.8 KB
RELEASE-NOTES.md -rw-r--r-- 5.9 KB
build.sbt -rw-r--r-- 11.0 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-- 725 bytes
slakje.sh -rwxr-xr-x 112 bytes
viper.sh -rwxr-xr-x 110 bytes

README.md

back to top