Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 9c68a71d

Name Size Revision Age Author Comment
  autom4te.cache 868650b1 over 5 years Teme Kahsai travis
  doc e2068500 over 6 years Teme Kahsai first commit
  include e2068500 over 6 years Teme Kahsai first commit
  share e2068500 over 6 years Teme Kahsai first commit
  src 868650b1 over 5 years Teme Kahsai travis
  test a9b02b02 about 6 years Teme Kahsai return value
.ocaml-config.sh 335 Bytes e548bb75 about 6 years lememta smaller amount of compilers
.travis.yml 1.14 KB 9c68a71d over 5 years Teme Kahsai travis 2
AUTHORS 172 Bytes 8ccdfbe8 almost 6 years Teme Kahsai add authors
LICENSE-LGPL.txt 25.8 KB e2068500 over 6 years Teme Kahsai first commit
Makefile.in 1.47 KB 9da827cb almost 6 years Teme Kahsai adjusted the makefile
README.md 408 Bytes 7ec8e203 over 5 years Teme Kahsai travis
TODO.org 1.13 KB e2068500 over 6 years Teme Kahsai first commit
configure.ac 3.21 KB e2068500 over 6 years Teme Kahsai first commit
lustrec.odocl 623 Bytes e2068500 over 6 years Teme Kahsai first commit
setup.ml 153 KB e2068500 over 6 years Teme Kahsai first commit
svnignore 103 Bytes e2068500 over 6 years Teme Kahsai first commit

Latest revisions

# Date Author Comment
9c68a71d 01/18/2016 08:34 PM Teme Kahsai

travis 2

01ba35c3 01/18/2016 08:25 PM Teme Kahsai

travis

868650b1 01/18/2016 08:19 PM Teme Kahsai

travis

2b360f46 01/18/2016 08:11 PM Teme Kahsai

Merge branch 'master' of https://github.com/coco-team/lustrec

90b53926 01/18/2016 08:11 PM Teme Kahsai

travis

70a6ee5a 01/18/2016 08:08 PM Teme Kahsai

travis

e599394b 12/16/2015 09:45 PM Teme Kahsai

cleaned up bin

7ec8e203 12/09/2015 12:40 AM Teme Kahsai

travis

89bc26df 11/16/2015 05:23 PM Teme Kahsai

remove duplication

4347ae0c 10/13/2015 10:29 PM Teme Kahsai

changes to horn

View all revisions | View revisions

Also available in: Atom