General

Profile

Activity

From 11/14/2018 to 12/13/2018

12/12/2018

11:28 AM Lustrec-Tests Revision a0f656ac (lustrec-tests): Added JSON files for valencia VHDL tests
Arnaud Dieumegard
11:11 AM LustreC Revision 265f2eca (lustrec): Making labels optional for sequential statements
Arnaud Dieumegard

12/11/2018

02:39 PM Lustrec-Tests Revision 78957d3d (lustrec-tests): Major update of vhdl tests
Arnaud Dieumegard

12/10/2018

03:25 PM Lustrec-Tests Revision 90da642a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Arnaud Dieumegard
03:24 PM Lustrec-Tests Revision d93979b7 (lustrec-tests): Update of vhdl samples files
Arnaud Dieumegard
03:11 PM Lustrec-Tests Revision 0f87afc0 (lustrec-tests): Samples cleaning
Arnaud Dieumegard

12/07/2018

05:50 PM LustreC Revision 5360dcf8 (lustrec): Beggining of implicit latching check
Arnaud Dieumegard
11:08 AM LustreC Revision aeec0f04 (lustrec): Updated expression folding visitor using visitors ppx
Arnaud Dieumegard

12/06/2018

12:42 PM LustreC Revision f9667424 (lustrec): Experiences on new checks using visitors
Arnaud Dieumegard
12:41 PM LustreC Revision e050e30c (lustrec): Removed generated yojson parser, now relies on pre-processed version
Arnaud Dieumegard
12:41 PM LustreC Revision 1e0f3191 (lustrec): Update of types fields names
Arnaud Dieumegard
12:40 PM LustreC Revision 20d354f4 (lustrec): Update of types fields names
Arnaud Dieumegard
12:39 PM LustreC Revision 95076858 (lustrec): Merged separated types as one type for VHDL and MiniVHDL asts
Arnaud Dieumegard
12:36 PM LustreC Revision c3bd7dcc (lustrec): Package dependencies cleaning for lustrei and added visitors ppx
Arnaud Dieumegard
12:35 PM LustreC Revision 4857c483 (lustrec): Typo in readme
Arnaud Dieumegard

12/04/2018

09:40 PM Lustrec-Tests Revision 4748b215 (lustrec-tests): add more simulink tests
hbourbou

11/28/2018

04:51 PM LustreC Revision 029fd57f (lustrec): updated repository branch definition in opam config
Arnaud Dieumegard
04:50 PM LustreC Revision 782ba91a (lustrec): Unix package use dependency cleaning in tags
Arnaud Dieumegard
04:50 PM LustreC Revision fb5326a7 (lustrec): Cleaned code to prevent unused variables warnings
Arnaud Dieumegard

11/27/2018

01:27 PM LustreC Revision 8271d94a (lustrec): Added unix package dependency in tags
Arnaud Dieumegard

11/26/2018

03:35 PM LustreC Revision fa7c7e0a (lustrec): Merge branch 'unstable' into vhdl
Arnaud Dieumegard
03:32 PM LustreC Revision 3b1065d3 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into vhdl
Arnaud Dieumegard
03:28 PM LustreC Revision b6efcf3a (lustrec): Merge remote-tracking branch 'origin/unstable' into vhdl
Arnaud Dieumegard

11/23/2018

12:16 AM LustreC Revision 5de4dde4 (lustrec): Major refreshing of machine generation
Pierre-Loïc Garoche
03:32 AM LustreC Revision 59020713 (lustrec): Some progress on EMF bqckend. Refactoring machines code
Pierre-Loïc Garoche

11/21/2018

12:16 AM LustreC Revision e8250987 (lustrec): Unevaluation of types and clocks dimension has been already performe...
Pierre-Loïc Garoche
11:53 PM LustreC Revision 95944ba1 (lustrec): Cleaning up stuff in normalization. Mainly replace arguments with on...
node_Table hashtbl is now only available through functions of the corelang.mli Pierre-Loïc Garoche
09:19 PM LustreC Revision 684d39e7 (lustrec): Moved lusic to .h printer after normalizing in case we want one day ...
Trying also to extend the parser to deal with imported nodes.... Pierre-Loïc Garoche
08:15 PM LustreC Revision 217837e2 (lustrec): Unified compilation of lusi and lus files
Different parsers yet but shared process.
In case of lusi input the C backend is bypassed since the .h is generated f...
Pierre-Loïc Garoche
05:58 AM LustreC Revision 19a1e66b (lustrec): Added include directive that directly inject a lustre source file in...
Pierre-Loïc Garoche
03:44 AM Lustrec-Tests Revision b03d5034 (lustrec-tests): add include test
hbourbou
03:23 AM LustreC Revision 5fccce23 (lustrec): - Dep type with a tuple has been replaced by a record type
- Modules now is more integrated and performed the building of the type/clock env.
previously some computation were...
Pierre-Loïc Garoche

11/20/2018

11:21 PM LustreC Revision f9f06e7d (lustrec): - Module.load_header and load_program were merged.
- Contract were extended with list of statements. Pierre-Loïc Garoche
11:20 PM LustreC Revision a4158a4b (lustrec): Added back the gitbranch option ins configure.ac. Was wrongly remove...
Pierre-Loïc Garoche
11:20 PM LustreC Revision 32bafa6f (lustrec): Some thoughts about lusic
Pierre-Loïc Garoche
07:02 PM LustreC Revision 7f2309bc (lustrec): Merge branch 'unstable' into lustrec-seal
Pierre-Loïc Garoche
04:48 PM LustreC Revision 222db658 (lustrec): New url in opam file
Pierre-Loïc Garoche

11/17/2018

