Use clauses in package definition
Conditional signals selection, waveform with delay
PP for Subprogram
Correction of Procedure declaration pp
Default value for ProcedureCall assocs
Aggregate pp, correction of element_assoc pp
Default value corrections
Added support for declarative items
Added support for use clause in architecture declarations
Update of component instantiation pp
Corrections on component instantiation
Added support for Component declarations in packages
Pretty printing of assert statements
Constant expression printing with units, Format for case statements, process formatting and name
Added support for constants units
Main executable now throws exceptions when parsing errors
Added support for Array,Record,Enumeration constructs
Added support for ProcedureCall statements
Update of the component instantiation type to add architecture name reference
Added support for component instantiation
code cleaning
Cleaned main importer, now outputs only the vhdl code
Correction of Variables,Signals,Constants definitions of initial values. Now uses an expression.
PP correction for separating spaces
PP support for concurrent assignment, processes
PP for Exit, Null and Return statements
Update of importer to display only last version of pretty printed vhdl code
Update of default values for some option constructions + added end if and end case closing of if and case blocks
Update of the vhdl pretty printer
Update of the _tags.in file to include required packages
New version of the vhdl import + compilation
Renaming of cst_val_t type as vhdl_cst_val_t
New version of the VHDL importer with pretty printing based on ppx_show
Functional VHDL importer
Added support for subprograms, variables assignments, aggregate, others
Refactoring of vhdl data types
Added support for Process statements, signal assignment, If, Exit and Null sequential statements
Added postprocessing for numeric literals
Ongoing work on json vhdl to vhdl structure conversion
Working example!
Pom pom pom
Sample value for VHDL
Main lustrei
Compiling - while doing nothing :)
Bootstrapping VHDL importer/exporter
bug wrt normalization. Didn't take clock into account.
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
updated division for Horn clauses
corrected euclidean division in C code
corrected the division conversion scheme
Integer div choices
Provide back the previous behavior concerning parsing spec.
Merge branch 'cocospec' of https://cavale.enseeiht.fr/git/lustrec into unstable
Merge branch 'euclidean' into unstable
Merge branch 'euclidean' of https://cavale.enseeiht.fr/git/lustrec into euclidean
introduced euclidean/C-like division in C code generation
install of yojson depends on lustresf in configure now
Euclidean div/mod treatment in Horn backend
Issues with typing pp_basic_lib_fun
Kind licence file
Tentative to rely on Kind parser for contracts
Produce condition coverage for basic boolean expressions. To be improved with a simpler condition.
[lustrec/mcdc/ improved the MCDC output
Tuning the pretty printing of Salsa plugin
Homogenizing the API for salsa and its use within the plugin
Some tentative improvement of Salsa plugin. Not satisfying yet
Moved mk_fresh_var from normalization to corelang
[scopes] Producing the appropriate scope label
NumMartel functions
Merging unstable into salsa
Merge branch 'unstable' into salsa
Basic library printers moved into backend specific printer files
Further restructuring:- arrow.ml* 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
MLI for normalization and machine_code.Structs defining machines are now in machine_code_types
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
Updated TODOChanged selection of files in odocl
add lustrec math functions
Recursive resolution of dependencies
Ongoing work on salsa: introduce slicing of expr
[lustresf] work in progress. Added global env with initial values
Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.
Updated Salsa plugin to latest version of Salsa.Some issues wrt machine type features.Work in progress
Solved issue with typing of enumerated types
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8) typing was transformed as a functor and parametrized by basic types (int/real/bool) it can also be applied multiple times on the same program
[lustret] improved enumeration of mutants
[lustret] When generating MC/DC conditions, produce them as EMF XML output
Solved issues with configure and ocaml libs dependencies
Type issue Bytes vs string
[lustret] More effective mutants generation Solved the misrenaming of imported nodes (eg int_to_real)
[main] node locals are now sorted according to their dependencies wrt clocks. The produced lustre node with types shall now be compilable
[main] cleaned superfluous empty line in generated lustre output
[main] enum typedef in C use the original lustre filename as identifier. This commit cleans the filename to remove dots.
[mutations] solved issues with - mutations that could not be performed (ie. changing an integer constants when no integer constant appear in the program) - infinite computation of mutants, because of unproper randomization.