Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 70a6ee5a

Name Size Revision Age Author Comment
  autom4te.cache 9da827cb over 5 years Teme Kahsai adjusted the makefile
  bin 89bc26df over 5 years Teme Kahsai remove duplication
  doc e2068500 about 6 years Teme Kahsai first commit
  include e2068500 about 6 years Teme Kahsai first commit
  regression_tests e41592cf about 6 years Teme Kahsai Bug fixed (454), more on travis
  share e2068500 about 6 years Teme Kahsai first commit
  src 89bc26df over 5 years Teme Kahsai remove duplication
  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 70a6ee5a over 5 years Teme Kahsai travis
AUTHORS 172 Bytes 8ccdfbe8 over 5 years Teme Kahsai add authors
LICENSE-LGPL.txt 25.8 KB e2068500 about 6 years Teme Kahsai first commit
Makefile.in 1.47 KB 9da827cb over 5 years Teme Kahsai adjusted the makefile
README.md 404 Bytes a1ea5749 about 6 years lememta build status
TODO.org 1.13 KB e2068500 about 6 years Teme Kahsai first commit
configure.ac 3.21 KB e2068500 about 6 years Teme Kahsai first commit
lustrec.odocl 623 Bytes e2068500 about 6 years Teme Kahsai first commit
setup.ml 153 KB e2068500 about 6 years Teme Kahsai first commit
svnignore 103 Bytes e2068500 about 6 years Teme Kahsai first commit

Latest revisions

# Date Author Comment
70a6ee5a 01/18/2016 08:08 PM 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

d50b0dc0 10/07/2015 07:22 PM Teme Kahsai

sync

8ccdfbe8 09/15/2015 05:21 PM Teme Kahsai

add authors

a9b02b02 05/06/2015 12:11 AM Teme Kahsai

return value

390e3ec0 05/05/2015 09:59 PM Teme Kahsai

fixed bug in travis

e41592cf 05/05/2015 09:38 PM Teme Kahsai

Bug fixed (454), more on travis

View all revisions | View revisions

Also available in: Atom