Activity
From 04/06/2015 to 05/05/2015
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... - 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
- 09:59 PM Revision 390e3ec0 (lustrec): fixed bug in travis
- 09:38 PM Revision e41592cf (lustrec): Bug fixed (454), more on travis
- 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
- 07:30 PM Revision ad6b7375 (lustrec): small logging change
- 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
- 03:47 PM Revision 7a442071 (lustrec): Bug fixed for horn traces option with stateful asserts
- 06:56 AM Revision a1ea5749 (lustrec): build status
- 06:55 AM Revision f9707d86 (lustrec): build status
- 06:46 AM Revision e548bb75 (lustrec): smaller amount of compilers
- 06:41 AM Revision 90a93c65 (lustrec): added travis sh 2
- 06:38 AM Revision d230454a (lustrec): added travis sh
- 06:30 AM Revision f7f851cf (lustrec): more travis
- 06:21 AM Revision 36a05029 (lustrec): travis
- 02:04 AM Revision 63b3db9c (lustrec): added travis
- 01:54 AM Revision e2068500 (lustrec): first commit
- 01:44 AM Revision dd3965eb (lustrec): Initial commit
- 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
- 01:29 AM Revision 5fe9fe22 (lustrec): changed name from -horn-queries to -horn-query
- 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
- 01:17 AM Revision 9c4624e4 (lustrec): do not use lusi for horn, and some logging for horn
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
- 08:13 AM Revision b3b0dd56 (lustrec): corrected a small bug when -horn option was active
04/13/2015
- 10:08 AM Revision e3a4e911 (lustrec): some optimization in code optimization !!
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@449 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 10:08 AM Revision e24b2e9b (lustrec): some optimization in code optimization !!
04/09/2015
- 10:57 PM Revision e39f5319 (lustrec): corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@448 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 10:57 PM Revision 5f31b494 (lustrec): corrected a bug when activating optimization (-O 3) (edge missing in a dep graph)
- 01:24 PM Revision 6a93d814 (lustrec): added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.
04/08/2015
- 11:04 PM Revision 7bfb18df (lustrec): updated version of README.lustrec about how to install lustrec and how to compile.
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@446 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:04 PM Revision 3a958c40 (lustrec): updated version of README.lustrec about how to install lustrec and how to compile.
- 11:01 PM Revision 14c56a07 (lustrec): some tiny mistakes corrected...
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@445 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:01 PM Revision 4f4a77a4 (lustrec): some tiny mistakes corrected...
- 10:43 PM Revision a28d1ba7 (lustrec): some cosmetic changes in error messages when loading libraries
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@444 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 10:43 PM Revision b3543e39 (lustrec): some cosmetic changes in error messages when loading libraries
- 10:03 PM Revision ec433d69 (lustrec): Major revision due to severe limitations and bugs of inlining capabilities:
- - destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when... - 10:03 PM Revision 01d48bb0 (lustrec): Major revision due to severe limitations and bugs of inlining capabilities:
- - destination dir should now work properly
- lusic files now have a version number, to avoid nasty segfaults
when... - 04:01 PM Revision 3cb2f745 (lustrec): Cleaning lusic when installing
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@442 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 04:01 PM Revision 8958262e (lustrec): Cleaning lusic when installing
- 03:54 PM Revision 7df1a309 (lustrec): horn queries back
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@441 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 03:54 PM Revision f8b3de19 (lustrec): horn queries back
- 09:08 AM Revision 1da8b334 (lustrec): Add teme
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@440 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 09:08 AM Revision 330b42e3 (lustrec): Add teme
- 08:53 AM Revision 302eeebe (lustrec): Post Xia dev
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@439 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 08:53 AM Revision 00b2c9f8 (lustrec): Post Xia dev
- 08:50 AM Revision 2bd3b8cd (lustrec): Prepare for tagging : Xia version 1.0
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@437 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 08:50 AM Revision ba2f9fa1 (lustrec): Prepare for tagging : Xia version 1.0
Also available in: Atom