| Branch: | Tag: | Revision:

lustrec @ master

# Date Author Comment
fc36d0a0 07/27/2020 01:44 PM Xavier Thirioux

added some cleaning about hash-tables used for typing, clocking, etc.

222db658 11/20/2018 04:48 PM Pierre-Loïc Garoche

New url in opam file

a01cb3a9 11/17/2018 07:29 AM Pierre-Loïc Garoche

New archive for 1.6

95b507a8 11/17/2018 07:18 AM Pierre-Loïc Garoche

Merge branch 'master' of

a7ce880f 11/17/2018 07:17 AM Pierre-Loïc Garoche

Initiating nwew version 1.7 Xia/Huai

531c07e4 11/17/2018 06:46 AM Pierre-Loïc Garoche

Cleaning git references for release

efe57954 11/17/2018 06:37 AM Pierre-Loïc Garoche

Recording the opam file

690eb3a5 11/17/2018 06:30 AM Pierre-Loïc Garoche

Preparing release 1.6 Xia/Zhui

b2b2ac74 11/17/2018 06:26 AM Pierre-Loïc Garoche

Merge branch 'master' into unstable

fb716d2c 11/17/2018 06:07 AM Pierre-Loïc Garoche

Some autoconf update

673bf87c 11/16/2018 07:56 PM Pierre-Loïc Garoche

Num module for mli

ce0f282d 11/16/2018 07:54 PM Pierre-Loïc Garoche

Num is a package in recent ocaml

1a05d45a 11/16/2018 07:19 AM Pierre-Loïc Garoche

Cleaning warning in mpfr

3ea2599d 11/16/2018 06:42 AM Pierre-Loïc Garoche

No more uses of kind files

d948c0bd 11/16/2018 04:18 AM Pierre-Loïc Garoche

math fun lib support in MPFR

ae7d913d 11/16/2018 04:18 AM Pierre-Loïc Garoche

Merlin files

45d53dc3 11/16/2018 02:46 AM Pierre-Loïc Garoche

EMF export of local type definition (for simple types)

4c3c6658 11/16/2018 12:46 AM Pierre-Loïc Garoche

mutation bug solved: improper access to an element of an empty list of bindings

a879351b 11/16/2018 12:44 AM Pierre-Loïc Garoche

Printers bug solved: now properly printing lustre file as open/types/other decls

5c3b45a0 11/15/2018 08:23 PM Pierre-Loïc Garoche

Lustre test gen mutation: bug solved. The path to the installation was hardcoded.

c95a441d 11/15/2018 08:22 PM Pierre-Loïc Garoche

Bug solved in MCDC generation: Some annotations generated were producing problems

bc3139b0 11/15/2018 08:21 PM Pierre-Loïc Garoche

Print the spec within the node

c35de73b 11/15/2018 03:18 AM Pierre-Loïc Garoche

Pretty serious update:
- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue):
when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....

05ca2715 11/15/2018 03:16 AM Pierre-Loïc Garoche

