Activity
From 10/22/2018 to 11/20/2018
11/20/2018
- 11:21 PM Revision f9f06e7d (lustrec): - Module.load_header and load_program were merged.
- - Contract were extended with list of statements.
- 11:20 PM Revision a4158a4b (lustrec): Added back the gitbranch option ins configure.ac. Was wrongly removed in the release process
- 11:20 PM Revision 32bafa6f (lustrec): Some thoughts about lusic
- 07:02 PM Revision 7f2309bc (lustrec): Merge branch 'unstable' into lustrec-seal
- 04:48 PM Revision 222db658 (lustrec): New url in opam file
11/17/2018
- 07:29 AM Revision a01cb3a9 (lustrec): New archive for 1.6
- 07:18 AM Revision 95b507a8 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
- 07:17 AM Revision a7ce880f (lustrec): Initiating nwew version 1.7 Xia/Huai
- 06:46 AM Revision 531c07e4 (lustrec): Cleaning git references for release
- 06:37 AM Revision efe57954 (lustrec): Recording the opam file
- 06:30 AM Revision 690eb3a5 (lustrec): Preparing release 1.6 Xia/Zhui
- 06:26 AM Revision b2b2ac74 (lustrec): Merge branch 'master' into unstable
- 06:07 AM Revision fb716d2c (lustrec): Some autoconf update
- 05:32 AM Revision ef776f2f (lustrec): Vhdl export is temporarily disabled
- 05:31 AM Revision a0721293 (lustrec): program type is now program_t
- 04:54 AM Revision 92c6cca7 (lustrec): Merge branch 'lustrec-seal' into vhdl
- 02:04 AM Revision b59fa954 (lustrec): Merge branch 'unstable' into vhdl
- 01:56 AM Revision e491c34a (lustrec): Issues with linking Z3 on OSX
11/16/2018
- 11:31 PM Revision 51106b7e (lustrec): Fixing issues with changes in machine code
- 11:30 PM Revision 59803095 (lustrec): Merge branch 'unstable' into lustrec-seal
- 09:53 PM Lustrec-Tests Revision 6f6af7b8 (lustrec-tests): update zustre reference
- 07:56 PM Revision 673bf87c (lustrec): Num module for mli
- 07:54 PM Revision ce0f282d (lustrec): Num is a package in recent ocaml
- 07:19 AM Revision 1a05d45a (lustrec): Cleaning warning in mpfr
- 06:42 AM Revision 3ea2599d (lustrec): No more uses of kind files
- 04:18 AM Revision d948c0bd (lustrec): math fun lib support in MPFR
- 04:18 AM Revision ae7d913d (lustrec): Merlin files
- 04:13 AM Lustrec-Tests Revision 16400d02 (lustrec-tests): Updated ref output
- 02:46 AM Revision 45d53dc3 (lustrec): EMF export of local type definition (for simple types)
- 12:54 AM Lustrec-Tests Revision 58eac50a (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 12:49 AM Lustrec-Tests Revision c34a50ff (lustrec-tests): Better naming
- 12:46 AM Revision 4c3c6658 (lustrec): mutation bug solved: improper access to an element of an empty list of bindings
- 12:44 AM Revision a879351b (lustrec): Printers bug solved: now properly printing lustre file as open/types/other decls
11/15/2018
- 08:49 PM Lustrec-Tests Revision 8451150a (lustrec-tests): add output references
- 08:23 PM Revision 5c3b45a0 (lustrec): Lustre test gen mutation: bug solved. The path to the installation was hardcoded.
- 08:22 PM Revision c95a441d (lustrec): Bug solved in MCDC generation: Some annotations generated were producing problems
- 08:21 PM 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 of cocospec.
- 07:33 AM Lustrec-Tests Revision f4893943 (lustrec-tests): Script now compare the output with ones compiled with the same options
- 03:18 AM 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 Revision 05ca2715 (lustrec): Moved back mpfr to its folder. Previsouly there was two competing files :(
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 test parameterized by epsilon (precision). Default bnehavior is using regular diff on files
- 06:35 PM Lustrec-Tests Revision 72e9ca2d (lustrec-tests): Renamed math in lustrec_math
- 06:13 PM Revision 307c32f5 (lustrec): MPFR bug solved: typing of function argument was not properly building tuples of types.
11/13/2018
- 04:16 PM Revision 6de6bcf4 (lustrec): Improved configure.ac
- 04:15 PM Lustrec-Tests Revision 5a55fdd1 (lustrec-tests): Improved ctest configuration
- 02:01 AM Revision 0d54d8a8 (lustrec): Removed Contract contruct: imported node should be enough. Solved some warning at compile time
11/12/2018
- 11:43 PM Revision 34d3f022 (lustrec): Further processing of contract in the typing. More to go
- 02:06 AM Revision 0d79d0f3 (lustrec): First working version of switched system extraction for seal tool
11/10/2018
11/09/2018
11/08/2018
- 03:58 PM Revision 82906771 (lustrec): Merge branch 'unstable' into lustrec-seal
- 03:46 PM Revision 1c9625b4 (lustrec): Merge branch 'cocospec_to_be_merged' into unstable
- Mainly adapting to new cocospec syntax for contracts
- 03:29 PM Revision 73ccaf2f (lustrec): Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
- 09:53 AM Revision ec8fc65e (lustrec): configure.ac tuning
- 09:12 AM Revision a742719e (lustrec): SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed
- 09:11 AM Revision 7c8a7647 (lustrec): log new option to mention plugin or module
11/04/2018
11/03/2018
10/24/2018
Also available in: Atom