https://github.com/gapt/gapt
History
Tip revision: a49e0e0b188641a7009414ddd52211994c621219 authored by Gabriel Ebner on 22 February 2017, 14:16:51 UTC
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

README.md

back to top