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
- 11:11 AM LustreC Revision 265f2eca (lustrec): Making labels optional for sequential statements
12/11/2018
- 02:39 PM Lustrec-Tests Revision 78957d3d (lustrec-tests): Major update of vhdl tests
12/10/2018
- 03:25 PM Lustrec-Tests Revision 90da642a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 03:24 PM Lustrec-Tests Revision d93979b7 (lustrec-tests): Update of vhdl samples files
- 03:11 PM Lustrec-Tests Revision 0f87afc0 (lustrec-tests): Samples cleaning
12/07/2018
- 05:50 PM LustreC Revision 5360dcf8 (lustrec): Beggining of implicit latching check
- 11:08 AM LustreC Revision aeec0f04 (lustrec): Updated expression folding visitor using visitors ppx
12/06/2018
- 12:42 PM LustreC Revision f9667424 (lustrec): Experiences on new checks using visitors
- 12:41 PM LustreC Revision e050e30c (lustrec): Removed generated yojson parser, now relies on pre-processed version
- 12:41 PM LustreC Revision 1e0f3191 (lustrec): Update of types fields names
- 12:40 PM LustreC Revision 20d354f4 (lustrec): Update of types fields names
- 12:39 PM LustreC Revision 95076858 (lustrec): Merged separated types as one type for VHDL and MiniVHDL asts
- 12:36 PM LustreC Revision c3bd7dcc (lustrec): Package dependencies cleaning for lustrei and added visitors ppx
- 12:35 PM LustreC Revision 4857c483 (lustrec): Typo in readme
12/04/2018
- 09:40 PM Lustrec-Tests Revision 4748b215 (lustrec-tests): add more simulink tests
11/28/2018
- 04:51 PM LustreC Revision 029fd57f (lustrec): updated repository branch definition in opam config
- 04:50 PM LustreC Revision 782ba91a (lustrec): Unix package use dependency cleaning in tags
- 04:50 PM LustreC Revision fb5326a7 (lustrec): Cleaned code to prevent unused variables warnings
11/27/2018
- 01:27 PM LustreC Revision 8271d94a (lustrec): Added unix package dependency in tags
11/26/2018
- 03:35 PM LustreC Revision fa7c7e0a (lustrec): Merge branch 'unstable' into vhdl
- 03:32 PM LustreC Revision 3b1065d3 (lustrec): Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into vhdl
- 03:28 PM LustreC Revision b6efcf3a (lustrec): Merge remote-tracking branch 'origin/unstable' into vhdl
11/23/2018
- 12:16 AM LustreC Revision 5de4dde4 (lustrec): Major refreshing of machine generation
- 03:32 AM LustreC Revision 59020713 (lustrec): Some progress on EMF bqckend. Refactoring machines code
11/21/2018
- 12:16 AM LustreC Revision e8250987 (lustrec): Unevaluation of types and clocks dimension has been already performe...
- 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
- 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....
- 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... - 05:58 AM LustreC Revision 19a1e66b (lustrec): Added include directive that directly inject a lustre source file in...
- 03:44 AM Lustrec-Tests Revision b03d5034 (lustrec-tests): add include test
- 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...
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.
- 11:20 PM LustreC Revision a4158a4b (lustrec): Added back the gitbranch option ins configure.ac. Was wrongly remove...
- 11:20 PM LustreC Revision 32bafa6f (lustrec): Some thoughts about lusic
- 07:02 PM LustreC Revision 7f2309bc (lustrec): Merge branch 'unstable' into lustrec-seal
- 04:48 PM LustreC Revision 222db658 (lustrec): New url in opam file
11/17/2018
- 07:29 AM LustreC Revision a01cb3a9 (lustrec): New archive for 1.6
- 07:18 AM LustreC Revision 95b507a8 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 07:17 AM LustreC Revision a7ce880f (lustrec): Initiating nwew version 1.7 Xia/Huai
- 06:46 AM LustreC Revision 531c07e4 (lustrec): Cleaning git references for release
- 06:37 AM LustreC Revision efe57954 (lustrec): Recording the opam file
- 06:30 AM LustreC Revision 690eb3a5 (lustrec): Preparing release 1.6 Xia/Zhui
- 06:26 AM LustreC Revision b2b2ac74 (lustrec): Merge branch 'master' into unstable
- 06:07 AM LustreC Revision fb716d2c (lustrec): Some autoconf update
- 05:32 AM LustreC Revision ef776f2f (lustrec): Vhdl export is temporarily disabled
- 05:31 AM LustreC Revision a0721293 (lustrec): program type is now program_t
- 04:54 AM LustreC Revision 92c6cca7 (lustrec): Merge branch 'lustrec-seal' into vhdl
- 02:04 AM LustreC Revision b59fa954 (lustrec): Merge branch 'unstable' into vhdl
- 01:56 AM LustreC Revision e491c34a (lustrec): Issues with linking Z3 on OSX
11/16/2018
- 11:31 PM LustreC Revision 51106b7e (lustrec): Fixing issues with changes in machine code
- 11:30 PM LustreC Revision 59803095 (lustrec): Merge branch 'unstable' into lustrec-seal
- 09:53 PM Lustrec-Tests Revision 6f6af7b8 (lustrec-tests): update zustre reference
- 07:56 PM LustreC Revision 673bf87c (lustrec): Num module for mli
- 07:54 PM LustreC Revision ce0f282d (lustrec): Num is a package in recent ocaml
- 07:19 AM LustreC Revision 1a05d45a (lustrec): Cleaning warning in mpfr
- 06:42 AM LustreC Revision 3ea2599d (lustrec): No more uses of kind files
- 04:18 AM LustreC Revision d948c0bd (lustrec): math fun lib support in MPFR
- 04:18 AM LustreC Revision ae7d913d (lustrec): Merlin files
- 04:13 AM Lustrec-Tests Revision 16400d02 (lustrec-tests): Updated ref output
- 02:46 AM LustreC Revision 45d53dc3 (lustrec): EMF export of local type definition (for simple types)
11/15/2018
- 12:54 AM Lustrec-Tests Revision 58eac50a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 12:49 AM Lustrec-Tests Revision c34a50ff (lustrec-tests): Better naming
- 12:46 AM LustreC Revision 4c3c6658 (lustrec): mutation bug solved: improper access to an element of an empty list ...
- 12:44 AM LustreC Revision a879351b (lustrec): Printers bug solved: now properly printing lustre file as open/types...
- 08:49 PM Lustrec-Tests Revision 8451150a (lustrec-tests): add output references
- 08:23 PM LustreC Revision 5c3b45a0 (lustrec): Lustre test gen mutation: bug solved. The path to the installation w...
- 08:22 PM LustreC Revision c95a441d (lustrec): Bug solved in MCDC generation: Some annotations generated were produ...
- 08:21 PM LustreC Revision bc3139b0 (lustrec): Print the spec within the node
- 07:40 PM Lustrec-Tests Revision 9b45f3df (lustrec-tests): renamed mode as mode_ to avoid collision with the mode keyword...
- 07:33 AM Lustrec-Tests Revision f4893943 (lustrec-tests): Script now compare the output with ones compiled with the same...
- 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... - 03:16 AM LustreC Revision 05ca2715 (lustrec): Moved back mpfr to its folder. Previsouly there was two competing fi...
11/14/2018
- 06:40 PM Lustrec-Tests Revision b5c4cae5 (lustrec-tests): Moved to cocospec contract
- 06:39 PM Lustrec-Tests Revision 94da9360 (lustrec-tests): Restructured mpfr folder tests to rely on highlevel strategies
- 06:37 PM Lustrec-Tests Revision ff8f35e0 (lustrec-tests): Improved the diff tests: a new option allow to use the java te...
- 06:35 PM Lustrec-Tests Revision 72e9ca2d (lustrec-tests): Renamed math in lustrec_math
- 06:13 PM LustreC Revision 307c32f5 (lustrec): MPFR bug solved: typing of function argument was not properly buildi...
Also available in: Atom