Commits · 28b8c03f1598cac12d7c089cce67090d6c2996de · pub / Frama Clang

06 Jul, 2021 40 commits
- [cleanup] more removal of unused locals · 28b8c03f
  Virgile Prevosto authored Dec 06, 2019
  
  28b8c03f
- [cleanup] don't use memset on objects · 1f9ad6c6
  Virgile Prevosto authored Dec 06, 2019
  
  1f9ad6c6
- [cleanup] fix == instead of = · 6b08d3f0
  Virgile Prevosto authored Dec 06, 2019
  
  6b08d3f0
- [cleanup] remove unused locals · 1bb8ff24
  Virgile Prevosto authored Dec 06, 2019
  
  1bb8ff24
- [cleanup] user proper integral type · d6db586a
  Virgile Prevosto authored Dec 06, 2019
  
  d6db586a
- [cleanup] fix initialization order in constructor · c3a3c4b3
  Virgile Prevosto authored Dec 06, 2019
  
  c3a3c4b3
- [cleanup] more unimplemented ACSL++ types · 9109d95c
  Virgile Prevosto authored Dec 05, 2019
  
  9109d95c
- [cleanup] implement check to use previously unused variable. · f0cf3b41
  Virgile Prevosto authored Dec 05, 2019
  
  f0cf3b41
- [cleanup] proper initialization of all fields in declaration order · 2788fbda
  Virgile Prevosto authored Dec 05, 2019
  
  2788fbda
- [cleanup] use proper C++-11 delete feature instead of assert(0) · 0ef39435
  Virgile Prevosto authored Dec 05, 2019
  
  0ef39435
- [fix-warning] complete case in switch · 2f7ab104
  Virgile Prevosto authored Dec 05, 2019
  
  2f7ab104
- [fix-warning] more robust test for ending iteration · 9bf98fd0
  Virgile Prevosto authored Dec 05, 2019
  
  9bf98fd0
- [dev] More warning from g++ · b7c8d25e
  Virgile Prevosto authored Dec 05, 2019
  
  b7c8d25e
- [convert] fixes conversion of ghost statements · f78b2d23
  Virgile Prevosto authored Dec 02, 2019
  
  f78b2d23
- [ACSL++] add support for \exit_status · df233f60
  Virgile Prevosto authored Dec 02, 2019
  
  df233f60
- [tests] oracles robusts against wp output · 76190d5c
  Virgile Prevosto authored Dec 02, 2019
  
  76190d5c
- [tests] avoid empty struct warning · f3e0507e
  Virgile Prevosto authored Dec 02, 2019
  
  f3e0507e
- [tests] update oracles · 47462b73
  Virgile Prevosto authored Dec 02, 2019
  
  47462b73
- [clang] compatibility with clang 9.0 · 268dac23
  Virgile Prevosto authored Dec 02, 2019
  
  268dac23
- [conversion] compatibility with FC 20.0 (support for ghost parameter) · e375ecde
  Virgile Prevosto authored Dec 02, 2019
  
  e375ecde
- [doc] die latin-1 encoding, die · 18fc6975
  Virgile Prevosto authored Aug 30, 2019
  
  18fc6975
- [doc] proof reading · 549eef2c
  Virgile Prevosto authored Aug 30, 2019
  
  549eef2c
- [doc] update version numbers to match with source code · 9a0ee8b6
  Virgile Prevosto authored Aug 30, 2019
  
  9a0ee8b6
- [doc] Use latexmk for compilation · 734b8bd0
  Virgile Prevosto authored Aug 30, 2019
  
  734b8bd0
- .gitignore · 0799b28b
  Virgile Prevosto authored Aug 30, 2019
  
  0799b28b
- Edits prior to review · cc3939fc
  davidcok authored Aug 08, 2019
  
  cc3939fc
- Readthrough edits · 3d582f65
  DavidCok authored Aug 06, 2019
  
  3d582f65
- more editing · 963c9717
  davidcok authored Aug 06, 2019
  
  963c9717
- Typos · 20540c83
  DavidCok authored Aug 05, 2019
  
  20540c83
- More edits · bd184c5b
  davidcok authored Aug 05, 2019
  
  bd184c5b
- Minor edits · 71bbdeb3
  davidcok authored Aug 01, 2019
  
  71bbdeb3
- Edits from readover · ebc967bc
  davidcok authored Aug 01, 2019
  
  ebc967bc
- Edits about options · 5276fafa
  DavidCok authored Jul 31, 2019
  
  5276fafa
- Minor addition · d8519d69
  davidcok authored Aug 01, 2019
  
  d8519d69
- More editing · 3c881518
  davidcok authored Jul 31, 2019
  
  3c881518
- Vartiuos edits · 2c5f249a
  davidcok authored Jul 29, 2019
  
  2c5f249a
- Fixing cover page · 3f831aff
  davidcok authored Jul 29, 2019
  
  3f831aff
- Adding support file · 97a4b039
  DavidCok authored Jul 29, 2019
  
  97a4b039
- Weekend edits · 6778adfd
  DavidCok authored Jul 29, 2019
  
  6778adfd
- Weekend edits · 8f9f90f4
  DavidCok authored Jul 29, 2019
  
  8f9f90f4