Commits · 7ba96e4ab2a79cb57ef87e95cb55f02dca4403e2 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 01, 2022
- [Opam] "yojson" { >= "1.6.0" & < "2.0.0" } · 7ba96e4a
  Patrick Baudin authored 2 years ago
  
  7ba96e4a
- [dune/bin] remove useless ./bin/rebuild.sh · d6edc53d
  Loïc Correnson authored 2 years ago
  
  d6edc53d
- [Script] improves 'bin/tests.sh --verbose' · c35077ae
  Patrick Baudin authored 2 years ago
  
  c35077ae
- [build] document DUNE_DISPLAY · 6012a7aa
  Allan Blanchard authored 2 years ago
  
  6012a7aa
- Merge branch 'feature/bobot/jbuilder' into feature/dune/feedback · b5bdf082
  Patrick Baudin authored 2 years ago
  
  b5bdf082
- [Testing] counts the number of generated *.res.log · 83cae35a
  Patrick Baudin authored 2 years ago
  
  83cae35a
Jun 30, 2022
- [dune] document config in ./bin/test.sh · 3fbe9f57
  Loïc Correnson authored 2 years ago
  
  3fbe9f57
- [dune] fix ./bin/test help on variables · d5dd7209
  Loïc Correnson authored 2 years ago
  
  d5dd7209
- [dune] fix ./bin/test wp-cache update msg · 589747be
  Loïc Correnson authored 2 years ago
  
  589747be
- [dune/test] fixed ./bin/test.sh · 75160a7a
  Loïc Correnson authored 2 years ago
  
  75160a7a
- [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
- [build] variable for verbose build · b4db853a
  Allan Blanchard authored 2 years ago
  
  b4db853a
- [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
- [Script] bin/tests.sh: Clone/Pull WP-Cache · f318360b
  Patrick Baudin authored 2 years ago
  
  f318360b
- [Tests] modifies the proposal related to FRAMAC_WP_CACHEDIR · b27c36e4
  Patrick Baudin authored 2 years ago
  
  b27c36e4
- [WP] modifies a DEPS in a test · 52d55d6d
  Patrick Baudin authored 2 years ago
  
  52d55d6d
- [ptests] allows dependencies to ~/.why3.conf · e69d03fd
  Patrick Baudin authored 2 years ago
  
  e69d03fd
- [Tests] adds a fix proposal related to FRAMAC_WP_CACHEDIR · e2f7843a
  Patrick Baudin authored 2 years ago
  
  e2f7843a
- [bin] removed useless bin/wp-qualif.sh · 22bea710
  Loïc Correnson authored 2 years ago and Patrick Baudin committed 2 years ago
  
  22bea710
- [bin] test script helper · 708fd956
  Loïc Correnson authored 2 years ago and Patrick Baudin committed 2 years ago
  
  708fd956
- [bin] update rebuild scripts · d3eb8d49
  Loïc Correnson authored 2 years ago and Patrick Baudin committed 2 years ago
  
  d3eb8d49
- [WP] add wp/why3 tests · f99600ff
  Loïc Correnson authored 2 years ago and Patrick Baudin committed 2 years ago
  
  f99600ff
- [Opam] fixes 'depends' and 'depopts' refer to the same ppx_deriving_yojson · 21328354
  Patrick Baudin authored 2 years ago
  
  21328354
- [Tests] uses offline mode for the WP cache · 7955b128
  Patrick Baudin authored 2 years ago
  
  7955b128
- [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