Commits · 8485cd471969b628568ee5c82a363b620b6d6346 · pub / frama-c

Nov 27, 2019
- [Builtin] Now generates function definitions · 8485cd47
  Allan Blanchard authored 5 years ago
  
  8485cd47
- [Builtin] Override Std becomes Builtin · c34eb69b
  Allan Blanchard authored 5 years ago
  
  c34eb69b
- [Override Std] Pointers to arrays OK · 6c5f6649
  Allan Blanchard authored 5 years ago
  
  6c5f6649
- [Override Std] Fix missing \result in memcpy/move · fb50cf91
  Allan Blanchard authored 5 years ago
  
  fb50cf91
- [Override Std] Some tests for the generated contracts · 86acae47
  Allan Blanchard authored 5 years ago
  
  86acae47
- [Override Std] Shorter option · 3f257364
  Allan Blanchard authored 5 years ago
  
  3f257364
- [Override Std] Do not add "restrict" in overrides · dd574e42
  Allan Blanchard authored 5 years ago
  
  dd574e42
- [Override Std] Adds memmove · 15cc714e
  Allan Blanchard authored 5 years ago
  
  15cc714e
- [Override Std] Simplifies spec generation · 7f1bcb82
  Allan Blanchard authored 5 years ago
  
  7f1bcb82
- [Override Std] Override for memcmp · 4234aa46
  Allan Blanchard authored 5 years ago
  
  4234aa46
- [Override Std] Module utility for override tables · 1d65383b
  Allan Blanchard authored 5 years ago
  
  1d65383b
- [Override Std] New default: Disabled · e7b631d5
  Allan Blanchard authored 5 years ago
  
  e7b631d5
- [Override Std] License headers · 8489a20a
  Allan Blanchard authored 5 years ago
  
  8489a20a
- [Override Std] Lint · 58bd23af
  Allan Blanchard authored 5 years ago
  
  58bd23af
- [Override Std] Initial version · a0337b4c
  Allan Blanchard authored 5 years ago
  
  a0337b4c
Nov 22, 2019

Merge branch 'feature/andre/gui-reset' into 'master' · 029ac347

Loïc Correnson authored 5 years ago

[Gui] add 'Reset to factory settings' to Preferences panel

Closes #746

See merge request frama-c/frama-c!2448

029ac347

Nov 18, 2019
- [Gui] add 'Reset to factory settings' to Preferences panel · 8165afe6
  Andre Maroneze authored 5 years ago
  
  8165afe6
- Merge branch 'fix/virgile/expr-term-boolean-ops' into 'master' · 47977ae6
  Allan Blanchard authored 5 years ago
  
  Better translation of expr to terms Closes #743 See merge request frama-c/frama-c!2447
  47977ae6
Nov 15, 2019
- [logic] Cosmetic transformation · 51aee8f3
  Virgile Prevosto authored 5 years ago
  
  Converting a boolean `b` into predicate with `b != \false` is definitely too ugly.
  51aee8f3
- [logic] make mk_cast aware of logic coercions · d9c0c704
  Virgile Prevosto authored 5 years ago
  
  d9c0c704
- [logic] make appropriate coercion in expr_to_term · 657e7bd3
  Virgile Prevosto authored 5 years ago
  
  657e7bd3
- [logic] better typed expr_to_term conversion · 8162a768
  Virgile Prevosto authored 5 years ago
  
  argument of ACSL `!` is supposed to be a boolean, not an int
  8162a768
- test for conversion issue · ddee95a4
  Virgile Prevosto authored 5 years ago
  
  ddee95a4
- Merge branch 'fix/virgile/acsl-extend-739' into 'master' · f4dc2445
  Allan Blanchard authored 5 years ago
  
  Don't trust ACSL typing extension too much Closes #739 See merge request frama-c/frama-c!2438
  f4dc2445
- [logic] fix error handling in extensions · 1ac80ff1
  Virgile Prevosto authored 5 years ago
  
  Don't treat as fatal internal error of the extension exceptions that are raised as part of the standard error mechanism provided by the typing context.
  1ac80ff1
- [logic] more precise error message when typing extension raises an exn · 9a473c43
  Virgile Prevosto authored 5 years ago
  
  9a473c43
Nov 14, 2019
- Merge branch 'fix/andre/migration-script' into 'master' · c1ca1c91
  Andre Maroneze authored 5 years ago
  
  [dev] do not stop migration script on errors See merge request frama-c/frama-c!2439
  c1ca1c91
Nov 12, 2019
- Merge branch 'fix/doc-install-wsl' into 'master' · 57f36a1b
  Allan Blanchard authored 5 years ago
  
  [Doc] update INSTALL.md for Windows See merge request frama-c/frama-c!2440
  57f36a1b
- [Doc] update INSTALL.md for Windows · 2130d50f
  Andre Maroneze authored 5 years ago
  
  2130d50f
- [dev] do not stop migration script on errors · 939a1a16
  Andre Maroneze authored 5 years ago
  
  939a1a16
Nov 08, 2019
- [logic] don't trust extension function to catch their Not_found exceptions · 2f5ceae6
  Virgile Prevosto authored 5 years ago
  
  2f5ceae6
- [tests] simplify test · e7cdfd97
  Virgile Prevosto authored 5 years ago
  
  - no 3d party module dependency - don't have a stack dump as oracle
  e7cdfd97
- [test] test case for reported issue · 714a13d3
  Virgile Prevosto authored 5 years ago
  
  714a13d3
Nov 06, 2019
- Merge branch 'fix/release/calcium-preparations' into 'master' · 7d62b3d0
  Andre Maroneze authored 5 years ago
  
  Fix/release/calcium preparations See merge request frama-c/frama-c!2435
  7d62b3d0
- update entries in Changelogs · 912a47cf
  Andre Maroneze authored 5 years ago
  
  912a47cf
- [developer] fix version in Changes · f95431e4
  Andre Maroneze authored 5 years ago
  
  f95431e4
- [opam] update link to (yet non-existing) documentation · afc0ddcb
  Andre Maroneze authored 5 years ago
  
  afc0ddcb
Nov 05, 2019
- [Server] ensure sources are distributed when zmq is not installed · 08ad1f0b
  Andre Maroneze authored 5 years ago
  
  08ad1f0b
- [release] check for distributed plugin in .tar.gz · 69e0512f
  Andre Maroneze authored 5 years ago
  
  69e0512f
- [release] add more precise instructions · bf87f4c2
  Andre Maroneze authored 5 years ago
  
  bf87f4c2