Activity
From 02/08/2018 to 03/09/2018
03/09/2018
- 09:54 AM Revision 95b6c290 (lustrec): Merge branch 'unstable' into salsa
- 09:52 AM Revision 642e116d (lustrec): Ongoing work on salsa: introduce slicing of expr
03/07/2018
- 09:27 AM Revision a7aad4e2 (lustrec): Moved some stuff outside. Should be reintroduced later
- 09:25 AM Revision e96483ee (lustrec): Merge branch 'unstable' into copy_proof_acsl_new_backend
02/28/2018
- 01:00 AM Bug #64 (Closed): Typing error
- lustrec -d build Product_PP.lus
.. parsing source file ./Product_PP.lus
.. Phase 1 : Normalisation
.. expanding ...
02/13/2018
- 05:42 PM Revision 9c654082 (lustrec): [lustresf] work in progress. Added global env with initial values
- 05:17 PM Revision f4050bef (lustrec): Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.
- 05:16 PM Revision 94c457b7 (lustrec): Updated Salsa plugin to latest version of Salsa.
- Some issues wrt machine type features.
Work in progress
Also available in: Atom