Project

General

Profile

Activity

From 03/27/2021 to 04/25/2021

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

03/29/2021

11:07 PM Revision 15d8ede0 (lustrec): First working version of the UI to display trajectories
Pierre-Loïc Garoche
11:12 AM Revision 2756319f (lustrec): messages d'erreurs terminés
Lélio Brun
 

Also available in: Atom