https://github.com/gapt/gapt
History
Tip revision: b94b0fd7a00f190a2c87ab0f262ec1008db1fbad authored by Gabriel Ebner on 09 July 2016, 05:49:39 UTC
Release 2.2
Tip revision: b94b0fd
File Mode Size
ceres_unary_eq
cli
core
doc
examples
project
protocols
testing
tests
.gitignore -rw-r--r-- 699 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.5 KB
RELEASE-NOTES.md -rw-r--r-- 1.5 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