Ada: Correct some errors on the type checking due to polymorphic type.
Ada: Removed from adb the print of clear and init.
Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into ada
Ada: Change some loggging feature
Ada: Add new function to print package name from node spec to be called by adb backend.
Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
Ada: Add support for arrows as an independent generic package, instantiated in each package using it. It required a lot of refactoring.
Ada: pretty printing of reset function
Ada: Remove generation of init and clear and some refactoring around prototype.
Ada Change private to limited private for State type package.
Ada: first pretty printing functions for adb
Ada: Temporary change
Ada: Add local variable declaration for step
Ada: Last correction was incorrect
Ada: Correct a bad copy-paste
Ada: Add the generation of the wrapper file : the main ada file and the project. It is calledonly if the main node option is given to lustrec. This feature implied some refactoring. Alsoadded some OCaml Doc to undocummented functions.
Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning
Ada: Changed type name for states and normalized variable name to match ada requirements.
Ada: Add prototype of the four procedure in the adb generation
Ada: Add the state variable in the ads, type definition and as parameter of all procedure
Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml
Ada: Remove useless comment
3 main modifications : - Create a new file : ada_backend_common.ml which contains all the function common to adb and ads. - Add comment to function - Generate the procedure prototype in the ads
Basic structure for Ada backend
Ada: skeletons for Ada compiler
Major refreshing of machine generation
Some progress on EMF bqckend. Refactoring machines code
Unevaluation of types and clocks dimension has been already performed before producing the lusic.
Cleaning up stuff in normalization. Mainly replace arguments with only required elementsnode_Table hashtbl is now only available through functions of the corelang.mli
Moved lusic to .h printer after normalizing in case we want one day to produce ACSL from a normalized specTrying also to extend the parser to deal with imported nodes....
Unified compilation of lusi and lus filesDifferent parsers yet but shared process.In case of lusi input the C backend is bypassed since the .h is generated from the lusic and no C code should be generated since it may overwrite existing manually written code...
Added include directive that directly inject a lustre source file in the prog
- 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 performed twice by different functions. Some of these functions have been moved from compiler_common to modules
- Module.load_header and load_program were merged.- Contract were extended with list of statements.
Added back the gitbranch option ins configure.ac. Was wrongly removed in the release process
Some thoughts about lusic
Merge branch 'unstable' into lustrec-seal
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Initiating nwew version 1.7 Xia/Huai
Cleaning git references for release
Recording the opam file
Preparing release 1.6 Xia/Zhui
Merge branch 'master' into unstable
Some autoconf update
Issues with linking Z3 on OSX
Fixing issues with changes in machine code
Num module for mli
Num is a package in recent ocaml
Cleaning warning in mpfr
No more uses of kind files
math fun lib support in MPFR
EMF export of local type definition (for simple types)
mutation bug solved: improper access to an element of an empty list of bindings
Printers bug solved: now properly printing lustre file as open/types/other decls
Lustre test gen mutation: bug solved. The path to the installation was hardcoded.
Bug solved in MCDC generation: Some annotations generated were producing problems
Print the spec within the node
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....
Moved back mpfr to its folder. Previsouly there was two competing files :(
MPFR bug solved: typing of function argument was not properly building tuples of types.
Removed Contract contruct: imported node should be enough. Solved some warning at compile time
Further processing of contract in the typing. More to go
First working version of switched system extraction for seal tool
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
Restructuring code in SEAL
Merge branch 'cocospec_to_be_merged' into unstableMainly adapting to new cocospec syntax for contracts
Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into cocospec
SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed
log new option to mention plugin or module
Moved find_eq from Machine_code to Corelang and sort_eqs from Machine_code to Scheduling
Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.
Scheduling of node equations is now attached to machine type
Moved definition of graph modules from Causality to Utils to avoid cyclic deps
- 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
Some refactoringAdapted the parser/types/constructors for cocospec syntax
[bug solved] do not normalize eexpr in annotations, only in specification.
Merge branch 'git-configure' into cocospec
Better management of git branch in configure.ac
Improving connection with CDash
doc: add HTML grammar file
solve error in lexer introduced by previous merge
finishing solving strange conflicts for merge...
Renamed annots into contracts. Preparing for syntax extension
- Removed the kind2 file (parser/lexer/types)- Cleaned a little bit our parser: removal of old prelude constructs
Cocospec discussions in the TODO.org
add more conversion libraries
fix rem and mod