Commits · 6d1693b9a18db56292dc417972f18bb70f1a644f · LustreC / Lustrec

Jun 14, 2021
- work on spec generation almost done · 6d1693b9
  BRUN Lelio authored 3 years ago
  
  6d1693b9
Jun 04, 2021
- forgotten file · 9e277169
  BRUN Lelio authored 3 years ago
  
  9e277169
Jun 03, 2021
- start again with spec representation · 6cbbe1c1
  BRUN Lelio authored 3 years ago
  
  6cbbe1c1
May 04, 2021
- start with Spec AST generation · 75c459f4
  BRUN Lelio authored 4 years ago
  
  75c459f4
- add -O -1 flag to disable fusion of conditionals · f69e7ea2
  BRUN Lelio authored 4 years ago
  
  f69e7ea2
- missing file · 7a1b2819
  BRUN Lelio authored 4 years ago
  
  7a1b2819
- corrections on loggers + spec in AST · 7ee5f69e
  BRUN Lelio authored 4 years ago
  
  7ee5f69e
Apr 26, 2021
- patch de Xavier pour réparer -O 3 · dfce5630
  BRUN Lelio authored 4 years ago
  
  dfce5630
Apr 22, 2021
- the generation of ACSL from machine code reveal too fragile as it occurs after... · 9d693675
  BRUN Lelio authored 4 years ago
  
  the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)
  9d693675
Apr 21, 2021
- Update .gitlab-ci.yml file · ed1ff359
  BRUN Lelio authored 4 years ago
  
  ed1ff359
- forgotten file · 8060f89a
  BRUN Lelio authored 4 years ago
  
  8060f89a
- Update .gitlab-ci.yml file · d8144228
  BRUN Lelio authored 4 years ago
  
  d8144228
- Update .gitlab-ci.yml file · eb557ef7
  BRUN Lelio authored 4 years ago
  
  eb557ef7
- Update .gitlab-ci.yml file · a230aa0a
  BRUN Lelio authored 4 years ago
  
  a230aa0a
- Update .gitlab-ci.yml file · 3e74e89b
  BRUN Lelio authored 4 years ago
  
  3e74e89b
- Update .gitlab-ci.yml file · 9f0cd2c4
  BRUN Lelio authored 4 years ago
  
  9f0cd2c4
- Update .gitlab-ci.yml file · 66284cfb
  BRUN Lelio authored 4 years ago
  
  66284cfb
- Update .gitlab-ci.yml file · 1802e98c
  BRUN Lelio authored 4 years ago
  
  1802e98c
- update CI · 561a028e
  BRUN Lelio authored 4 years ago
  
  561a028e
- Merge branch 'master' of gitlab.isae-supaero.fr:l.brun/lustrec · 383a7762
  BRUN Lelio authored 4 years ago
  
  383a7762
- move arrow spec in its own header · efcc8d7f
  BRUN Lelio authored 4 years ago
  
  efcc8d7f
- Update .gitlab-ci.yml file · dcbc211b
  BRUN Lelio authored 4 years ago
  
  dcbc211b
- Update .gitlab-ci.yml file · d62bba1b
  BRUN Lelio authored 4 years ago
  
  d62bba1b
- Update .gitlab-ci.yml file · 18f496c5
  BRUN Lelio authored 4 years ago
  
  18f496c5
- Update .gitlab-ci.yml file · c5537f80
  BRUN Lelio authored 4 years ago
  
  c5537f80
- Update .gitlab-ci.yml file · de5eaf78
  BRUN Lelio authored 4 years ago
  
  de5eaf78
- working proto · 186e1aef
  BRUN Lelio authored 4 years ago
  
  186e1aef
Apr 20, 2021
- Almost works! · 8d2d6fa0
  BRUN Lelio authored 4 years ago
  
  8d2d6fa0
Apr 16, 2021
- first version that is parsed correctly by Frama-C · 7f03f62d
  BRUN Lelio authored 4 years ago
  
  7f03f62d
Apr 12, 2021
- first draft: to be tested with frama-c · 4b596770
  BRUN Lelio authored 4 years ago
  
  4b596770
Mar 29, 2021
- messages d'erreurs terminés · 2756319f
  BRUN Lelio authored 4 years ago
  
  2756319f
Mar 25, 2021
- more error messages · e78eb9f5
  BRUN Lelio authored 4 years ago
  
  e78eb9f5
Mar 19, 2021
- more error messages · 78013d1e
  BRUN Lelio authored 4 years ago
  
  78013d1e
Mar 18, 2021
- some more error messages · 91e96bd8
  BRUN Lelio authored 4 years ago
  
  91e96bd8
Mar 10, 2021
- start to write error messages · a2327c71
  BRUN Lelio authored 4 years ago
  
  a2327c71
Mar 09, 2021
- prepare for the modern error handling of Menhir · 90e83deb
  BRUN Lelio authored 4 years ago
  
  90e83deb
Mar 08, 2021
- generic ACSL spec generation · 15c3e4e7
  BRUN Lelio authored 4 years ago
  
  15c3e4e7
Mar 01, 2021
- start generating ACSL spec · c226a3ba
  BRUN Lelio authored 4 years ago
  
  c226a3ba
Feb 19, 2021
- Merge branch 'dune' · b20c1e19
  BRUN Lelio authored 4 years ago
  
  b20c1e19
- some rewriting in C backend pretty-printer · 90cc3b8e
  BRUN Lelio authored 4 years ago
  
  90cc3b8e