https://github.com/gapt/gapt
History
Tip revision: 16be540bbf5516cd9a13ece2faea216ded2e0cb0 authored by Gabriel Ebner on 10 October 2016, 20:02:02 UTC
Release 2.3
Tip revision: 16be540
File Mode Size
ceres_unary_eq
cli
core
doc
examples
project
protocols
testing
tests
.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.5 KB
RELEASE-NOTES.md -rw-r--r-- 2.1 KB
build.sbt -rw-r--r-- 10.5 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