CristalCaveGem » LustreC

05/13/2015

01:10 PM Revision 1d906976 (lustrec): Merge r458 fix into trunk

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@459 041b043f-8d7c-46b2-b46e-ef0dd855326e Eric Noulard

01:10 PM Revision 1b31ffde (lustrec): Merge r458 fix into trunk

Eric Noulard

05/06/2015

12:11 AM Revision a9b02b02 (lustrec): return value

Teme Kahsai

05/05/2015

10:43 PM Revision 690196d8 (lustrec): - corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)

- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently
git-svn-id: htt... Xavier Thirioux

10:43 PM Revision e275249d (lustrec): - corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)

- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently Xavier Thirioux

09:59 PM Revision 390e3ec0 (lustrec): fixed bug in travis

Teme Kahsai

09:38 PM Revision e41592cf (lustrec): Bug fixed (454), more on travis

Teme Kahsai

07:30 PM Revision cdf01754 (lustrec): small logging change

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@455 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai

07:30 PM Revision ad6b7375 (lustrec): small logging change

Teme Kahsai

03:47 PM Revision b98a4a58 (lustrec): Bug fixed for horn traces option with stateful asserts

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@454 041b043f-8d7c-46b2-b46e-ef0dd855326e Pierre-Loïc Garoche

03:47 PM Revision 7a442071 (lustrec): Bug fixed for horn traces option with stateful asserts

Pierre-Loïc Garoche

06:56 AM Revision a1ea5749 (lustrec): build status

lememta

06:55 AM Revision f9707d86 (lustrec): build status

lememta

06:46 AM Revision e548bb75 (lustrec): smaller amount of compilers

lememta

06:41 AM Revision 90a93c65 (lustrec): added travis sh 2

lememta

06:38 AM Revision d230454a (lustrec): added travis sh

lememta

06:30 AM Revision f7f851cf (lustrec): more travis

lememta

06:21 AM Revision 36a05029 (lustrec): travis

lememta

02:04 AM Revision 63b3db9c (lustrec): added travis

Teme Kahsai

01:54 AM Revision e2068500 (lustrec): first commit

Teme Kahsai

01:44 AM Revision dd3965eb (lustrec): Initial commit

Teme Kahsai

01:29 AM Revision 2c083577 (lustrec): changed name from -horn-queries to -horn-query

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@452 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai

01:29 AM Revision 5fe9fe22 (lustrec): changed name from -horn-queries to -horn-query

Teme Kahsai

01:17 AM Revision 8deaa2dd (lustrec): do not use lusi for horn, and some logging for horn

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@451 041b043f-8d7c-46b2-b46e-ef0dd855326e Teme Kahsai

01:17 AM Revision 9c4624e4 (lustrec): do not use lusi for horn, and some logging for horn

Teme Kahsai

05/04/2015

08:13 AM Revision c287ba28 (lustrec): corrected a small bug when -horn option was active

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@450 041b043f-8d7c-46b2-b46e-ef0dd855326e Xavier Thirioux

08:13 AM Revision b3b0dd56 (lustrec): corrected a small bug when -horn option was active

Xavier Thirioux