Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ 0bb94b98

# Date Author Comment
0bb94b98 01/04/2017 12:28 AM Pierre-Loïc Garoche

I can't recall where we use ocamlgraph

ec4fe7f7 01/04/2017 12:25 AM Pierre-Loïc Garoche

removed myocamlbuild.ml. Seems unused

e057dd08 12/30/2016 10:47 PM Teme Kahsai

adjusting travis

08a87104 12/30/2016 09:29 PM Teme Kahsai

Merge pull request #7 from SerkerN/master

Arrays

7ad4ff7c 12/30/2016 09:29 PM Teme Kahsai

Merge branch 'master' into master

1b57e111 12/30/2016 09:20 PM Teme Kahsai

adding sfunction support

2dd3d358 12/29/2016 07:18 AM Teme Kahsai

making library statically link to horn backend

7db425aa 12/28/2016 01:31 AM Teme Kahsai

adding missing stuff

fc476249 12/28/2016 01:00 AM Teme Kahsai

adding -I options to lustrec

822f31e1 12/08/2016 05:55 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

323c5b19 12/08/2016 05:46 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

84902260 10/12/2016 11:44 PM jbraine

Arrays

85a6f473 09/30/2016 06:41 PM Teme Kahsai

adding onera automata version

5573fee2 09/09/2016 07:29 PM Teme Kahsai

new readme

655bd8df 09/09/2016 07:25 PM Teme Kahsai

Merge pull request #1 from waffle-iron/master

waffle.io Badge

d01a6f46 09/09/2016 07:25 PM Making GitHub Delicious

add waffle.io badge

14a93ef7 06/15/2016 11:19 PM Teme Kahsai

fixing travis 2

6d7d1264 06/15/2016 10:05 PM Teme Kahsai

fixing travis 1

81f52764 06/15/2016 08:18 PM Teme Kahsai

fixing travis

3cdd2147 06/02/2016 01:45 AM Teme Kahsai

fixed assert compilation in case of stateless program

bad9b6b2 02/23/2016 10:49 PM Teme Kahsai

Updated to onera_git commit version 9421e24

a1daa793 02/23/2016 10:47 PM Teme Kahsai

Updated to onera_git commit version 9421e24

0aa82be6 01/19/2016 01:36 PM Teme Kahsai

travis 6

c95fa0fe 01/18/2016 08:52 PM Teme Kahsai

travis 4

3de1d821 01/18/2016 08:44 PM Teme Kahsai

travis 3

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

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

a1ea5749 05/05/2015 06:56 AM lememta

build status

f9707d86 05/05/2015 06:55 AM lememta

build status

e548bb75 05/05/2015 06:46 AM lememta

smaller amount of compilers

90a93c65 05/05/2015 06:41 AM lememta

added travis sh 2

d230454a 05/05/2015 06:38 AM lememta

added travis sh

f7f851cf 05/05/2015 06:30 AM lememta

more travis

36a05029 05/05/2015 06:21 AM lememta

travis

63b3db9c 05/05/2015 02:04 AM Teme Kahsai

added travis

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

dd3965eb 05/05/2015 01:44 AM Teme Kahsai

Initial commit