- Jun 25, 2021
-
-
BRUN Lelio authored
-
- Jun 17, 2021
-
-
BRUN Lelio authored
-
- Nov 21, 2019
-
-
Pierre Loic Garoche authored
- Bugs in partial evaluation for equalities among bool constants and a nice recursive call generating a stack overflow! Now solved - Setup a timeout for z3 in seal - Better log for seal
-
- Nov 14, 2019
-
-
Pierre Loic Garoche authored
- real constants are hidden in Real.ml{i} module
-
- Jul 05, 2019
-
-
Pierre Loic Garoche authored
- copy_var_decl now keeps the generated type
-
- Mar 21, 2019
-
-
Pierre Loic Garoche authored
-
- Mar 12, 2019
-
-
Pierre Loic Garoche authored
Contract resolution still need to be done as well as dealing with the machine code level and so on.
-
- Nov 23, 2018
-
-
Pierre Loic Garoche authored
-
- Nov 21, 2018
-
-
Pierre Loic Garoche authored
-
Pierre Loic Garoche authored
- 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
-
- Nov 20, 2018
-
-
Pierre Loic Garoche authored
- Contract were extended with list of statements.
-
- Nov 13, 2018
-
-
Pierre Loic Garoche authored
-
- Oct 05, 2018
-
-
Pierre Loic Garoche authored
Adapted the parser/types/constructors for cocospec syntax
-
- Sep 13, 2018
-
-
Pierre Loic Garoche authored
-
- Mar 30, 2018
-
-
Pierre Loic Garoche authored
- Renamed type declarations as lustre_types and machine_code_types
-
- Mar 14, 2018
-
-
Pierre Loic Garoche authored
- program type renamed as program_t - Initiating the lustrev tool with dependencies to z3 and seal.
-
- Jan 31, 2018
-
-
Pierre Loic Garoche authored
[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
-
- Oct 05, 2017
-
-
GARION Christophe authored
-
- Oct 02, 2017
-
-
GARION Christophe authored
-
- Jul 17, 2017
-
-
Pierre Loic Garoche authored
-
- Jun 23, 2017
-
-
Pierre Loic Garoche authored
- EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would render traceability difficult - Options.ml has been split into Options.ml / Options_management.ml. Options.ml only contains references and no functions
-
Pierre Loic Garoche authored
- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata. - Improved EMF backend with META information
-
- Apr 27, 2017
-
-
Pierre Loic Garoche authored
- no more classic display for ocamlc - compilation warnings removed
-
- Dec 08, 2016
-
-
Temesghen Kahsai authored
-
- Sep 30, 2016
-
-
Temesghen Kahsai authored
-
- Aug 09, 2016
-
-
THIRIOUX Xavier authored
-
- Aug 06, 2016
-
-
THIRIOUX Xavier authored
-
- Feb 23, 2016
-
-
Temesghen Kahsai authored
-
Temesghen Kahsai authored
-
- Jan 08, 2016
-
-
Pierre Loic Garoche authored
-
- Nov 26, 2015
-
-
THIRIOUX Xavier authored
-
- Nov 07, 2015
-
-
THIRIOUX Xavier authored
- bug in expansion of array accesses with constant arrays - bug in printing complex array indexes (not C compliant) - bug wrt C99 typing policy for constant arrays - bug in signaling wrong useless static input
-
THIRIOUX Xavier authored
- bug in expansion of array accesses with constant arrays - bug in printing complex array indexes (not C compliant) - bug wrt C99 typing policy for constant arrays - bug in signaling wrong useless static input git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@482 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- May 04, 2015
-
-
Temesghen Kahsai authored
-
- Apr 08, 2015
-
-
THIRIOUX Xavier authored
- destination dir should now work properly - lusic files now have a version number, to avoid nasty segfaults when loading lusic files created by an older compiler version - inlining should now work with generic nodes and generic array library - tests_ok_dev.list has been added that focuses on advanced (but unused !) features of lustrec, avoiding the large 'kind' test files
-
THIRIOUX Xavier authored
- destination dir should now work properly - lusic files now have a version number, to avoid nasty segfaults when loading lusic files created by an older compiler version - inlining should now work with generic nodes and generic array library - tests_ok_dev.list has been added that focuses on advanced (but unused !) features of lustrec, avoiding the large 'kind' test files git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@443 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Dec 08, 2014
-
-
Pierre Loic Garoche authored
-
Pierre Loic Garoche authored
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@380 041b043f-8d7c-46b2-b46e-ef0dd855326e
-
- Sep 14, 2014
-
-
THIRIOUX Xavier authored
- one automata example added - changed the reset condition in node calls (now a simple bool expr) - bug corrected in clock calculus - bug corrected in traceability info - added field in variables to test whether they are original or created by normalization process: better error message for causality problems Warning: this is the first working version of automata, needs further testing (and debugging). AFAIK, the semantics is close to Lustre V6, but further changes may be needed to equate them.
-
THIRIOUX Xavier authored
- one automata example added - changed the reset condition in node calls (now a simple bool expr) - bug corrected in clock calculus - bug corrected in traceability info - added field in variables to test whether they are original or created by normalization process: better error message for causality problems Warning: this is the first working version of automata, needs further testing (and debugging). AFAIK, the semantics is close to Lustre V6, but further changes may be needed to equate them. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@335 041b043f-8d7c-46b2-b46e-ef0dd855326e
-