Commits · dc03f56edd80807438d3a40e9a6c27c2a2c538f1 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 06, 2022
- [Script] bin/tests.sh - adds option -s to save dune logs into a file · dc03f56e
  Patrick Baudin authored 2 years ago
  
  dc03f56e
- [Script] bin/tests.sh - option -v gives more details · 5e6a78bf
  Patrick Baudin authored 2 years ago
  
  5e6a78bf
- Merge branch 'feature/bobot/jbuilder' into feature/dune/feedback · 3fef0f1f
  Patrick Baudin authored 2 years ago
  
  3fef0f1f
- [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
Jul 05, 2022
- [Script] ./bin/tests.sh - fixes Usage · 81a77e97
  Patrick Baudin authored 2 years ago
  
  81a77e97
- [Script] ./bin/tests.sh - fixes pull · d9f39f89
  Patrick Baudin authored 2 years ago
  
  d9f39f89
- [Script] ./bin/tests.sh - fixes SetEnv · e2f3669c
  Patrick Baudin authored 2 years ago
  
  e2f3669c
- Merge branch 'feature/dune/tests-aorai-prove' into 'feature/dune/feedback' · cdab973a
  Patrick Baudin authored 2 years ago
  
  [Aorai] tests - Adds explicit deps to WP cache env_var See merge request frama-c/frama-c!3834
  cdab973a
Jul 04, 2022
- [Aorai] tests - factorize OPT directive (cont.) · 0c3b39a0
  Patrick Baudin authored 2 years ago
  
  0c3b39a0
- [Aorai] tests - factorize OPT directive · ed55ea2c
  Patrick Baudin authored 2 years ago
  
  ed55ea2c
- [Ptests] 'STDOPT: options' defaults to 'STDOPT: +"options"' · e1359d97
  Patrick Baudin authored 2 years ago
  
  e1359d97
- Merge branch 'feature/dune/tests-wp-qualif' into 'feature/dune/feedback' · 2e31147d
  Patrick Baudin authored 2 years ago
  
  [WP] tests - Adds explicit deps to WP cache env_var See merge request frama-c/frama-c!3833
  2e31147d
- [WP] tests - Adds explicit deps to WP cache env_var · a18e6600
  Patrick Baudin authored 2 years ago
  
  a18e6600
- [Ptests] allows DEPS: env_var:FRAMAC_WP_CACHE · ca5da921
  Patrick Baudin authored 2 years ago
  
  ca5da921
- [WP] tests - config.sh · bbbed948
  Patrick Baudin authored 2 years ago
  
  bbbed948
- Merge branch 'master' into feature/bobot/jbuilder · 204930ea
  Allan Blanchard authored 2 years ago
  
  204930ea
- [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/small-refacto-tests' into 'feature/dune/feedback' · d74d6d43
  Allan Blanchard authored 2 years ago
  
  [ptests] changes Makefile.testing variables See merge request frama-c/frama-c!3829
  d74d6d43
- [Makefile] testing - minor changes · 34069888
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  34069888
- [Script] bin/tests.sh - counts *.{err,res}.log files · 55a4ee77
  Patrick Baudin authored 2 years ago
  
  55a4ee77
- [WP] tests: modifies DEPS using a joker · e70554a7
  Patrick Baudin authored 2 years ago
  
  e70554a7
- [ptests] introduce PTESTS_USE_WP_CACHE · 13c4b4ec
  Allan Blanchard authored 2 years ago
  
  - used to indicate whether tests require the FRAMAC_WP_CACHEDIR variable
  13c4b4ec
- [ptests] introduce PTEST_DEPS variable · f847fdc7
  Allan Blanchard authored 2 years ago
  
  f847fdc7
- [ptests] fix Makefile ifeq · 46172e23
  Allan Blanchard authored 2 years ago
  
  46172e23
- [ptests] changes Makefile.testing variables · cf644b57
  Allan Blanchard authored 2 years ago
  
  - more intuitive name for tests directories - single way to build PTEST_ALIASES
  cf644b57
- [build] share Makefile (un)installation rules · 00452ff7
  Allan Blanchard authored 2 years ago
  
  00452ff7
- [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
- 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
- [build] document DUNE_DISPLAY · 6012a7aa
  Allan Blanchard authored 2 years ago
  
  6012a7aa