Commits · 186247381f19703b1572dba997865645cd80d5e9 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 28, 2020
- Removes automatically inserted end-of-line · 18624738
  Allan Blanchard authored 4 years ago
  
  18624738
- Merge branch 'stable/titanium' · 581629e1
  Allan Blanchard authored 4 years ago
  
  Conflicts on version name: VERSION VERSION_CODENAME opam/opam
  581629e1
- Merge branch 'feature/ci/publish-metacsl' into 'master' · b741d239
  François Bobot authored 4 years ago
  
  Nightly deployment of MetAcsl sources to pub/meta repository See merge request frama-c/frama-c!2905
  b741d239
- Nightly deployment of MetAcsl sources to pub/meta repository · e377ca97
  Virgile Prevosto authored 4 years ago and François Bobot committed 4 years ago
  
  e377ca97
- Update WSL install procedure for 22-Titanium · e1e1aca2
  Allan Blanchard authored 4 years ago
  
  e1e1aca2
Oct 27, 2020
- Merge branch 'fix/callgraph/src-distrib' into 'stable/titanium' · 71300cf4
  Virgile Prevosto authored 4 years ago
  
  Fixes callgraph distributed files See merge request frama-c/frama-c!2916
  71300cf4
- [Callgraph] Fixes distributed files · 4c2d6d65
  Allan Blanchard authored 4 years ago
  
  4c2d6d65
- Fixes INSTALL and README for 22-Titanium · daa58e7f
  Allan Blanchard authored 4 years ago
  
  daa58e7f
- Update Changelog after !2894 · 5af7c934
  Virgile Prevosto authored 4 years ago
  
  5af7c934
- Merge branch 'feature/andre/metrics-json-output' into 'master' · 854d2365
  Virgile Prevosto authored 4 years ago
  
  [Metrics] add (partial) support for JSON output See merge request frama-c/frama-c!2894
  854d2365
- [devman] coherence between description of LOG and STDOPT directives · 8d5841a1
  Virgile Prevosto authored 4 years ago
  
  8d5841a1
- .gitignore · 9a757dff
  Virgile Prevosto authored 4 years ago
  
  9a757dff
- [tests] refine test to test new ptests' behavior · a3450be0
  Virgile Prevosto authored 4 years ago
  
  a3450be0
- [ptests] STDOPT use previous LOG directive as well as OPT. · aa2e9289
  Virgile Prevosto authored 4 years ago
  
  Makes ptests more conforming to the developer manual.
  aa2e9289
- Merge branch 'bugfix/basile/eacsl-src-distrib' into 'stable/titanium' · 235ea1fe
  Allan Blanchard authored 4 years ago
  
  [eacsl] Fix E-ACSL source distribution See merge request frama-c/frama-c!2914
  235ea1fe
Oct 26, 2020
- [Metrics] fix help message and enforce test oracle · 7e0e307a
  Andre Maroneze authored 4 years ago
  
  7e0e307a
- [eacsl] Fix E-ACSL source distribution · 31326420
  Basile Desloges authored 4 years ago
  
  - Include all C files - Include dev oracles
  31326420
- Changelog: updated missing date · 948d3da8
  Allan Blanchard authored 4 years ago
  
  948d3da8
Oct 23, 2020
- [Metrics] add (partial) support for JSON output · f70cdc4a
  Andre Maroneze authored 4 years ago
  
  f70cdc4a
- Fixes VERSION · f5f5bb6f
  Allan Blanchard authored 4 years ago
  
  f5f5bb6f
- Fixes VERSION_CODENAME · 0aab40cd
  Allan Blanchard authored 4 years ago
  
  0aab40cd
- Fixes VERSION · 99eac4a3
  Allan Blanchard authored 4 years ago
  
  99eac4a3
- Update opam doc link · 8745d67f
  Allan Blanchard authored 4 years ago
  
  8745d67f
- Update opam doc link · 9787b4f3
  Allan Blanchard authored 4 years ago
  
  9787b4f3
- Master to 22.0+dev · f5924dbf
  Allan Blanchard authored 4 years ago
  
  f5924dbf
- Update check-reference-configuration with the right Why3 command · 0a7321f8
  Allan Blanchard authored 4 years ago
  
  0a7321f8
- Update API doc for 22.0-Titanium · e540cdd7
  Allan Blanchard authored 4 years ago
  
  e540cdd7
- Makes update_api_doc case insensitive · 218bcaf2
  Allan Blanchard authored 4 years ago
  
  218bcaf2
- Update opam Frama-C version to 22.0-Titanium · f9eda955
  Allan Blanchard authored 4 years ago
  
  f9eda955
- Update VERSION to 22.0-Titanium · 46f9bf05
  Allan Blanchard authored 4 years ago
  
  46f9bf05
- Update INSTALL for 22.0-Titanium · 098deb49
  Allan Blanchard authored 4 years ago
  
  098deb49
- Prepare Changelogs for 22.0-Titanium · 9a5c5561
  Allan Blanchard authored 4 years ago
  
  9a5c5561
- Update check-reference-configuration with the right Why3 command · 25cdee53
  Allan Blanchard authored 4 years ago
  
  25cdee53
- Update API doc for 22.0-Titanium · e594be20
  Allan Blanchard authored 4 years ago
  
  e594be20
- Makes update_api_doc case insensitive · 17ce379f
  Allan Blanchard authored 4 years ago
  
  17ce379f
- Update opam Frama-C version to 22.0-Titanium · 2e793f8e
  Allan Blanchard authored 4 years ago
  
  2e793f8e
- Update VERSION to 22.0-Titanium · 64b8b498
  Allan Blanchard authored 4 years ago
  
  64b8b498
- Update INSTALL for 22.0-Titanium · a09706fa
  Allan Blanchard authored 4 years ago
  
  a09706fa
- Prepare Changelogs for 22.0-Titanium · 51235bfa
  Allan Blanchard authored 4 years ago
  
  51235bfa
- Reset default branch · c5c4099a
  Allan Blanchard authored 4 years ago
  
  c5c4099a