CristalCaveGem » LustreC

03/29/2018

03:53 PM Revision 53472c83 (lustrec): Updated TODO

Changed selection of files in odocl Pierre-Loïc Garoche

01:41 PM Revision ff2d7a82 (lustrec): Ongoing work on zustre

Pierre-Loïc Garoche

03/28/2018

10:41 AM Revision bc86ee26 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable

Xavier Thirioux

10:35 AM Revision c1785a55 (lustrec): ongoing work on zustre backend

Pierre-Loïc Garoche

03/15/2018

03:50 AM Revision c5de2e97 (lustrec): Add the script to update LD_LIBRARY_PATH for z3

Pierre-Loïc Garoche

03:00 AM Revision 639e5507 (lustrec): add lustrec math functions

Bourbouh

02:59 AM Revision dd29e0c7 (lustrec): add lustrec math functions

Bourbouh

02:58 AM Revision 0bca9d53 (lustrec): Recursive resolution of dependencies

Pierre-Loïc Garoche

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. Pierre-Loïc Garoche

03/09/2018

09:54 AM Revision 95b6c290 (lustrec): Merge branch 'unstable' into salsa

Pierre-Loïc Garoche

09:52 AM Revision 642e116d (lustrec): Ongoing work on salsa: introduce slicing of expr

Pierre-Loïc Garoche

03/07/2018

09:27 AM Revision a7aad4e2 (lustrec): Moved some stuff outside. Should be reintroduced later

Pierre-Loïc Garoche

09:25 AM Revision e96483ee (lustrec): Merge branch 'unstable' into copy_proof_acsl_new_backend

Pierre-Loïc Garoche

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 ... Hamza Bourbouh