07:29 AM LustreC Revision a01cb3a9 (lustrec): New archive for 1.6
Pierre-Loïc Garoche
07:18 AM LustreC Revision 95b507a8 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
07:17 AM LustreC Revision a7ce880f (lustrec): Initiating nwew version 1.7 Xia/Huai
Pierre-Loïc Garoche
07:13 AM LustreC lustrec-1.6-Xia-Zhu-src.tgz
Pierre-Loïc Garoche
06:46 AM LustreC Revision 531c07e4 (lustrec): Cleaning git references for release
Pierre-Loïc Garoche
06:37 AM LustreC Revision efe57954 (lustrec): Recording the opam file
Pierre-Loïc Garoche
06:30 AM LustreC Revision 690eb3a5 (lustrec): Preparing release 1.6 Xia/Zhui
Pierre-Loïc Garoche
06:26 AM LustreC Revision b2b2ac74 (lustrec): Merge branch 'master' into unstable
Pierre-Loïc Garoche
06:07 AM LustreC Revision fb716d2c (lustrec): Some autoconf update
Pierre-Loïc Garoche
05:32 AM LustreC Revision ef776f2f (lustrec): Vhdl export is temporarily disabled
Pierre-Loïc Garoche
05:31 AM LustreC Revision a0721293 (lustrec): program type is now program_t
Pierre-Loïc Garoche
04:54 AM LustreC Revision 92c6cca7 (lustrec): Merge branch 'lustrec-seal' into vhdl
Pierre-Loïc Garoche
02:04 AM LustreC Revision b59fa954 (lustrec): Merge branch 'unstable' into vhdl
Pierre-Loïc Garoche
01:56 AM LustreC Revision e491c34a (lustrec): Issues with linking Z3 on OSX
Pierre-Loïc Garoche

11/16/2018

11:31 PM LustreC Revision 51106b7e (lustrec): Fixing issues with changes in machine code
Pierre-Loïc Garoche
11:30 PM LustreC Revision 59803095 (lustrec): Merge branch 'unstable' into lustrec-seal
Pierre-Loïc Garoche
09:53 PM Lustrec-Tests Revision 6f6af7b8 (lustrec-tests): update zustre reference
hbourbou
07:56 PM LustreC Revision 673bf87c (lustrec): Num module for mli
Pierre-Loïc Garoche
07:54 PM LustreC Revision ce0f282d (lustrec): Num is a package in recent ocaml
Pierre-Loïc Garoche
07:19 AM LustreC Revision 1a05d45a (lustrec): Cleaning warning in mpfr
Pierre-Loïc Garoche
06:42 AM LustreC Revision 3ea2599d (lustrec): No more uses of kind files
Pierre-Loïc Garoche
04:18 AM LustreC Revision d948c0bd (lustrec): math fun lib support in MPFR
Pierre-Loïc Garoche
04:18 AM LustreC Revision ae7d913d (lustrec): Merlin files
Pierre-Loïc Garoche
04:13 AM Lustrec-Tests Revision 16400d02 (lustrec-tests): Updated ref output
Pierre-Loïc Garoche
02:46 AM LustreC Revision 45d53dc3 (lustrec): EMF export of local type definition (for simple types)
Pierre-Loïc Garoche

11/15/2018

12:54 AM Lustrec-Tests Revision 58eac50a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
12:49 AM Lustrec-Tests Revision c34a50ff (lustrec-tests): Better naming
Pierre-Loïc Garoche
12:46 AM LustreC Revision 4c3c6658 (lustrec): mutation bug solved: improper access to an element of an empty list ...
Pierre-Loïc Garoche
12:44 AM LustreC Revision a879351b (lustrec): Printers bug solved: now properly printing lustre file as open/types...
Pierre-Loïc Garoche
08:49 PM Lustrec-Tests Revision 8451150a (lustrec-tests): add output references
hbourbou
08:23 PM LustreC Revision 5c3b45a0 (lustrec): Lustre test gen mutation: bug solved. The path to the installation w...
Pierre-Loïc Garoche
08:22 PM LustreC Revision c95a441d (lustrec): Bug solved in MCDC generation: Some annotations generated were produ...
Pierre-Loïc Garoche
08:21 PM LustreC Revision bc3139b0 (lustrec): Print the spec within the node
Pierre-Loïc Garoche
07:40 PM Lustrec-Tests Revision 9b45f3df (lustrec-tests): renamed mode as mode_ to avoid collision with the mode keyword...
Pierre-Loïc Garoche
07:33 AM Lustrec-Tests Revision f4893943 (lustrec-tests): Script now compare the output with ones compiled with the same...
Pierre-Loïc Garoche
03:18 AM LustreC Revision c35de73b (lustrec): Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when buil...
Pierre-Loïc Garoche
03:16 AM LustreC Revision 05ca2715 (lustrec): Moved back mpfr to its folder. Previsouly there was two competing fi...
Pierre-Loïc Garoche

11/14/2018

06:40 PM Lustrec-Tests Revision b5c4cae5 (lustrec-tests): Moved to cocospec contract
Pierre-Loïc Garoche
06:39 PM Lustrec-Tests Revision 94da9360 (lustrec-tests): Restructured mpfr folder tests to rely on highlevel strategies
Pierre-Loïc Garoche
06:37 PM Lustrec-Tests Revision ff8f35e0 (lustrec-tests): Improved the diff tests: a new option allow to use the java te...
Pierre-Loïc Garoche
06:35 PM Lustrec-Tests Revision 72e9ca2d (lustrec-tests): Renamed math in lustrec_math
Pierre-Loïc Garoche
06:13 PM LustreC Revision 307c32f5 (lustrec): MPFR bug solved: typing of function argument was not properly buildi...
Pierre-Loïc Garoche
 

Also available in: Atom