Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 868650b1

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

Latest revisions

# Date Author Comment
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

9cb34634 10/09/2015 07:19 PM Teme Kahsai

revereted to previous commit

9da827cb 10/08/2015 12:41 AM Teme Kahsai

adjusted the makefile

View all revisions | View revisions

Also available in: Atom