Commits · 50e32c6e37efd6e1a38f24cf4c6f1aac4deccbba · pub / frama-c · GitLab

Snippets Groups Projects

Jun 14, 2022
- linting some files · 50e32c6e
  Patrick Baudin authored 2 years ago
  
  50e32c6e
- merge=union for .git-blame-ignore-revs · 21eb5e32
  Patrick Baudin authored 2 years ago
  
  21eb5e32
Jun 13, 2022
- [ci] fix rule · 69f237a5
  Allan Blanchard authored 2 years ago
  
  69f237a5
- Merge commit '9f5ab7b2 ' into feature/bobot/jbuilder · de861ca2
  Patrick Baudin authored 2 years ago
  
  de861ca2
- [headers] allows to save header spec into a file · 8d71165d
  Patrick Baudin authored 2 years ago
  
  8d71165d
- [headers] fixes make headers/check-headers error · 08f28f73
  Patrick Baudin authored 2 years ago
  
  08f28f73
Jun 10, 2022
- [lint] allows wildcards · 9f5ab7b2
  Patrick Baudin authored 2 years ago
  
  9f5ab7b2
- linting some files · 6cc1a6f2
  Patrick Baudin authored 2 years ago
  
  6cc1a6f2
- [doc] fix developer manual build · dc3b7ea6
  Allan Blanchard authored 2 years ago
  
  dc3b7ea6
- Merge branch 'master' into feature/bobot/jbuilder · a0d39989
  Allan Blanchard authored 2 years ago
  
  a0d39989
- Merge branch 'feature/dune/header-check' into 'feature/bobot/jbuilder' · 7cb1fa42
  Allan Blanchard authored 2 years ago
  
  Dune - Add check-headers to CI See merge request frama-c/frama-c!3788
  7cb1fa42
- [ci] check headers · a5f0e4d9
  Allan Blanchard authored 2 years ago
  
  a5f0e4d9
- [headers] adds HEADER_REPO variable · c4c10c21
  Patrick Baudin authored 2 years ago
  
  c4c10c21
- [headers] fixes from git outside a worktree · e30b3205
  Patrick Baudin authored 2 years ago
  
  e30b3205
- Merge branch 'fix/doc/examples-headache' into 'master' · 2d5593ff
  Allan Blanchard authored 2 years ago
  
  [doc] fix headache commands when generating examples See merge request frama-c/frama-c!3785
  2d5593ff
- fixes check-headers without git · a2d8bd31
  Patrick Baudin authored 2 years ago
  
  a2d8bd31
- Merge branch 'feature/dune-cleaning-makefiles' into feature/bobot/jbuilder · 8043cebb
  Patrick Baudin authored 2 years ago
  
  8043cebb
- adds @run-coding-tests (that only checks the exit value) · 6e8acac5
  Patrick Baudin authored 2 years ago
  
  6e8acac5
- restore 'make purge-test' · faa19492
  Patrick Baudin authored 2 years ago
  
  faa19492
- Merge branch 'feature/dune-cleaning-makefiles' into 'feature/bobot/jbuilder' · 61769c2d
  Allan Blanchard authored 2 years ago
  
  cleaning makefiles for dune and reactivates `make headers/check-headers` See merge request frama-c/frama-c!3777
  61769c2d
- Merge branch 'feature/patrick/aorai-fixes-concurrent-testing' into 'master' · 4669c362
  Patrick Baudin authored 2 years ago
  
  [Aorai] Fixes concurrent testing See merge request frama-c/frama-c!3782
  4669c362
- [doc] fix headache commands when generating examples · 9109936b
  Allan Blanchard authored 2 years ago
  
  9109936b
- [tests] updates oracles · cab1774f
  Patrick Baudin authored 2 years ago
  
  cab1774f
- [tests] using -aorai-test-id · 7819a93a
  Patrick Baudin authored 2 years ago
  
  7819a93a
- [tests] fixes concurrent testing from different configurations: -aorai-test-id · 9bea444e
  Patrick Baudin authored 2 years ago
  
  9bea444e
Jun 09, 2022
- [lint] empty files with an header · f5721a98
  Patrick Baudin authored 2 years ago
  
  f5721a98
- fixes src/plugins/reduc/Reduc.ml · 66e84a8b
  Patrick Baudin authored 2 years ago
  
  66e84a8b
- [headers] fixes headers of some ML files · 8d28a665
  Patrick Baudin authored 2 years ago
  
  8d28a665
- [headers] fixes headers of some Makefile and .sh · b1777e8f
  Patrick Baudin authored 2 years ago
  
  b1777e8f
- [headers] fixes headers of dune files · f41159b9
  Patrick Baudin authored 2 years ago
  
  f41159b9
- [headers] updates git attributes · 31030c94
  Patrick Baudin authored 2 years ago
  
  31030c94
- removes unused files · dceef58c
  Patrick Baudin authored 2 years ago
  
  dceef58c
- Moves linting targets to a new sharable Makefile · 459a63bd
  Patrick Baudin authored 2 years ago
  
  459a63bd
- [Makefile] updates about testing · b65bf2e2
  Patrick Baudin authored 2 years ago
  
  b65bf2e2
- [Makefile] header management · ec719103
  Patrick Baudin authored 2 years ago
  
  ec719103
- Adds wtests.ml wrapper to ALL_ML_FILES to lint · 49f49111
  Patrick Baudin authored 2 years ago
  
  49f49111
- linting wtests.ml wrapper · 38fa604b
  Patrick Baudin authored 2 years ago
  
  38fa604b
- [Makefile] split the current Makefile · a9141480
  Patrick Baudin authored 2 years ago
  
  a9141480
- [Makefile] removes older makefiles · 7c65b7a6
  Patrick Baudin authored 2 years ago
  
  7c65b7a6
- Merge branch 'feature/bobot/jbuilder-merging-master' into 'feature/bobot/jbuilder' · 0b953924
  Allan Blanchard authored 2 years ago
  
  Merging master in Dune branch See merge request frama-c/frama-c!3779
  0b953924