Commits · 52556928f3ca526b8477407555ba31625c02e3be · Charles Southerland / frama-c

Aug 27, 2020
- [e-acsl] changelog · 52556928
  Julien Signoles authored 4 years ago
  
  52556928
- lint · d4a172f3
  Julien Signoles authored 4 years ago
  
  d4a172f3
- [e-acsl] improves/fixes a fewTODOs · 8b037136
  Julien Signoles authored 4 years ago
  
  8b037136
- [e-acsl:script] remove useless line · 1e16d444
  Julien Signoles authored 4 years ago
  
  1e16d444
- [e-acsl] change the name of the RTL temp project · 73f89c9c
  Julien Signoles authored 4 years ago
  
  73f89c9c
- [kernel] export membership functions from Globals.Functions · 93fc8ec7
  Julien Signoles authored 4 years ago
  
  93fc8ec7
- [kernel] export membership functions in Globals.Types · c58cba8a
  Julien Signoles authored 4 years ago
  
  c58cba8a
- [e-acsl] fix headers · 5e57c9b9
  Julien Signoles authored 4 years ago
  
  5e57c9b9
- [e-acsl] remove the main visitor in Prepare_ast in order to propagate property statuses soundly · f5b131fe
  Julien Signoles authored 4 years ago
  
  [e-acsl] simplify and document Prepare_ast a bit more
  f5b131fe
- [e-acsl:tests] update tests · 9acdf608
  Julien Signoles authored 4 years ago
  
  9acdf608
- [e-acsl:tests] remove -e-acsl-prepare from tests · 62a52871
  Julien Signoles authored 4 years ago
  
  62a52871
- [e-acsl] monitor neither *alloc nor free · 87f6b633
  Julien Signoles authored 4 years ago
  
  87f6b633
- [e-acsl] restore -remove-unused-specified-functions · 038715b8
  Julien Signoles authored 4 years ago
  
  038715b8
- [e-acsl] move Misc.pred_or_term to Lscope.pred_or_term · 415fd3ae
  Julien Signoles authored 4 years ago
  
  415fd3ae
- [e-acsl] remove RTL functions from Misc (now in RTL) · 10911d8c
  Julien Signoles authored 4 years ago
  
  10911d8c
- [e-acsl] preserve property statuses again · 330266df
  Julien Signoles authored 4 years ago
  
  330266df
- [kernel] property statuses should not be removed when the AST is marked as grown · dfd5bdf3
  Julien Signoles authored 4 years ago
  
  dfd5bdf3
- [e-acsl] removing Keep_status · f4dde577
  Julien Signoles authored 4 years ago
  
  f4dde577
- [e-acsl] remove option -e-acsl-check · 79c8e91d
  Julien Signoles authored 4 years ago
  
  79c8e91d
- [e-acsl] remove option -e-acsl-prepare · 03028e67
  Julien Signoles authored 4 years ago
  
  03028e67
- [e-acsl] adding the RTL AST · 1bf27ed9
  Julien Signoles authored 4 years ago
  
  1bf27ed9
- [e-acsl:typing] predicates with reads or inductively defined may occur · 3b38931b
  Julien Signoles authored 4 years ago
  
  3b38931b
- [eva] better exception handling in Db.Value · 848c5f40
  Julien Signoles authored 4 years ago
  
  848c5f40
- Merge branch 'bugfix/julien/e-acsl-changelog' into 'master' · 3a391deb
  Julien Signoles authored 4 years ago
  
  [E-ACSL] quelques corrections mineures dans le changelog See merge request frama-c/frama-c!2800
  3a391deb
- Update nix/frama-ci.* · a25b9f04
  Virgile Prevosto authored 4 years ago
  
  a25b9f04
- Merge branch 'feature/nix/add_ci_to_metacsl' into 'master' · ae0c30ca
  Virgile Prevosto authored 4 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!2798
  ae0c30ca
- add instructions for testing MetACSL in CI · 297b6a45
  Virgile Prevosto authored 4 years ago
  
  297b6a45
Aug 26, 2020
- [Eva] remove generated option -eva-no-builtins-list · b45463ab
  Andre Maroneze authored 4 years ago
  
  b45463ab
- [e-acsl:changelog] move '.' (dot) at the end of sentences · 0ba1713a
  Julien Signoles authored 4 years ago
  
  0ba1713a
- [e-acsl:changelog] fixed duplicated entries · 8524d0b0
  Julien Signoles authored 4 years ago
  
  8524d0b0
- Update nix/frama-ci.* · 36bf7540
  Virgile Prevosto authored 4 years ago
  
  36bf7540
- Merge branch 'feature/basile/eacsl-99-logical-arrays' into 'master' · ed7aef2d
  Basile Desloges authored 4 years ago
  
  [eacsl] Add support for logical array comparison in E-ACSL Closes e-acsl#99 See merge request frama-c/frama-c!2704
  ed7aef2d
- [eacsl] Update implementation manual · 9fe04063
  Basile Desloges authored 4 years ago
  
  9fe04063
- Merge branch 'feature/dome/more-ts' into 'master' · 79e6cc48
  Loïc Correnson authored 4 years ago
  
  [dome] more typescript modules See merge request frama-c/frama-c!2743
  79e6cc48
- Merge branch 'master' into feature/dome/more-ts · 497e850a
  Loïc Correnson authored 4 years ago
  
  497e850a
Aug 25, 2020
- [ivette] please the linter (no mutable record fields, sic) · 64e9fb7c
  Loïc Correnson authored 4 years ago
  
  64e9fb7c
- [ivette] linter makefile targets · e8ab6ee1
  Loïc Correnson authored 4 years ago
  
  e8ab6ee1
- Merge branch 'fix/wp/why3-opt-error-msg' into 'master' · 2b9db1a5
  Loïc Correnson authored 4 years ago
  
  [WP] fix exception raised by invalid option in -wp-why3-opt See merge request frama-c/frama-c!2795
  2b9db1a5
- [WP] fix exception raised by invalid option in -wp-why3-opt · 4f02ced6
  Andre Maroneze authored 4 years ago
  
  4f02ced6
- Merge branch 'fix/andre/server-batch-json-error' into 'master' · 40d63be2
  Loïc Correnson authored 4 years ago
  
  [Server] fail more gracefully with invalid JSON files See merge request frama-c/frama-c!2794
  40d63be2