Commits · cd0f0074fbcc30e67d1871b75ec3201a76409329 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 05, 2022
- [Makefile] minor changes · cd0f0074
  Patrick Baudin authored 2 years ago
  
  cd0f0074
Jul 04, 2022
- [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
- 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
- [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/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
- [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
- [Configure] disabled plugins are listed by 'dune build @frama-c-configure' · 1935cb6d
  Patrick Baudin authored 2 years ago
  
  1935cb6d
Jun 29, 2022
- [Configure] disabled plugins are listed by 'dune build @ptests' · 035d6071
  Patrick Baudin authored 2 years ago
  
  035d6071
Jun 28, 2022
- [ptests] fixes enabled_if condition related to plugins · 957859ff
  Patrick Baudin authored 2 years ago
  
  957859ff
Jun 27, 2022
- Merge branch 'feature/dune/configure-plugins' into 'feature/bobot/jbuilder' · e5be63a9
  Patrick Baudin authored 2 years ago
  
  [Dune] Configure enabled plugins See merge request frama-c/frama-c!3819
  e5be63a9
- [ptests] adds more enabled_if · 944ea4fb
  Patrick Baudin authored 2 years ago
  
  944ea4fb
Jun 24, 2022
- [ptests] uncomments the dune directive (enabled_if...) · c2d16d2b
  Patrick Baudin authored 2 years ago
  
  c2d16d2b
- [Dune] Using required (lang dune 2.9) into dune-project files · b0dc50af
  Patrick Baudin authored 2 years ago
  
  b0dc50af
- [Dune] make plugins optional · 99af4a71
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  99af4a71
- [dune] configure plugin list (cont.) · 5e98e848
  Patrick Baudin authored 2 years ago
  
  5e98e848
- [dune] configure plugin list · 2866a7f2
  Allan Blanchard authored 2 years ago and Patrick Baudin committed 2 years ago
  
  2866a7f2
- Moving pdg_types and value_types out of src/plugins · 146af245
  Patrick Baudin authored 2 years ago
  
  146af245
- Removes lines related to the PLUGIN_LIST and EXTERNAL_PLUGINS · 705d68f1
  Patrick Baudin authored 2 years ago
  
  705d68f1
Jun 22, 2022
- [Tests] disable tests related to Apron · fe96b0e2
  Patrick Baudin authored 2 years ago
  
  fe96b0e2
- [Tests] E-ACSL - ptests directive EXEC -> EXECNOW (same sematics with dune) · eeff3625
  Patrick Baudin authored 2 years ago
  
  eeff3625
- Merge branch 'feature/patrick/dune-mac-os' into 'feature/bobot/jbuilder' · 924c0445
  Patrick Baudin authored 2 years ago
  
  For MAC-OS See merge request frama-c/frama-c!3811
  924c0445
- [Makefile] conditional definition for MacOS · d7197997
  Patrick Baudin authored 2 years ago
  
  d7197997
- change 'xargs --null' -> 'xargs -0' · aa30d328
  Patrick Baudin authored 2 years ago
  
  aa30d328
Jun 21, 2022
- Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder · 60561f29
  Allan Blanchard authored 2 years ago
  
  60561f29
- Merge branch 'feature/thibaut/eacsl-typing-linear' into 'master' · f247ee15
  Julien Signoles authored 2 years ago
  
  [E-ACSL] Linear Typing See merge request frama-c/frama-c!3456
  f247ee15
Jun 20, 2022
- Merge branch 'fix/ci/yojson-force-1-7-0' into 'master' · 970f590b
  Allan Blanchard authored 2 years ago
  
  [ci] force yojson to 1.7.0 See merge request frama-c/frama-c!3817
  970f590b
- Removes some TABs in share/Makefile.linting · 1ab79926
  Patrick Baudin authored 2 years ago
  
  1ab79926
- [ci] force yojson to 1.7.0 · fcb19c09
  Allan Blanchard authored 2 years ago
  
  fcb19c09
- Merge branch 'fix/andre/modernize-html' into 'master' · 04c35581
  Patrick Baudin authored 2 years ago
  
  Modernize HTML headers and set utf-8 encoding See merge request frama-c/frama-c!3803
  04c35581