Activity - LustreC

Activity

From 04/05/2021 to 05/04/2021

05/04/2021

06:24 PM Revision 75c459f4 (lustrec): start with Spec AST generation: Lélio Brun
10:58 AM Revision f69e7ea2 (lustrec): add -O -1 flag to disable fusion of conditionals: Lélio Brun
10:26 AM Revision 7a1b2819 (lustrec): missing file: Lélio Brun
10:20 AM Revision 7ee5f69e (lustrec): corrections on loggers + spec in AST: Lélio Brun

04/26/2021

05:12 PM Revision dfce5630 (lustrec): patch de Xavier pour réparer -O 3: Lélio Brun

04/22/2021

03:06 PM Revision 9d693675 (lustrec): the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion): Lélio Brun

04/21/2021

06:09 PM Revision ed1ff359 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
06:01 PM Revision 8060f89a (lustrec): forgotten file: Lélio Brun
05:55 PM Revision d8144228 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:49 PM Revision eb557ef7 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:39 PM Revision a230aa0a (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:39 PM Revision 3e74e89b (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:38 PM Revision 9f0cd2c4 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:22 PM Revision 66284cfb (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:21 PM Revision 1802e98c (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
05:16 PM Revision 561a028e (lustrec): update CI: Lélio Brun
05:15 PM Revision 383a7762 (lustrec): Merge branch 'master' of gitlab.isae-supaero.fr:l.brun/lustrec: Lélio Brun
05:15 PM Revision efcc8d7f (lustrec): move arrow spec in its own header: Lélio Brun
04:40 PM Revision dcbc211b (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
04:36 PM Revision d62bba1b (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
02:55 PM Revision 18f496c5 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
02:10 PM Revision c5537f80 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
02:01 PM Revision de5eaf78 (lustrec): Update .gitlab-ci.yml file: BRUN Lelio
01:52 PM Revision 186e1aef (lustrec): working proto: Lélio Brun

04/20/2021

06:51 PM Revision 8d2d6fa0 (lustrec): Almost works!: Lélio Brun

04/16/2021

11:33 AM Revision 7f03f62d (lustrec): first version that is parsed correctly by Frama-C: Lélio Brun

04/12/2021

05:48 PM Revision 4b596770 (lustrec): first draft: to be tested with frama-c: Lélio Brun

Also available in: Atom