Commits · 27502d6932300fa380c9e0958476722ff80e3889 · LustreC / Lustrec

Jun 18, 2021
- add memory instances to footprint lemmas · 27502d69
  BRUN Lelio authored 3 years ago
  
  27502d69
Jun 17, 2021
- corrections for stateless nodes · d0f26f04
  BRUN Lelio authored 3 years ago
  
  d0f26f04
- reformatting · ca7ff3f7
  BRUN Lelio authored 3 years ago
  
  ca7ff3f7
- conditionnally print spec in machine code logs · 3ee26303
  BRUN Lelio authored 3 years ago
  
  3ee26303
Jun 16, 2021
- it works · aaa8e454
  BRUN Lelio authored 3 years ago
  
  aaa8e454
- systematically add dependencies to clock variables in rhs · 1daf7bf0
  BRUN Lelio authored 3 years ago
  
  1daf7bf0
- Bug fix with constant inlining variable removal in machine code · a91680fc
  BRUN Lelio authored 3 years ago
  
  a91680fc
Jun 15, 2021
- work on new reset functions generation · c4780a6a
  BRUN Lelio authored 3 years ago
  
  c4780a6a
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 3 years ago
  
  75c459f4
- add -O -1 flag to disable fusion of conditionals · f69e7ea2
  BRUN Lelio authored 3 years ago
  
  f69e7ea2
- missing file · 7a1b2819
  BRUN Lelio authored 3 years ago
  
  7a1b2819
- corrections on loggers + spec in AST · 7ee5f69e
  BRUN Lelio authored 3 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