Commits · 9eb686fa0b7f741d3746f45a13038d66991aefcc · pub / frama-c

Jan 07, 2021
- [doc] update docs wrt last commit · 9eb686fa
  Julien Signoles authored 4 years ago
  
  9eb686fa
- [kernel] allow -add-symbolic-path to survive saves/loads · 7cbc7b4a
  Julien Signoles authored 4 years ago
  
  7cbc7b4a
- [kernel] linting special_hooks.ml · cc58e022
  Julien Signoles authored 4 years ago
  
  cc58e022
- [kernel] restructure special_hooks.ml · fb4d9f67
  Julien Signoles authored 4 years ago
  
  fb4d9f67
- Merge branch 'fix/andre/python3-compliance-tests' into 'master' · 670a9b68
  Valentin Perrelle authored 4 years ago
  
  [compliance] use python3 for tests (no extra dependency) See merge request frama-c/frama-c!3011
  670a9b68
- Merge branch 'fix/wp/null-is-invalid' into 'master' · 0221db7f
  Loïc Correnson authored 4 years ago
  
  [wp] Improves null (in)validity Closes #48 See merge request frama-c/frama-c!2997
  0221db7f
- Merge branch 'fix/wp/pub-issue-50' into 'master' · ac5590be
  Loïc Correnson authored 4 years ago
  
  Fixes issues pointed in #50 Closes #50 See merge request frama-c/frama-c!3010
  ac5590be
- [kernel] Fixes unop logic coercion · 70af2780
  Allan Blanchard authored 4 years ago
  
  70af2780
- [compliance] add c11_headers.json to distributed files · 910d948b
  Andre Maroneze authored 4 years ago
  
  910d948b
- [compliance] use python3 for tests (no extra dependency) · ee1180cd
  Andre Maroneze authored 4 years ago
  
  ee1180cd
Jan 06, 2021
- [wp] Fixes dispatch of sqrt in real mode · 9fa07ffc
  Allan Blanchard authored 4 years ago
  
  9fa07ffc
Jan 05, 2021
- [wp] Adds tests for simplifiers + generalize some · 06429422
  Allan Blanchard authored 4 years ago
  
  06429422
- Merge branch 'fix/andre/make-byte-only' into 'master' · bc8c9746
  Julien Signoles authored 4 years ago
  
  [E-ACSL] avoid cmx dependencies when in a byte-only architecture Closes #1000 See merge request frama-c/frama-c!3006
  bc8c9746
- It is a bug fix. · bfe32935
  Julien Signoles authored 4 years ago
  
  bfe32935
- update E-ACSL changelog · 0365df8f
  Andre Maroneze authored 4 years ago
  
  0365df8f
Jan 04, 2021
- [E-ACSL] avoid cmx dependencies when in a byte-only architecture · 2c2bef5b
  Andre Maroneze authored 4 years ago
  
  2c2bef5b
- Merge branch 'fix/kernel/bool-incr' into 'master' · 1caffe76
  Virgile Prevosto authored 4 years ago
  
  Fixes the _Bool normalization on increment/decrement operators Closes #996 See merge request frama-c/frama-c!3000
  1caffe76
Dec 23, 2020
- [Doc] fix a few typos in the developer manual · 9be773d9
  Andre Maroneze authored 4 years ago
  
  9be773d9
Dec 22, 2020

Merge branch 'feature/andre/compliance-difficulty' into 'master' · afefab9b

Andre Maroneze authored 4 years ago

[Compliance] change JSON format and add notes and data to help estimate difficulty

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

afefab9b

Dec 21, 2020
- Merge branch 'feature/ivette/eva-values' into 'master' · 2fa5f305
  Loïc Correnson authored 4 years ago
  
  [Ivette] new component for eva values See merge request frama-c/frama-c!2969
  2fa5f305
- [Compliance] Light (only one use of GADT) refactoring · ff9f5326
  Valentin Perrelle authored 4 years ago and Andre Maroneze committed 4 years ago
  
  ff9f5326
- [Compliance] fix missing math.h macros · e12caedd
  Andre Maroneze authored 4 years ago
  
  e12caedd
- [Compliance] add C11 headers · 27d8c48f
  Andre Maroneze authored 4 years ago
  
  27d8c48f
- [Compliance] make JSON structure more uniform (objects instead of arrays) · ebaef508
  Andre Maroneze authored 4 years ago
  
  ebaef508
- [Compliance] add Frama-C support level for POSIX headers · e865f729
  Andre Maroneze authored 4 years ago
  
  e865f729
- [Compliance] add Variadic plug-in information for POSIX functions · a9552da8
  Andre Maroneze authored 4 years ago
  
  a9552da8
- [Compliance] simplify structure of JSON files (use identifier as object key) · cc7dde65
  Andre Maroneze authored 4 years ago
  
  cc7dde65
- [Compliance] add checks of syntactic validity of JSON files · fa1e6905
  Andre Maroneze authored 4 years ago
  
  fa1e6905
- [compliance] add safer alternatives for unsafe functions · 3d6d8586
  Dario Pinto authored 4 years ago and Andre Maroneze committed 4 years ago
  
  3d6d8586
- [Compliance] add notes for C11 functions (to estimate difficulty) · 84f44100
  Andre Maroneze authored 4 years ago
  
  84f44100
- [ivette] Fixes linting. · 01e77bdd
  David Bühler authored 4 years ago
  
  01e77bdd
Dec 18, 2020
- [ivette/eva] show alarms · 95ddbd6f
  Loïc Correnson authored 4 years ago
  
  95ddbd6f
- [ivette/eva] alarms icon in cells · bb3f1dbc
  Loïc Correnson authored 4 years ago
  
  bb3f1dbc
- [ivette/eva] diffed values in cells · c478c1c9
  Loïc Correnson authored 4 years ago
  
  c478c1c9
- [ivette/eva] refactor state into model · 279decc8
  Loïc Correnson authored 4 years ago
  
  279decc8
- [ivette/eva] diff text component · a75bf9ee
  Loïc Correnson authored 4 years ago
  
  a75bf9ee
- [ivette/eva] fix function & callstack selection · 77392ed5
  Loïc Correnson authored 4 years ago
  
  77392ed5
- add linting commit to be ignored by git-blame · 9f4050ba
  Andre Maroneze authored 4 years ago
  
  9f4050ba
- [ivette/eva] display callstack infos · 0acd1a60
  Loïc Correnson authored 4 years ago
  
  0acd1a60
Dec 17, 2020
- [ivette/eva] row selection · 995717c1
  Loïc Correnson authored 4 years ago
  
  995717c1