Commits · 8a3a7331ea70ebd6a7bf9310861927b46e9dacd4 · pub / frama-c

26 Apr, 2019 2 commits
- [wp] no more support for -wp-no-bool-range · 8a3a7331
  Loïc Correnson authored Apr 26, 2019
  
  8a3a7331
- [WP] fixes _Bool layout · ad86f36f
  Patrick Baudin authored Apr 26, 2019 and Loïc Correnson committed Apr 26, 2019
  
  ad86f36f
25 Apr, 2019 5 commits
- Merge branch '538-wp-support-for-why-3-1-0' into 'stable/potassium' · 26cf3482
  Patrick Baudin authored Apr 25, 2019
```
Resolve "[WP] Support for Why-3 1.0"

See merge request frama-c/frama-c!2239
```
  26cf3482
- [WP/share] removing wp/share/src · d07cc305
  Patrick Baudin authored Apr 25, 2019
  
  d07cc305
- [WP/test] compliant oracles with OCI · a500119f
  Patrick Baudin authored Apr 25, 2019
  
  a500119f
- [WP/test] compliant oracles with OCI · 3b60c570
  Patrick Baudin authored Apr 25, 2019
  
  3b60c570
- Merge branch 'fix/patrick/revert-pkgs-file' into 'stable/potassium' · 07ad8619
  Patrick Baudin authored Apr 25, 2019
```
[OCI] revert pkgs.file

See merge request frama-c/frama-c!2245
```
  07ad8619
24 Apr, 2019 9 commits
- [wp] fix change log for potassium · 00b55fa3
  Loïc Correnson authored Apr 24, 2019
  
  00b55fa3
- [OCI] revert pkgs.file · 466c71cc
  Patrick Baudin authored Apr 24, 2019
  
  466c71cc
- [wp/qualif] update prover titles · 1ac023d0
  Loïc Correnson authored Apr 24, 2019
  
  1ac023d0
- [wp/distrib] fix distribution · 6a2d170d
  Loïc Correnson authored Apr 24, 2019
  
  6a2d170d
- [wp/gui] fix prover selection · 9739a22a
  Loïc Correnson authored Apr 24, 2019
  
  9739a22a
- [wp/gui] new dp selection · 0b2919d0
  Loïc Correnson authored Apr 24, 2019
  
  0b2919d0
- [wp] refactor why3 dp · ca7f9200
  Loïc Correnson authored Apr 24, 2019
  
  ca7f9200
- [wp] fix headers & lint · 7912b6f5
  Loïc Correnson authored Apr 24, 2019
  
  7912b6f5
- [wp] detect prover from why3 api · 1638067e
  Loïc Correnson authored Apr 24, 2019
  
  1638067e
23 Apr, 2019 11 commits
- Merge branch 'fix/andre/landmarks' into 'stable/potassium' · 705f3c5a
  Valentin Perrelle authored Apr 23, 2019
```
[configure] fix landmarks and document it

See merge request frama-c/frama-c!2227
```
  705f3c5a
- [INSTALL] changes into step 3 & 4 about why3 and coq (both are for Frama-C/WP) · 475b04da
  Patrick Baudin authored Apr 23, 2019
  
  475b04da
- [INSTALL] changes into step 3 & 4 about why3 and coq (both are for Frama-C/WP) · 243505f6
  Patrick Baudin authored Apr 23, 2019
  
  243505f6
- [wp/test] some regression with alt-ergo · 28b78488
  Patrick Baudin authored Apr 23, 2019
  
  28b78488
- [wp/doc] update manual wrt prover versions · 4311e655
  Loïc Correnson authored Apr 23, 2019
  
  4311e655
- [Install] fix versions of wp provers · 3ba8ba71
  Loïc Correnson authored Apr 23, 2019
  
  3ba8ba71
- Merge branch 'feature/potassium/ci-default-branch' into 'stable/potassium' · 764f3cf7
  Virgile Prevosto authored Apr 23, 2019
```
Change default branch from master to stable/potassium

See merge request frama-c/frama-c!2240
```
  764f3cf7
- [wp/coq] fix coq dependencies · cd186218
  Loïc Correnson authored Apr 23, 2019
  
  cd186218
- [wp/why3] add OPAM deptopt on why3-coq · 14df2252
  Loïc Correnson authored Apr 23, 2019
  
  14df2252
- [wp/share] missing coq file in wp.driver · a0b760d3
  Loïc Correnson authored Apr 23, 2019
  
  a0b760d3
- [wp/why3] try why3 version 1.1.1 · 308e5da7
  Loïc Correnson authored Apr 23, 2019
  
  308e5da7
19 Apr, 2019 13 commits
- [wp/tests] update prover versions · b409fd77
  Loïc Correnson authored Apr 19, 2019
  
  b409fd77
- [wp/share] update headers · 54a7b862
  Loïc Correnson authored Apr 19, 2019
  
  54a7b862
- [wp/share] fix headers specs · 5c5c6dca
  Loïc Correnson authored Apr 19, 2019
  
  5c5c6dca
- [wp/why3] update why3 command outputs · 06e25b89
  Loïc Correnson authored Apr 19, 2019
  
  06e25b89
- [wp/share] fix why3 syntax · 432da749
  Loïc Correnson authored Apr 19, 2019
  
  432da749
- Merge branch 'fix/eva/backward-unop' into 'stable/potassium' · 228f4adf
  Valentin Perrelle authored Apr 19, 2019
```
[Eva] Fixes the cvalue backward operator for the unary - on unsigned types

See merge request frama-c/frama-c!2241
```
  228f4adf
- [wp/coq] update with why3 1.0.0 coq-libs · 9fe272f9
  Loïc Correnson authored Apr 19, 2019
  
  9fe272f9
- [wp/why3] upgrade to why3 1.0.0+ · c3f546fc
  Loïc Correnson authored Apr 19, 2019
  
  c3f546fc
- [wp/coq] local coq-ide targets · 53dbf909
  Loïc Correnson authored Apr 19, 2019
  
  53dbf909
- [Eva] Fixes the cvalue backward propagator for the unary - on unsigned types. · 62f4af10
  David Bühler authored Apr 19, 2019
  
  62f4af10
- [Eva] Adds a much needed test for arithmetic backward propagators. · 5559ba38
  David Bühler authored Apr 19, 2019
  
  5559ba38
- [why3] update configuration for 1.0.0+ · 8ae5d5e9
  Loïc Correnson authored Apr 19, 2019
  
  8ae5d5e9
- [wp] update ranks in qualif tests · 12d48dfc
  Loïc Correnson authored Apr 19, 2019
  
  12d48dfc