Commits · 1c8152330db2cec9dc331bfc14f2f18b45116f9a · pub / frama-c · GitLab

Snippets Groups Projects

Jul 06, 2022
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · 1c815233
  Allan Blanchard authored 2 years ago
  
  1c815233
- Merge branch 'feature/dune/configure-simplification' into 'feature/bobot/jbuilder' · 905d8c45
  Allan Blanchard authored 2 years ago
  
  [Configure] simplification related to config.sed See merge request frama-c/frama-c!3832
  905d8c45
- [Pdg] removes circularity due to postdominators · 74492016
  Patrick Baudin authored 2 years ago
  
  74492016
- [pdg] fix dependency to types · 94e8591f
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  94e8591f
- [Pdg] removes circularity due to postdominators · 1b07d665
  Patrick Baudin authored 2 years ago
  
  1b07d665
- Merge branch 'feature/eva/api-callbacks' into 'master' · 16011f2c
  Valentin Perrelle authored 2 years ago
  
  [Eva] Moves cvalue callbacks into the new Eva API See merge request frama-c/frama-c!3835
  pre-dune
  
  16011f2c
- [Makefile] removes unused parts · f438caea
  Patrick Baudin authored 2 years ago
  
  f438caea
Jul 05, 2022
- [Eva] Documents the public interface of cvalue_callbacks. · 9d306d03
  David Bühler authored 2 years ago
  
  9d306d03
- [Eva] Updates alternative test oracles. · 8db8742a
  David Bühler authored 2 years ago
  
  8db8742a
- [Eva] Updates test oracles. · cf384a5a
  David Bühler authored 2 years ago
  
  cf384a5a
- [from] Uses Eva.Cvalue_callbacks hooks instead of Db.Value. · 00ac995c
  David Bühler authored 2 years ago
  
  00ac995c
- [inout] Uses Eva.Cvalue_callbacks hooks instead of Db.Value. · 44c04724
  David Bühler authored 2 years ago
  
  44c04724
- [Eva] In the engine, applies the callbacks from Cvalue_callbacks. · 2d4ae4d7
  David Bühler authored 2 years ago
  
  2d4ae4d7
- [Eva] New file cvalue_callbacks. · f648b99c
  David Bühler authored 2 years ago
  
  f648b99c
- Check share/Makefile.config available · 4f9d9bb7
  Patrick Baudin authored 2 years ago
  
  4f9d9bb7
- [pdg] fix dependency to types · 4cb7c67d
  Allan Blanchard authored 2 years ago
  
  4cb7c67d
- [Makefile] minor changes · cd0f0074
  Patrick Baudin authored 2 years ago
  
  cd0f0074
Jul 04, 2022
- [Eva] In [call] type, the callstack includes the current call. · 9c3a4505
  David Bühler authored 2 years ago
  
  9c3a4505
- [Makefile] Cleaning share/Makefile.config.in · 161520f8
  Patrick Baudin authored 2 years ago
  
  161520f8
- [Makefile] Cleaning share/Makefile.common · fe2d2cc2
  Patrick Baudin authored 2 years ago
  
  fe2d2cc2
- [Configure] Removes Fc_config.ocaml_wflags · 1a6056c3
  Patrick Baudin authored 2 years ago
  
  1a6056c3
- Merge branch 'fix/update-version-numbers-post-release' into 'master' · 09c34e4f
  Allan Blanchard authored 2 years ago
  
  update version number post release See merge request frama-c/frama-c!3827
  09c34e4f
- removes Makefile.in of plugins · e88d46bd
  Patrick Baudin authored 2 years ago
  
  e88d46bd
- [Makefile] cleaning config.sed · 4b736399
  Patrick Baudin authored 2 years ago
  
  4b736399
- [Configure] Removes Fc_config.lablgtk · f52db46f
  Patrick Baudin authored 2 years ago
  
  f52db46f
- Merge branch 'master' into feature/bobot/jbuilder · 204930ea
  Allan Blanchard authored 2 years ago
  
  204930ea
- [Stdlib] transitioning.ml.in -> transitioning.ml · bb680ec1
  Patrick Baudin authored 2 years ago
  
  bb680ec1
- [Changelog] Removed Db.Pdg · 4e3b0ed8
  Patrick Baudin authored 2 years ago
  
  4e3b0ed8
Jul 01, 2022
- Merge branch 'feature/andre/update-dockerfile-25' into 'master' · fbd03dbf
  Andre Maroneze authored 2 years ago
  
  [Dev] update Docker Makefile for release 25.0 See merge request frama-c/frama-c!3830
  fbd03dbf
- Merge branch 'fix/kernel/const-fold-looping' into 'master' · 91641d09
  Andre Maroneze authored 2 years ago
  
  [kernel] break ill-formed recursion between bitsSizeOf and constfold See merge request frama-c/frama-c!3818
  91641d09
- Merge branch 'feature/dune/removes-pdg-types-from-db' into 'feature/bobot/jbuilder' · 112af4be
  Patrick Baudin authored 2 years ago
  
  Removes Db.Pdg See merge request frama-c/frama-c!3828
  112af4be
- [Dev] update Docker Makefile for release 25.0 · 7c5cb2a0
  Andre Maroneze authored 2 years ago
  
  7c5cb2a0
- [Pdg] pdg_types plugins -> pdg library · ed3bd265
  Patrick Baudin authored 2 years ago
  
  ed3bd265
- [Pdg_types] new plug-in · 44c995c8
  Patrick Baudin authored 2 years ago
  
  44c995c8
- [Pdg] API: Pdg.Register -> Pdg.Marks · 7b7c5ed5
  Patrick Baudin authored 2 years ago
  
  7b7c5ed5
- [Lint] dos2unix · fe98b40c
  Patrick Baudin authored 2 years ago
  
  fe98b40c
- [Pdg] removing Pdg from Db · 1ba76928
  Patrick Baudin authored 2 years ago
  
  1ba76928
Jun 30, 2022
- [Ptests] modif related to enabled_if condition · 0120d895
  Patrick Baudin authored 2 years ago
  
  0120d895
- [Tests] activate value/numerors · 87c738ca
  Patrick Baudin authored 2 years ago
  
  87c738ca
- Merge branch 'feature/ivette/eva-domains' into 'master' · 1102d8d1
  Valentin Perrelle authored 2 years ago
  
  [Eva] In Ivette, new component that prints the internal domain states for the selected marker See merge request frama-c/frama-c!3781
  1102d8d1