|
Failed to load latest commit information. |
|
Examples
|
Section 3.5 1
|
Jul 6, 2017
|
|
|
lib
|
Removed .DS_Store files and added them to .gitignore
|
Dec 14, 2017
|
|
|
src/Language
|
Impot libs.
|
Mar 2, 2012
|
|
|
.gitignore
|
Removed .DS_Store files and added them to .gitignore
|
Dec 14, 2017
|
|
|
.gitmodules
|
build: remove sbv and smtlib2 as submodules.
|
Oct 23, 2015
|
|
|
.travis.yml
|
bumping version nums
|
Jun 27, 2017
|
|
|
LICENSE
|
All the necessary Copilot files.
|
Sep 19, 2010
|
|
|
Makefile
|
Right now there have been updates to dependencies (SBV and smtlib2)
|
Jun 12, 2017
|
|
|
README.md
|
Fix urls, default makefile target.
|
Sep 14, 2015
|
|
|
Setup.hs
|
Make an executable and give a notice after compiling.
|
Nov 3, 2011
|
|
|
copilot.cabal
|
bumping version nums
|
Jun 27, 2017
|
|
|
tutorial.log
|
Section 3.5 1
|
Jul 6, 2017
|