https://github.com/gapt/gapt
Tip revision: a49e0e0b188641a7009414ddd52211994c621219 authored by Gabriel Ebner on 22 February 2017, 14:16:51 UTC
Release 2.5.
Release 2.5.
Tip revision: a49e0e0
File | Mode | Size |
---|---|---|
ceres_unary_eq | ||
cli | ||
core | ||
doc | ||
examples | ||
project | ||
protocols | ||
testing | ||
tests | ||
.codecov.yml | -rw-r--r-- | 13 bytes |
.gitignore | -rw-r--r-- | 1002 bytes |
.sbtopts | -rw-r--r-- | 10 bytes |
.travis.yml | -rw-r--r-- | 216 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 2.7 KB |
RELEASE-NOTES.md | -rw-r--r-- | 2.6 KB |
build.sbt | -rw-r--r-- | 10.3 KB |
escargot.sh | -rwxr-xr-x | 125 bytes |
gapt.sh | -rwxr-xr-x | 428 bytes |
include.sh | -rw-r--r-- | 715 bytes |
viper.sh | -rwxr-xr-x | 119 bytes |