Commits · 3811327c7b5b13f33074e8f6725e824df17de493 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 08, 2022
- [headers] install config · 3811327c
  Allan Blanchard authored 2 years ago
  
  3811327c
- Move ptests and hdrck to tools · 8773a75d
  Allan Blanchard authored 2 years ago
  
  8773a75d
- Rename devel_tools: dev · 7b2256b0
  Allan Blanchard authored 2 years ago
  
  7b2256b0
Jul 07, 2022
- Merge branch 'feature/dune/aorai-tests-ltl' into 'feature/dune/feedback' · 15f2e5cf
  Patrick Baudin authored 2 years ago
  
  [Aorai] enables ltl test suite See merge request frama-c/frama-c!3838
  15f2e5cf
- [Linting] Allows LINT_DIFF=<commit/branch> make <lint|check-xxx|fix-xxx> · 45f21d26
  Patrick Baudin authored 2 years ago
  
  45f21d26
- [Tests] restore tests/spec/result/preprocess_dos · 36da089e
  Patrick Baudin authored 2 years ago
  
  36da089e
- [Aorai] ltl tests are enabled if %{bin-available:ltl2ba} · 396a9a42
  Patrick Baudin authored 2 years ago
  
  396a9a42
- [Dune] lang 2.9 -> 3.0 · d2b55485
  Patrick Baudin authored 2 years ago
  
  d2b55485
- fixes warning-32 · 30883761
  Patrick Baudin authored 2 years ago
  
  30883761
- [ptests] adds ENABLED_IF directives · b3ab8975
  Patrick Baudin authored 2 years ago
  
  b3ab8975
- Merge branch 'feature/bobot/jbuilder' into feature/dune/feedback · a0a7f3c5
  Patrick Baudin authored 2 years ago
  
  a0a7f3c5
- [Linting] fixes .lint/check-clang-format-installed target · 2209f58a
  Patrick Baudin authored 2 years ago
  
  2209f58a
- [Aorai] enables ltl test suite · 52132cfe
  Patrick Baudin authored 2 years ago
  
  52132cfe
- [Aorai] tests/ltl - fixes missing deps · bcd79d7a
  Patrick Baudin authored 2 years ago
  
  bcd79d7a
- [Script] bin/test.sh - minor change · 45f35943
  Patrick Baudin authored 2 years ago
  
  45f35943
- [Eva] ensure gen-api.sh compatibility with Bash <4 (macsOS) · da878535
  Andre Maroneze authored 2 years ago
  
  da878535
- Merge remote-tracking branch 'origin/feature/dune/feedback' into feature/dune/feedback · bdc1fa5e
  Allan Blanchard authored 2 years ago
  
  bdc1fa5e
Jul 06, 2022
- [dune] cleaning wp-cache instructions · 1242bfaf
  Loïc Correnson authored 2 years ago
  
  1242bfaf
- Merge branch 'feature/bobot/jbuilder' into feature/dune/feedback · 01b03ab3
  Allan Blanchard authored 2 years ago
  
  01b03ab3
- 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
- [Script] bin/tests.sh - bugfix · 98d44dd4
  Patrick Baudin authored 2 years ago
  
  98d44dd4
- [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
- [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
- [Script] ./bin/tests.sh - fixes Usage · 81a77e97
  Patrick Baudin authored 2 years ago
  
  81a77e97