Activity
From 12/09/2017 to 01/07/2018
12/21/2017
- 12:29 AM Revision 9ae027f8 (lustrec): [stateflow] some progress, linking the parsed json to lustrec engine. Some variables are not yet typed. To investigate ...
- 12:29 AM Revision aa0cc4e8 (lustrec): [general] adding more entry rules for lustre parser to extract expressions, vdecl_list and statement list
12/20/2017
- 03:52 PM Lustrec-Tests Revision 762f339c (lustrec-tests): add new format
12/19/2017
- 06:01 PM Revision 50dadc21 (lustrec): [global] reordered local vars, keeping the declared ones before the others. Was mandatory for clocked expressions in compiled automata.
- 05:51 PM Revision 9b8acef5 (lustrec): [salsa] cleaning verbose logs
- 02:24 AM Lustrec-Tests Revision b9724665 (lustrec-tests): add json example for SF IR
12/18/2017
- 09:57 AM Revision 333e3a25 (lustrec): [general] Refactor get_node_eqs to produce (eqs, auts) with automatons
12/14/2017
- 08:57 PM Revision 8b87d0a5 (lustrec): Forcing mpfr status when -real mpfr asked. Default precision is 100 bits.
- 11:24 AM Revision e304cd81 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 09:50 AM Revision 0179e76f (lustrec): add uninstall target in Makefile
12/13/2017
- 05:32 PM Lustrec-Tests Revision 5bed65ad (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
- 05:32 PM Lustrec-Tests Revision 67d911bc (lustrec-tests): MPFR and EMF checks
- 05:31 PM Lustrec-Tests Revision 29e431d5 (lustrec-tests): EMF validation
- 05:09 PM Revision ea45924c (lustrec): fix conflicts
- 05:08 PM Revision 6b2f1b5d (lustrec): correct install target in Makefile
- 05:03 PM Lustrec-Tests Revision 910349ce (lustrec-tests): Add stateflow json example
- 04:08 PM Revision 1292d0aa (lustrec): correct install target in Makefile
12/12/2017
- 04:25 PM Revision 3b4b7a2e (lustrec): [lustresf] lustresf targets are optional in Makefiles (see configure.ac)
- 03:17 PM Revision 61e2b4b7 (lustrec): Merge branch 'unstable-merge' into unstable
- 03:16 PM Revision f50110e7 (lustrec): [lustresf] use Unix package
- 03:15 PM Revision b06b7b77 (lustrec): [lustresf] add Program constructor in model examples + sf_sem
- 02:51 PM Revision b1af4f73 (lustrec): [JSON] remove pretty-printing functions declarations in cPS_transformer
- 12:37 PM Revision 97b1a486 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 12:35 PM Revision 72f666d3 (lustrec): ...
- 12:23 PM Revision e0d6f1d1 (lustrec): [lustresf] refactoring automata generation using Automata.ml functions
- 12:10 PM Revision 50ae9ab8 (lustrec): simple conflict when merging unstable and json-parser
- 12:01 PM Revision 9416ee78 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 11:59 AM Revision 753d4562 (lustrec): [general] print types before nodes in lustre output
- 11:52 AM Revision 6ca345fd (lustrec): typo in src/Makefile.in
- 10:32 AM Revision 1613ad20 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 10:29 AM Revision 2a4992a1 (lustrec): [lustresf] Some progress: automaton compiles but not when preprocessed
- 09:25 AM Revision 2196948d (lustrec): [EMF] Less verbose
Also available in: Atom