Activity
From 03/19/2018 to 04/17/2018
04/07/2018
- 04:06 AM Bug #58: int to long long int
- I added a test file.
The issue is coming when executing the binary:
./datatypeconversion13_PP_datatypeconversion13_... - 12:55 AM Revision ef609cc9 (lustrec): Zustre: do not declare variables as Fixedpoint relations
04/06/2018
- 11:56 PM Revision 8eeec77e (lustrec): Filtering out ERR and MAIN from the forall quantification
- 11:19 PM Revision 5778dd5e (lustrec): Some progress on zustre2
04/03/2018
- 05:02 PM Revision 46cb4020 (lustrec): zustre: missing basic ops
- 04:38 PM Revision e4edf171 (lustrec): Zustre backend
- 11:30 AM Revision 4a7d789a (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
- 11:28 AM Revision e17d3718 (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
03/30/2018
- 11:43 PM Revision 2fb97ad4 (lustrec): Merge conflict solved
- 11:40 PM Revision 6eda0c25 (lustrec): Merge branch 'unstable' into lustrec-seal
- 11:23 PM Revision ea8f51ae (lustrec): Basic library printers moved into backend specific printer files
- 11:14 PM Revision 2863281f (lustrec): Further restructuring:
- - arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for mac... - 10:43 PM Revision 089f94be (lustrec): MLI for normalization and machine_code.
- Structs defining machines are now in machine_code_types
- 05:54 PM Revision 8446bf03 (lustrec): - Makefile: solved dependency problem when compiling include lusi
- - Renamed type declarations as lustre_types and machine_code_types
- 05:15 PM Revision 58dc23f3 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
03/29/2018
- 03:53 PM Revision 53472c83 (lustrec): Updated TODO
- Changed selection of files in odocl
- 01:41 PM Revision ff2d7a82 (lustrec): Ongoing work on zustre
03/28/2018
Also available in: Atom