General

Profile

Pierre-Loïc Garoche's activity

From 10/25/2018 to 11/23/2018

11/23/2018

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: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
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: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

11/13/2018

04:16 PM LustreC Revision 6de6bcf4 (lustrec): Improved configure.ac
Pierre-Loïc Garoche
04:15 PM Lustrec-Tests Revision 5a55fdd1 (lustrec-tests): Improved ctest configuration
Pierre-Loïc Garoche
02:01 AM LustreC Revision 0d54d8a8 (lustrec): Removed Contract contruct: imported node should be enough. Solved so...
Pierre-Loïc Garoche

11/12/2018

11:43 PM LustreC Revision 34d3f022 (lustrec): Further processing of contract in the typing. More to go
Pierre-Loïc Garoche
02:06 AM LustreC Revision 0d79d0f3 (lustrec): First working version of switched system extraction for seal tool
Pierre-Loïc Garoche

11/10/2018

02:07 PM LustreC Revision 1cc047f9 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche

11/09/2018

07:43 AM LustreC Revision a5dc55ca (lustrec): Restructuring code in SEAL
Pierre-Loïc Garoche

11/08/2018

03:58 PM LustreC Revision 82906771 (lustrec): Merge branch 'unstable' into lustrec-seal
Pierre-Loïc Garoche
03:46 PM LustreC Revision 1c9625b4 (lustrec): Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts Pierre-Loïc Garoche
03:29 PM LustreC Revision 73ccaf2f (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec in...
Pierre-Loïc Garoche
09:53 AM LustreC Revision ec8fc65e (lustrec): configure.ac tuning
Pierre-Loïc Garoche
09:12 AM LustreC Revision a742719e (lustrec): SEAL: compute the projection to switched systems. Some issues with i...
Pierre-Loïc Garoche
09:11 AM LustreC Revision 7c8a7647 (lustrec): log new option to mention plugin or module
Pierre-Loïc Garoche

11/04/2018

07:00 AM LustreC Revision eb9a8c3c (lustrec): Moved find_eq from Machine_code to Corelang and sort_eqs from Machin...
Pierre-Loïc Garoche

11/02/2018

12:03 AM LustreC Revision a703ed0c (lustrec): Preprocess the selected node in seaL BACKEND: focus on memories and ...
Pierre-Loïc Garoche
 

Also available in: Atom