Commits · 9e1046c8b8f9c963a9cb7f7aaa82fab84298330e · pub / frama-c · GitLab

Snippets Groups Projects

Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 18, 2022
- [wp] Migrate to frama-c indent · a767fdcb
  Allan Blanchard authored 3 years ago
  
  a767fdcb
Feb 17, 2022
- [wp] raw MemVar instances of VarUsages · d03e73ae
  Loïc Correnson authored 3 years ago
  
  d03e73ae
Nov 05, 2021
- [wp] Removes legacy engine · c9834997
  Allan Blanchard authored 3 years ago
  
  c9834997
Jun 15, 2021
- [wp] Keep only MemVal · 5d03f072
  Allan Blanchard authored 3 years ago
  
  5d03f072
Feb 26, 2021
- [wp] few typos · e4378372
  Loïc Correnson authored 4 years ago
  
  e4378372
Feb 23, 2021
- [wp] Dispatch nullable in Factory · 33c4faca
  Allan Blanchard authored 4 years ago
  
  33c4faca
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Sep 24, 2020
- [MemValue] Add MemValue in the commandline and gui · bec9ca8e
  François Bobot authored 4 years ago
  
  bec9ca8e
- [WP] Add MemValue memory model and reduc plugin · f8ea59e1
  Bouillaguet Quentin authored 7 years ago and François Bobot committed 4 years ago
  
  f8ea59e1
- [MemVal] Add Memory Model based on result of EVA analysis · d6dfbc2f
  Bouillaguet Quentin authored 6 years ago and François Bobot committed 4 years ago
  
  Rebased by commiter
  d6dfbc2f
Sep 07, 2020
- [wp] Moves VarUsage hypotheses computation to MemVar · 7f1ef607
  Allan Blanchard authored 4 years ago
  
  7f1ef607
Jul 27, 2020
- replace occurrences of Pervasives with Stdlib · 09dbe850
  Andre Maroneze authored 4 years ago
  
  09dbe850
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored 4 years ago
  
  22807efc
Jul 21, 2020
- [wp] Moves VarUsage hypotheses computation to MemVar · 0e6c98ac
  Allan Blanchard authored 4 years ago
  
  0e6c98ac
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Jan 30, 2020
- [stdlib] Removes FCMap, und uses stdlib Map instead. · 96f3dbd3
  David Bühler authored 5 years ago
  
  96f3dbd3
Jan 16, 2020
- [WP] Removes an unused parameter from the LogicAssigns.Make functor. · de799415
  David Bühler authored 5 years ago
  
  de799415
Dec 16, 2019
- [WP] No more project driver · 622dcfaa
  Allan Blanchard authored 5 years ago
  
  622dcfaa
Dec 10, 2019
- [WP] Configuration must now provide its rollback routine · 655dcaaa
  Allan Blanchard authored 5 years ago
  
  655dcaaa
Dec 09, 2019
- [WP] Driver modification protected by LogicBuiltins · 423e5f24
  Allan Blanchard authored 5 years ago
  
  423e5f24
Dec 06, 2019
- [WP] Driver locking + Driver project table · 6af0880f
  Allan Blanchard authored 5 years ago
  
  6af0880f
Sep 19, 2019
- [wp] fix refusage lattice · d03442ad
  Loïc Correnson authored 5 years ago
  
  d03442ad
Sep 11, 2019
- [WP] Rename -wp-init-alias -> -wp-alias-init (and corresponding module) · 5f523540
  Allan Blanchard authored 5 years ago
  
  5f523540
Aug 23, 2019
- [wp] context by fonction · aefc8788
  Loïc Correnson authored 5 years ago
  
  aefc8788
- [wp] rename Model into WpContext · 0a0fa832
  Loïc Correnson authored 5 years ago
  
  0a0fa832
Aug 21, 2019
- [wp/region] introducing memory model with region · 4114bbf8
  Loïc Correnson authored 5 years ago
  
  4114bbf8
Jul 26, 2019
- Remove Transitioning functions added in 4.03, 4.04 and 4.05 · 2dae9601
  François Bobot authored 5 years ago
  
  Add migration script
  2dae9601
Feb 25, 2019
- [ocaml] improve compatibility with 4.08: Pervasives.compare · f3c4504d
  Andre Maroneze authored 6 years ago
  
  f3c4504d
Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145
Jan 21, 2019
- [Headers] upgrade distributed files · 45f9b04a
  Loïc Correnson authored 6 years ago
  
  (blind make headers from specifications)
  45f9b04a
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc
Nov 28, 2018
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored 6 years ago
  
  25dc09e0
- [libc] change internal representation of fd_set_t · bd6f3f55
  Andre Maroneze authored 6 years ago
  
  Some case studies (e.g. dyad) use some ugly casts from fd_set_t which lead to the analysis stopping too early. Changing the representation of fd_set_t should also help it better conform to the standard (since a fd_set_t should be able to hold FD_SETSIZE elements).
  bd6f3f55
- [Kernel] allow entries without directory in compile_commands.json · 3ad308cb
  Andre Maroneze authored 6 years ago
  
  3ad308cb
Nov 23, 2018
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · 40750dd7
  Virgile Prevosto authored 6 years ago
  
  [Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
  40750dd7
Nov 22, 2018
- [Eva] Updates alternative test oracles. · 0376a3d3
  David Bühler authored 6 years ago
  
  0376a3d3