Commits · b741d23933e90e3154ea1bece5c53604f7499f9d · pub / frama-c

28 Oct, 2020 2 commits
- Merge branch 'feature/ci/publish-metacsl' into 'master' · b741d239
  François Bobot authored Oct 28, 2020
```
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 Oct 28, 2020 and François Bobot committed Oct 28, 2020
  
  e377ca97
27 Oct, 2020 6 commits
- Update Changelog after !2894 · 5af7c934
  Virgile Prevosto authored Oct 27, 2020
  
  5af7c934
- Merge branch 'feature/andre/metrics-json-output' into 'master' · 854d2365
  Virgile Prevosto authored Oct 27, 2020
```
[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 Oct 27, 2020
  
  8d5841a1
- .gitignore · 9a757dff
  Virgile Prevosto authored Oct 27, 2020
  
  9a757dff
- [tests] refine test to test new ptests' behavior · a3450be0
  Virgile Prevosto authored Oct 27, 2020
  
  a3450be0
- [ptests] STDOPT use previous LOG directive as well as OPT. · aa2e9289
  Virgile Prevosto authored Oct 27, 2020
```
Makes ptests more conforming to the developer manual.
```
  aa2e9289
26 Oct, 2020 1 commit
- [Metrics] fix help message and enforce test oracle · 7e0e307a
  Andre Maroneze authored Oct 26, 2020
  
  7e0e307a
23 Oct, 2020 14 commits
- [Metrics] add (partial) support for JSON output · f70cdc4a
  Andre Maroneze authored Oct 13, 2020
  
  f70cdc4a
- Fixes VERSION_CODENAME · 0aab40cd
  Allan Blanchard authored Oct 23, 2020
  
  0aab40cd
- Fixes VERSION · 99eac4a3
  Allan Blanchard authored Oct 23, 2020
  
  99eac4a3
- Update opam doc link · 8745d67f
  Allan Blanchard authored Oct 23, 2020
  
  8745d67f
- Master to 22.0+dev · f5924dbf
  Allan Blanchard authored Oct 23, 2020
  
  f5924dbf
- Update check-reference-configuration with the right Why3 command · 0a7321f8
  Allan Blanchard authored Oct 23, 2020
  
  0a7321f8
- Update API doc for 22.0-Titanium · e540cdd7
  Allan Blanchard authored Oct 23, 2020
  
  e540cdd7
- Makes update_api_doc case insensitive · 218bcaf2
  Allan Blanchard authored Oct 23, 2020
  
  218bcaf2
- Update opam Frama-C version to 22.0-Titanium · f9eda955
  Allan Blanchard authored Oct 22, 2020
  
  f9eda955
- Update VERSION to 22.0-Titanium · 46f9bf05
  Allan Blanchard authored Oct 22, 2020
  
  46f9bf05
- Update INSTALL for 22.0-Titanium · 098deb49
  Allan Blanchard authored Oct 22, 2020
  
  098deb49
- Prepare Changelogs for 22.0-Titanium · 9a5c5561
  Allan Blanchard authored Oct 22, 2020
  
  9a5c5561
- Reset default branch · c5c4099a
  Allan Blanchard authored Oct 23, 2020
  
  c5c4099a
- Change default branch · 4a9b05cf
  Allan Blanchard authored Oct 23, 2020
  
  4a9b05cf
22 Oct, 2020 4 commits
- Merge branch 'fix/andre/mdr-sarif-duplicate-invocations' into 'master' · 472692ef
  Andre Maroneze authored Oct 22, 2020
```
[MdR] avoid duplicate invocations in SARIF

See merge request frama-c/frama-c!2906
```
  472692ef
- [MdR] cleaner test output · 58123e25
  Virgile Prevosto authored Oct 22, 2020 and Andre Maroneze committed Oct 22, 2020
  
  58123e25
- [MdR] avoid duplicate invocations in SARIF · 70bfa5dc
  Virgile Prevosto authored Oct 20, 2020 and Andre Maroneze committed Oct 22, 2020
  
  70bfa5dc
- Merge branch 'fix/andre/dockerfiles' into 'master' · c58df58d
  Allan Blanchard authored Oct 22, 2020
```
[Dev] fix Dockerfiles (use stable debian:buster) and add 19.1 + 18.0

See merge request frama-c/frama-c!2910
```
  c58df58d
21 Oct, 2020 1 commit
- [Dev] fix Dockerfiles (use stable debian:buster) and add 19.1 · 294d8573
  Andre Maroneze authored Oct 21, 2020
  
  294d8573
20 Oct, 2020 6 commits
- Merge branch 'fix/from/callwise' into 'master' · fb604b9f
  Andre Maroneze authored Oct 20, 2020
```
[From] Fixes a crash when the main function has no body.

Closes #361

See merge request frama-c/frama-c!2908
```
  fb604b9f
- [From] Fixes a crash when the main function has no body. · d3026797
  David Bühler authored Oct 20, 2020
  
  d3026797
- Merge branch 'fix/eva/manual' into 'master' · ff2a2b64
  Andre Maroneze authored Oct 20, 2020
```
[Eva] User manual: fixes the parameter names used in examples/parametrizing.

See merge request frama-c/frama-c!2907
```
  ff2a2b64
- [Eva] User manual: fixes the parameter names used in examples/parametrizing. · 6f55f295
  David Bühler authored Oct 20, 2020
  
  6f55f295
- Merge branch 'fix/support/ocamlgraph' into 'master' · f35e8676
  Allan Blanchard authored Oct 20, 2020
```
Support for OCamlgraph 2.0.0

Closes #970

See merge request frama-c/frama-c!2902
```
  f35e8676
- Update Changelog for OcamlGraph 2.0.0 support · b996adcc
  Allan Blanchard authored Oct 20, 2020
  
  b996adcc
19 Oct, 2020 6 commits
- Merge branch 'fix/mdr/several-runs' into 'master' · 2b27d0b6
  Andre Maroneze authored Oct 19, 2020
```
[MdR] keep tracks of all arguments when -save/-load sequences occur

Closes #945

See merge request frama-c/frama-c!2871
```
  2b27d0b6
- [mdr] use deterministic output in test · 97a2d825
  Virgile Prevosto authored Oct 19, 2020 and Andre Maroneze committed Oct 19, 2020
  
  97a2d825
- [makefile] .depend has dependencies after all, but they are .PRECIOUS · a6a214d7
  Virgile Prevosto authored Oct 19, 2020
```
i.e. we don't want them to be removed by an over-zealous `make` that considers
them as a by-product of `.depend`, which would then require them again and
again and again...
```
  a6a214d7
- [MdR] test for sarif and save/load sequences · 928ab2b2
  Virgile Prevosto authored Oct 02, 2020 and Andre Maroneze committed Oct 19, 2020
  
  928ab2b2
- [makefile] use Makefile.generating for generated files that depend from Makefile · 789e83ff
  Virgile Prevosto authored Oct 19, 2020
  
  789e83ff
- Merge branch 'cherry-pick-c7db4956' into 'master' · 79c5b7bc
  Allan Blanchard authored Oct 19, 2020
```
[wp] commit all residuals in prover script

See merge request frama-c/frama-c!2903
```
  79c5b7bc