Activity
From 02/27/2018 to 03/28/2018
03/28/2018
- 10:41 AM Revision bc86ee26 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 10:35 AM Revision c1785a55 (lustrec): ongoing work on zustre backend
03/15/2018
- 03:50 AM Revision c5de2e97 (lustrec): Add the script to update LD_LIBRARY_PATH for z3
- 03:00 AM Revision 639e5507 (lustrec): add lustrec math functions
- 02:59 AM Revision dd29e0c7 (lustrec): add lustrec math functions
- 02:58 AM Revision 0bca9d53 (lustrec): Recursive resolution of dependencies
- 12:07 AM Revision ad4774b0 (lustrec): - Normalization parameters (alias and unfold_array) are now provided as parameter
- - program type renamed as program_t
- Initiating the lustrev tool with dependencies to z3 and seal.
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 ...
Also available in: Atom