Moved back mpfr to its folder. Previsouly there was two competing files :(

307c32f5 11/14/2018 06:13 PM Pierre-Loïc Garoche

MPFR bug solved: typing of function argument was not properly building tuples of types.

6de6bcf4 11/13/2018 04:16 PM Pierre-Loïc Garoche


0d54d8a8 11/13/2018 02:01 AM Pierre-Loïc Garoche

Removed Contract contruct: imported node should be enough. Solved some warning at compile time

34d3f022 11/12/2018 11:43 PM Pierre-Loïc Garoche

Further processing of contract in the typing. More to go

1cc047f9 11/10/2018 02:07 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

1c9625b4 11/08/2018 03:46 PM Pierre-Loïc Garoche

Merge branch 'cocospec_to_be_merged' into unstable
Mainly adapting to new cocospec syntax for contracts

73ccaf2f 11/08/2018 03:29 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of into cocospec

2d27eedd 10/08/2018 04:52 PM Pierre-Loïc Garoche

- Global type env and clock env now availble as a global reference (Global module)
- Adapted the parsing of specification with a cocospec compatible one
- The data structure of contracts is now almost cocospec compatible
- Lustrec-test has been updated to use the newest syntax

778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax

8fa4e28e 09/25/2018 11:23 AM Pierre-Loïc Garoche

[bug solved] do not normalize eexpr in annotations, only in specification.

987fa573 09/25/2018 10:16 AM Pierre-Loïc Garoche

Merge branch 'git-configure' into cocospec

3471cb4d 09/25/2018 10:12 AM Pierre-Loïc Garoche

Better management of git branch in

949b2e1e 09/24/2018 02:18 PM Pierre-Loïc Garoche

Normalizing eexpr

1569a55a 09/21/2018 03:25 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of into cocospec

27446b88 09/14/2018 06:02 PM Pierre-Loïc Garoche

Improving connection with CDash

e82e03c6 09/14/2018 04:32 PM Christophe Garion

doc: add HTML grammar file

57392da1 09/14/2018 10:43 AM Christophe Garion

solve error in lexer introduced by previous merge

3b5419a8 09/14/2018 10:36 AM Christophe Garion

finishing solving strange conflicts for merge...

4f26dcf5 09/13/2018 03:36 PM Pierre-Loïc Garoche

Renamed annots into contracts. Preparing for syntax extension

17e1d0f4 09/13/2018 03:14 PM Pierre-Loïc Garoche

- Removed the kind2 file (parser/lexer/types)
- Cleaned a little bit our parser: removal of old prelude constructs

f09146ae 09/13/2018 02:58 PM Christophe Garion

Merge branch 'cocospec' of into cocospec

37d3e0eb 09/13/2018 01:55 PM Pierre-Loïc Garoche

Cocospec discussions in the

e4811e4c 08/04/2018 12:58 AM Bourbouh

add more conversion libraries

239f4429 07/24/2018 03:05 AM Bourbouh

fix rem and mod

8be49798 07/24/2018 02:39 AM Bourbouh

Merge branch 'master' of

4d841db7 07/24/2018 02:38 AM Bourbouh

add tanh

d0d8fe27 07/13/2018 11:34 PM Pierre Loic Garoche

Updating dependencies in the READ:E

d7e89c59 07/13/2018 08:25 PM Pierre-Loïc Garoche

Merge branch 'master' into unstable

88df55b3 07/13/2018 08:25 PM Pierre-Loïc Garoche

Merge branch 'merge' into unstable

de041ec0 07/13/2018 08:21 PM Pierre-Loïc Garoche

Update the configure to prepare the next release 1.6 Xia/Zhu

83dc064f 07/13/2018 08:05 PM Pierre-Loïc Garoche

Byte/String bug reappeared

f9d0c175 07/13/2018 07:52 PM Pierre-Loïc Garoche

Merge branch 'master' of

c1c4263c 07/13/2018 07:44 PM Pierre-Loïc Garoche

Preparing release of 1.5 Xia/Shao Kang

681f591b 07/13/2018 07:39 PM Pierre-Loïc Garoche

Preparing release 1.6 Xia/Zhu

2d2144c0 07/13/2018 05:18 PM Pierre-Loïc Garoche

Solved bug#57: issues when indirect init of a pre in horn-traces

bc9fd714 07/12/2018 07:35 PM Pierre-Loïc Garoche

Temporily disabling Mehnir as a parser.

31027df4 06/08/2018 06:45 PM Xavier Thirioux

updated luster lexer ??

0bd19a92 05/31/2018 04:39 PM Xavier Thirioux

bug wrt normalization. Didn't take clock into account.

bec3cf3d 05/31/2018 04:35 PM Xavier Thirioux

strange bug (ill-typed source) wrt Bytes/String conversion

cff64531 05/31/2018 04:33 PM Xavier Thirioux

bug in CSE, was disregarding clock

885b2896 05/31/2018 02:59 PM Xavier Thirioux

Merge branch 'unstable' of into unstable

bc504848 05/18/2018 04:02 PM Xavier Thirioux

corrected kind parsing

1d0fd52b 05/18/2018 12:28 AM Xavier Thirioux

updated division for Horn clauses

14da5302 05/17/2018 05:08 PM Xavier Thirioux

corrected euclidean division in C code

58d610e1 05/17/2018 05:04 PM Xavier Thirioux

corrected the division conversion scheme

8cc55e2c 05/17/2018 04:59 PM Xavier Thirioux

corrected the division conversion scheme

a6e85cdc 05/17/2018 03:50 PM Pierre-Loïc Garoche

Integer div choices

eccb3f63 05/17/2018 03:49 PM Pierre-Loïc Garoche

Provide back the previous behavior concerning parsing spec.

4d7f8ce0 05/17/2018 03:45 PM Pierre-Loïc Garoche

Merge branch 'cocospec' of into unstable

ba91ed9e 05/17/2018 03:32 PM Pierre-Loïc Garoche

Merge branch 'euclidean' into unstable

0e1a5ece 05/17/2018 03:32 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

91f0f06a 05/17/2018 03:31 PM Pierre-Loïc Garoche

Merge branch 'euclidean' of into euclidean

5318ad88 05/17/2018 03:29 PM Xavier Thirioux

introduced euclidean/C-like division in C code generation

c2db548b 05/17/2018 03:15 PM Christophe Garion

install of yojson depends on lustresf in configure now

fa91d4d0 05/17/2018 03:14 PM Pierre-Loïc Garoche

Euclidean div/mod treatment in Horn backend

3cd040e3 05/17/2018 02:42 PM Pierre-Loïc Garoche

Issues with typing pp_basic_lib_fun

12249005 05/16/2018 05:19 PM Pierre-Loïc Garoche

Kind licence file

2ae3ef3f 05/16/2018 05:19 PM Pierre-Loïc Garoche

Tentative to rely on Kind parser for contracts

ff6ba54e 05/16/2018 03:34 PM Pierre-Loïc Garoche

Produce condition coverage for basic boolean expressions. To be improved with a simpler condition.

8cacf677 05/15/2018 02:38 PM Pierre-Loïc Garoche

[lustrec/mcdc/ improved the MCDC output

8e6cab20 05/15/2018 11:49 AM Pierre-Loïc Garoche

Tuning the pretty printing of Salsa plugin

151117f7 05/07/2018 03:20 PM Pierre-Loïc Garoche

Homogenizing the API for salsa and its use within the plugin

68322df3 05/04/2018 08:01 PM Pierre-Loïc Garoche

Some tentative improvement of Salsa plugin. Not satisfying yet

7065d912 05/04/2018 08:00 PM Pierre-Loïc Garoche

Moved mk_fresh_var from normalization to corelang

8926852f 05/04/2018 05:42 PM Pierre-Loïc Garoche

[scopes] Producing the appropriate scope label

08faae63 05/04/2018 05:09 PM Pierre-Loïc Garoche

NumMartel functions

b068041a 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merging unstable into salsa

c0d116ec 05/03/2018 08:35 AM Pierre-Loïc Garoche

Merge branch 'unstable' into salsa

ea8f51ae 03/30/2018 11:23 PM Pierre-Loïc Garoche

Basic library printers moved into backend specific printer files

2863281f 03/30/2018 11:14 PM Pierre-Loïc Garoche

Further restructuring:
-* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

089f94be 03/30/2018 10:43 PM Pierre-Loïc Garoche

MLI for normalization and machine_code.
Structs defining machines are now in machine_code_types

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

58dc23f3 03/30/2018 05:15 PM Pierre-Loïc Garoche

Merge branch 'unstable' of into unstable

53472c83 03/29/2018 03:53 PM Pierre-Loïc Garoche

Updated TODO
Changed selection of files in odocl

bc86ee26 03/28/2018 10:41 AM Xavier Thirioux

Merge branch 'unstable' of into unstable

639e5507 03/15/2018 03:00 AM Bourbouh

add lustrec math functions