Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

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

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