https://github.com/gapt/gapt
History
Tip revision: 6c4f536176b52ea91c7bff46dc4a614697780c35 authored by Gabriel Ebner on 29 June 2016, 10:40:40 UTC
cli: add nanocop import
Tip revision: 6c4f536
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-- 724 bytes
viper.sh -rwxr-xr-x 119 bytes

README.md

back to top