https://github.com/gapt/gapt
History
Tip revision: d4c76add9ba1b33b4fe14f2a621d52c84be532b0 authored by Gabriel Ebner on 03 April 2017, 06:59:44 UTC
Release 2.6.
Tip revision: d4c76ad
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.9 KB
build.sbt -rw-r--r-- 9.8 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