Communalisation of mini-vhdl structure utils
Updated checks display and adde small obvious checks
Added -check flag to start vhdl model verification
Removed concurrent assignment statement from mini-vhdl grammar
update of mini-vhdl to lustre
Minor comments update
Start of the Lustre generator
Update of the command line
Added command line parameters
definition of the mini-vhdl types + pp + transformation from vhdl structure
Split PP and Yojson in separate ml for vhdl ast
PP update: component instantiation type, archi format, port & generic decl in components, signal conditions, return statements expression
Printer corrections: signal_condition, conditional_signal, elsif, when conditions, F***ing non-brekaing characters
Qualified expressions, default values for expressions, pp for association_elements
Use clauses in package definition
Conditional signals selection, waveform with delay
PP for Subprogram
Default value corrections
Added support for declarative items
Added support for use clause in architecture declarations
Corrections on component instantiation
Added support for Component declarations in packages
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
Cleaned main importer, now outputs only the vhdl code
Correction of Variables,Signals,Constants definitions of initial values. Now uses an expression.
Update of importer to display only last version of pretty printed vhdl code
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
Main lustrei
Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
[lustresf] work in progress. Added global env with initial values
[stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...
Merge branch 'unstable-merge' into unstable
[lustresf] add Program constructor in model examples + sf_sem
[JSON] remove pretty-printing functions declarations in cPS_transformer
...
[lustresf] refactoring automata generation using Automata.ml functions
simple conflict when merging unstable and json-parser
[lustresf] Some progress: automaton compiles but not when preprocessed
json-parser: correct parser for regex for real variables with e|E
json-parser: add test for real variable with e|E
json-parser: correct bug on real variables value
json-parser: add string_of_XXX functions for assertions
json-parser: test exception for variables
json-parser: switch arguments for assert_equal (expected/actual)
json-parser: use JSON_parse_error exception
json-parser: more tests with single variables
json-parser: change variables names in tests
json-parser: add test for boolean variable true
json-parser: refactor first test
json-parser: first unit test for JSON parser (variables)
json-parser: clean packages and _tags.in
json-parser: replace assert with exceptions
json-parser: clean files names and directories
json-parser: use Logs and Cmdliner librairies
json-parser: remove Const_bool and use Const_tag
parser-json: clean main program + add pp for vars
parser-json: correct parsing of real constants for variables
parser-json: add variables in parsing
parser-json: final version of parser with new types
TMerge branch 'unstable' into json-parser
bug correction: each var_decl must be unique and not shared as a global var
[lustresf]: tuple of false values for initial state
A fresh option to print with declared types instead of inferred ones
parser-json: first steps to integrate JSON parser
lustresf: Better construction of lustre ast. Still more work to be done.
Moved stateflow tool in src/toolUpdated the makefile to compile lustresfNot working yet