Project

General

Profile

Activity

From 11/27/2015 to 12/26/2015

12/18/2015

12:31 PM Revision dc6f962c (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche

12/16/2015

09:45 PM Revision e599394b (lustrec): cleaned up bin
Teme Kahsai
06:00 PM Revision ca4f16d0 (lustrec): Merge branch 'struct' of https://cavale.enseeiht.fr/git/lustrec into...
Conflicts:
src/lustreSpec.ml
src/printers.ml
Xavier Thirioux
05:54 PM Revision 7001561e (lustrec): work in progress
Xavier Thirioux
03:18 PM Revision 5df5dd85 (lustrec): Merge branch 'master' into horn_enum_types
Conflicts:
src/backends/Horn/horn_backend.ml
Pierre-Loïc Garoche
01:37 PM Revision 4b269e3f (lustrec): Revert to good old uppercase function compatible with 4.02
Pierre-Loïc Garoche
01:27 PM Revision 355b543d (lustrec): Specific filtering of constant branching conditions for riny backend.
Introduced a new partial evaluation function for machine code value Pierre-Loïc Garoche
01:27 PM Revision 30551ad8 (lustrec): Changed function uppercase to fix an ocaml warning
Pierre-Loïc Garoche

12/15/2015

05:40 PM Revision bdcbb2a1 (lustrec): Solved bug with C backend
Pierre-Loïc Garoche
01:56 PM Revision 8b450806 (lustrec): Enable expressions in array indices
Pierre-Loïc Garoche
01:56 PM Revision 84462531 (lustrec): Added by default -O0
Pierre-Loïc Garoche

12/10/2015

11:17 AM Lustrec-Tests Revision 604d5b37 (lustrec-tests): Import tests in fresh repo
Pierre-Loïc Garoche

12/08/2015

12:40 AM Revision 7ec8e203 (lustrec): travis
Teme Kahsai
04:15 PM Revision f2b37275 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche
03:40 PM Revision 5358a4de (lustrec): Updates of the AST
Xavier Thirioux
03:39 PM Revision d97c196a (lustrec): Changed mpfr threshold to 2
Xavier Thirioux

12/07/2015

02:39 PM Revision cf13e2c2 (lustrec): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Pierre-Loïc Garoche

11/29/2015

01:20 PM Revision 0f36882c (lustrec): several bugs/oddities corrected:
- bizarre date stamping (when generating .lusi files)
- bug in loading libraries, forbidding several (transitive) im...
Xavier Thirioux
 

Also available in: Atom