Commits · a77c0883c47ad3920be6d30d4605bd1c9bd8b251 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 20, 2021
- [Kernel] Export State_builder.Ref.Datatype.t constraint · a77c0883
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  a77c0883
- [Server] Syncvalues and SyncStates hooks can now accept any argument · 52509dd2
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  52509dd2
- [Ivette] Text in the EvaSummary component is now selectable · d84cc575
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  d84cc575
- [Ivette] Fix Eva Summary component loading · 6c20eadf
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  6c20eadf
- [Ivette] Formatted the Eva summary · 0df319ec
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  0df319ec
- [Eva] Server API for analysis statistics · eb253cc3
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  eb253cc3
- Merge branch 'feature/thibaut/e-acsl-add-tests' into 'master' · c293bf9f
  Julien Signoles authored 3 years ago
  
  Add tests in e-acsl See merge request frama-c/frama-c!3305
  c293bf9f
- [e-acsl] tests for sums inside logic functions · 36e36ee5
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  36e36ee5
- [e-acsl] test for nested quantifiers · d4f6781b
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  d4f6781b
Oct 19, 2021
- [ci] reset default branch for master · a5121b40
  Virgile Prevosto authored 3 years ago
  
  a5121b40
- Merge remote-tracking branch 'origin/stable/chromium' · b5fac5ca
  Virgile Prevosto authored 3 years ago
  
  b5fac5ca
- [ci] fix target branch for stable/chromium · 4079bbbc
  Virgile Prevosto authored 3 years ago
  
  4079bbbc
- Merge branch 'feature/basile/eacsl-remove-which' into 'master' · b3700da0
  Julien Signoles authored 3 years ago
  
  [eacsl] Replace `which` with `command -v` See merge request frama-c/frama-c!3401
  b3700da0
Oct 18, 2021
- Merge branch 'feature/patrick/chromium-2-master' into 'stable/chromium' · 282b7ac6
  Patrick Baudin authored 3 years ago
  
  removing unused file See merge request frama-c/frama-c!3403
  282b7ac6
- Merge branch 'feature/patrick/chromium-2-master' · 8367a87c
  Patrick Baudin authored 3 years ago
  
  8367a87c
- removing unused file · f8b546e1
  Patrick Baudin authored 3 years ago
  
  f8b546e1
- Merge branch 'feature/ivette/file_name_in_source_code_component' into 'master' · 967745ef
  Loïc Correnson authored 3 years ago
  
  [ivette] Source code improvements See merge request frama-c/frama-c!3347
  967745ef
- Merge branch 'feature/patrick/chromium-2-master' into 'master' · 9087904a
  Patrick Baudin authored 3 years ago
  
  Deverse stable/chromium into master See merge request frama-c/frama-c!3402
  9087904a
- Merge branch 'master' into feature/ivette/file_name_in_source_code_component · 81deca80
  Loïc Correnson authored 3 years ago
  
  81deca80
Oct 15, 2021
- [eacsl] Replace `which` with `command -v` · e1e2d1d1
  Basile Desloges authored 3 years ago
  
  e1e2d1d1
- Merge branch 'feature/patrick/integer-library' into 'master' · 52ea4b68
  Patrick Baudin authored 3 years ago
  
  Integer library See merge request frama-c/frama-c!3399
  52ea4b68
- [library] remove dependency to Frama-C kernel for integer.mli library · 5dc3ce84
  Patrick Baudin authored 3 years ago
  
  5dc3ce84
- Removing Ocaml Warning 6: ommited label in the application of function · a561c00c
  Patrick Baudin authored 3 years ago
  
  a561c00c
- Merge branch 'fix/andre/remove-verisec' into 'stable/chromium' · 49f1a1b1
  Valentin Perrelle authored 3 years ago
  
  Fix/andre/remove verisec See merge request frama-c/frama-c!3316
  49f1a1b1
- Merge branch 'fix/andre/analysis-scripts-find-fun' into 'stable/chromium' · 7b45efa3
  Valentin Perrelle authored 3 years ago
  
  [analysis-scripts] avoid following symbolic links for better performance See merge request frama-c/frama-c!3329
  7b45efa3
Oct 14, 2021
- Merge branch 'fix/test-oracles-vtests' into 'stable/chromium' · 4b8e893f
  Andre Maroneze authored 3 years ago
  
  Fix/test oracles vtests See merge request frama-c/frama-c!3396
  4b8e893f
- Merge branch 'feature/eva/set-comprehension' into 'stable/chromium' · 71cafbc5
  Andre Maroneze authored 3 years ago
  
  [Eva] Support the evaluation of ACSL set comprehension See merge request frama-c/frama-c!3099
  71cafbc5
- Merge branch 'feature/eva/error-exit' into 'stable/chromium' · b449c1c3
  Andre Maroneze authored 3 years ago
  
  [Eva] Removes exception Db.Value.Aborted; uses abort/fatal instead. See merge request frama-c/frama-c!3203
  b449c1c3
- [tests] update alternative test oracles and fix vtests script · 98269f82
  Andre Maroneze authored 3 years ago
  
  98269f82
- fix test oracle · 82df7d2b
  Andre Maroneze authored 3 years ago
  
  82df7d2b
- Merge branch 'feature/andre/libc-asprintf' into 'stable/chromium' · f76a0682
  Andre Maroneze authored 3 years ago
  
  [Libc] add semi-spec and stub for non-POSIX asprintf See merge request frama-c/frama-c!3386
  f76a0682
- Merge branch 'fix/andre/more-very-large-integers' into 'stable/chromium' · cb03a313
  Andre Maroneze authored 3 years ago
  
  Fix/andre/more very large integers See merge request frama-c/frama-c!3391
  cb03a313
Oct 13, 2021
- Merge branch 'fix/json/json-type' into 'master' · 80176f63
  Andre Maroneze authored 3 years ago
  
  [Json] Use Json.t instead of Yojson.Basic.t See merge request frama-c/frama-c!3388
  80176f63
- Merge branch 'thibaut/bugfix/sums_gmp' into 'master' · 8db71ab1
  Julien Signoles authored 3 years ago
  
  Thibaut/bugfix/sums gmp Closes e-acsl#182 See merge request frama-c/frama-c!3390
  8db71ab1
- Merge branch 'fix/wp/const-volatile-store' into 'master' · 97a6479f
  Allan Blanchard authored 3 years ago
  
  Fix store of a volatile read See merge request frama-c/frama-c!3383
  97a6479f
- [kernel] Fixes the Eva run of the test very_large_integers.c · d1de54b4
  David Bühler authored 3 years ago
  
  d1de54b4
- [Libc] add semi-spec and stub for non-POSIX asprintf · 1b013a8b
  Andre Maroneze authored 3 years ago
  
  1b013a8b
- [kernel] Minor simplification and comment in cabs2cil. · 1f689741
  David Bühler authored 3 years ago
  
  1f689741
- [e-acsl] minor corrections · a14aaeaf
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  a14aaeaf
- [e-acsl] oracle for config dev test · a8c651ae
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  a8c651ae