Commits · 1d52e20b1d8efeaf9eef18fbe6435194030d75d3 · pub / frama-c · GitLab

Snippets Groups Projects

Aug 27, 2020
- fix typo in comment · 1d52e20b
  Virgile Prevosto authored 4 years ago
  
  1d52e20b
- 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
- [CI] Fix internal · c0c0e17e
  François Bobot authored 4 years ago
  
  c0c0e17e
- [CI] Fix internal · 7c74bbc4
  François Bobot authored 4 years ago
  
  7c74bbc4
- [Server] fail more gracefully with invalid JSON files · ee8bf048
  Andre Maroneze authored 4 years ago
  
  ee8bf048
Aug 24, 2020
- [eacsl] Update changelog · 315ab85d
  Basile Desloges authored 4 years ago
  
  315ab85d
- [eacsl] Add tests for the support of logic arrays · 1e6b0636
  Basile Desloges authored 4 years ago
  
  1e6b0636
- [eacsl] Add support for logic arrays in `Translate.comparison_to_exp` · 3441230f
  Basile Desloges authored 4 years ago
  
  3441230f
- [eacsl] Add a module supporting the translation of logic arrays to expressions · 52b0e43a
  Basile Desloges authored 4 years ago
  
  52b0e43a
- [eacsl] Add a way to filter generated RTE annotations · d788d610
  Basile Desloges authored 4 years ago
  
  d788d610
- [eacsl] Create a function in Env to call an RTL function and store the result in a new variable · 5aa26731
  Basile Desloges authored 4 years ago
  
  5aa26731
- [eacsl] Update code with calls to Constructor module · 7496a86a
  Basile Desloges authored 4 years ago
  
  7496a86a
- [eacsl] Add constructor functions to manipulate expressions and statements · 9c5b45de
  Basile Desloges authored 4 years ago
  
  9c5b45de
- [eacsl] Add a function to check if a type is any of the GMP types · efe25831
  Basile Desloges authored 4 years ago
  
  efe25831
- Merge branch 'fix/andre/tests-fc-script' into 'master' · 38296d70
  Andre Maroneze authored 4 years ago
  
  [tests] Stabilize fc_script oracle when Frama-C is in the path See merge request frama-c/frama-c!2790
  38296d70
- [tests] Stabilize fc_script oracle when Frama-C is in the path · 35b50156
  Andre Maroneze authored 4 years ago
  
  35b50156
Aug 21, 2020
- Merge branch 'feature/fix_ci2' into 'master' · d28cc92b
  François Bobot authored 4 years ago
  
  Fix frama-clang CI See merge request frama-c/frama-c!2791
  d28cc92b
- Try to update version used by frama-c-clang · c395c61c
  François Bobot authored 4 years ago
  
  c395c61c
- [CI] Fix frama-clang in internal · 07211ca8
  François Bobot authored 4 years ago
  
  07211ca8
Aug 07, 2020
- Update nix/frama-ci.* · a9a5eeca
  Virgile Prevosto authored 4 years ago
  
  a9a5eeca
- Merge branch 'feature/frama-clang-ci' into 'master' · fb27ad8e
  Virgile Prevosto authored 4 years ago
  
  Update Frama-CI data See merge request frama-c/frama-c!2785
  fb27ad8e
- Merge branch 'bugfix/basile/reverse-mk-runtime-check' into 'master' · 2b43aabf
  Julien Signoles authored 4 years ago
  
  [eacsl] Fix `reverse` parameter of `mk_runtime_check` Closes e-acsl#122 See merge request frama-c/frama-c!2774
  2b43aabf
Aug 06, 2020
- [eacsl] Remove `reverse` parameter of `mk_runtime_check` · 7cf1420c
  Basile Desloges authored 4 years ago
  
  7cf1420c
- [eacsl] Update div by zero guard to not use `~reverse:true` · 57a28d88
  Basile Desloges authored 4 years ago
  
  57a28d88