Commits · 8423a09cd04339f71b94eb4cf000ca32c19081a1 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 07, 2021
- [e-acsl:tests] one more test case for \sum · 8423a09c
  Julien Signoles authored 3 years ago
  
  8423a09c
- [e-acsl:tests] remove trailing spaces · b0d76f32
  Julien Signoles authored 3 years ago
  
  b0d76f32
- [e-acsl:typing] optimized intervals for \prod · bc7a4365
  Julien Signoles authored 3 years ago
  
  bc7a4365
- [e-acsl] improved comments and code simplification in Translate.extended_quantifier_to_exp · de17b8c7
  Julien Signoles authored 3 years ago
  
  de17b8c7
- lint · ed4446e2
  Julien Signoles authored 3 years ago
  
  ed4446e2
- [interval] improve implementation of \product and \numof · a20bcac6
  Julien Signoles authored 3 years ago
  
  a20bcac6
- [e-acsl] rename test file and refactoring · 2fb3f8f6
  Secret authored 3 years ago and Julien Signoles committed 3 years ago
  
  2fb3f8f6
- [e-acsl]implementation product and numof · eebf27fc
  Felix Ridoux authored 3 years ago and Julien Signoles committed 3 years ago
  
  eebf27fc
- [e-acsl:interval] lint · b3921674
  Julien Signoles authored 3 years ago
  
  b3921674
- [e-acsl:interval] fix the unsoundness bug of \sum · 7d4304e8
  Julien Signoles authored 3 years ago
  
  7d4304e8
- [e-acsl:tests] new test proving the unsoundness of \sum · 30a8d8da
  Julien Signoles authored 3 years ago
  
  30a8d8da
- [e-acsl:tests] improve tests for \sum · 2e9669c7
  Julien Signoles authored 3 years ago
  
  2e9669c7
- [e-acsl:interval] simplify the case of \sum · e945d78d
  Julien Signoles authored 3 years ago
  
  e945d78d
- [e-acsl:interval] style · d6a7ebf5
  Julien Signoles authored 3 years ago
  
  d6a7ebf5
- Merge branch 'feature/patrick/ptests-filter-execnow' into 'master' · ad3f6d07
  Patrick Baudin authored 3 years ago
  
  [Ptests] More use of MODULE directive See merge request frama-c/frama-c!3380
  ad3f6d07
- [Tests] Fixes location of generated files of a test · 5fa714be
  Patrick Baudin authored 3 years ago
  
  5fa714be
- [Tests] using a more flexible @SHARE@ macro · 212d909e
  Patrick Baudin authored 3 years ago
  
  212d909e
- [Ptests] adds warning about deprecated features · 3c0d5d35
  Patrick Baudin authored 3 years ago
  
  3c0d5d35
Oct 06, 2021
- Merge branch 'feature/ivette/messages' into 'master' · 437130a7
  Valentin Perrelle authored 3 years ago
  
  [ivette] New composant Messages: table of messages emitted by Frama-C See merge request frama-c/frama-c!3362
  437130a7
- Merge branch 'fix/eva/octagon-domain' into 'master' · 2f4c2060
  Valentin Perrelle authored 3 years ago
  
  [Eva] Fixes a soundness bug and a precision bug in the octagon domain. See merge request frama-c/frama-c!3357
  2f4c2060
- Merge branch 'fix/andre/sarif-schema' into 'master' · a69459f7
  Virgile Prevosto authored 3 years ago
  
  [MdR] fix URL of SARIF schema for VS Code compatibility See merge request frama-c/frama-c!3365
  a69459f7
- Merge branch 'fix/kernel/doc' into 'master' · b2272837
  Virgile Prevosto authored 3 years ago
  
  Fixes the generation of the code documentation via `make doc`. See merge request frama-c/frama-c!3343
  b2272837
- [Tests] more use of MODULE and PLUGIN directive instead of EXECNOW make command · 276ce836
  Patrick Baudin authored 3 years ago
  
  276ce836
- Merge branch 'feature/patrick/tests-with-dev-null' into 'master' · 92a294d8
  Patrick Baudin authored 3 years ago
  
  [dev] replace hard-coded usages of /dev/null in Sys.command calls (cont.) See merge request frama-c/frama-c!3375
  92a294d8
- [tests] add targets to EXECNOW commands · 8cc62e27
  Andre Maroneze authored 3 years ago
  
  8cc62e27
- Merge branch 'fix/wp/framed-condition' into 'master' · 27d5b389
  Allan Blanchard authored 3 years ago
  
  [wp] Fix frame condition Closes #2575 See merge request frama-c/frama-c!3377
  27d5b389
Oct 05, 2021
- [Tests] uses MODULE and PLUGIN directives instead of EXECNOW make command · a45d65fb
  Patrick Baudin authored 3 years ago
  
  a45d65fb
- [Tests] WP adds targets to EXECNOW command · 39298ca9
  Patrick Baudin authored 3 years ago
  
  39298ca9
- [Tests] uses the new ptests macro @DEV_NULL@ · 2491b642
  Patrick Baudin authored 3 years ago
  
  2491b642
- [Ptests] no more use of explicit /dev/null in ptests.ml · ee95789f
  Patrick Baudin authored 3 years ago
  
  ee95789f
- Merge branch 'feature/eva/wkey-unknown-size' into 'master' · 05293787
  David Bühler authored 3 years ago
  
  [Eva] add warning key unknown-size See merge request frama-c/frama-c!3372
  05293787
- [Eva] add warning key unknown-size · 654db452
  Andre Maroneze authored 3 years ago and David Bühler committed 3 years ago
  
  654db452
- [wp] Fix frame condition · b169eb33
  Allan Blanchard authored 3 years ago
  
  b169eb33
- Merge branch 'feature/basile/eacsl-lint' into 'master' · 98e00d8b
  Basile Desloges authored 3 years ago
  
  [eacsl] Check C linting with clang-format and check for TAB in Changelog See merge request frama-c/frama-c!3373
  98e00d8b
- [eacsl] Add formatting commits to .git-blame-ignore-revs · 6971fc28
  Basile Desloges authored 3 years ago
  
  6971fc28
- [eacsl] Update oracles · dc99367c
  Basile Desloges authored 3 years ago
  
  dc99367c
- [eacsl] Executing clang-format on C files · 51657544
  Basile Desloges authored 3 years ago
  
  51657544
- [eacsl] Add E-ACSL specific linting · 090251ba
  Basile Desloges authored 3 years ago
  
  090251ba
- [eacsl] Prepare C sources before clang-format · c8df4b71
  Basile Desloges authored 3 years ago
  
  c8df4b71
Oct 04, 2021
- Merge branch 'bugfix/basile/eacsl-init-function-test' into 'master' · 9b464ff0
  Julien Signoles authored 3 years ago
  
  [eacsl] Fix `init_function.c` test See merge request frama-c/frama-c!3374
  9b464ff0