Commits · db688bdba3a32aaa901e224d3f659cb1ac71d9b4 · pub / frama-c

17 Dec, 2019 1 commit
- [bit_test] checks for a boolean type · db688bdb
  Patrick Baudin authored Dec 17, 2019
  
  db688bdb
16 Dec, 2019 1 commit
- [qed] compare terms also by type · e743d223
  Loïc Correnson authored Dec 16, 2019
  
  e743d223
13 Dec, 2019 8 commits
- Merge branch 'fix/server/requests-in-index' into 'master' · 56390c2d
  Loïc Correnson authored Dec 13, 2019
```
[Server] Make all server requests appear in the doc index.

Closes #770

See merge request frama-c/frama-c!2483
```
  56390c2d
- [server] titles in black color · e0e1e30c
  Loïc Correnson authored Dec 13, 2019
  
  e0e1e30c
- [server] index by categories · a685b19a
  Loïc Correnson authored Dec 13, 2019
  
  a685b19a
- [server] remove dark style for navigation panel · 0035db92
  Loïc Correnson authored Dec 13, 2019
  
  0035db92
- [server] provide category in index title entries · 2c995219
  Loïc Correnson authored Dec 13, 2019
  
  2c995219
- [server] sort index entries by category · 98d6ca75
  Loïc Correnson authored Dec 13, 2019
  
  98d6ca75
- [Server] Sort by path first, then name of the request. · 144f8dda
  Michele Alberti authored Dec 13, 2019
  
  144f8dda
- [Server] Make all server requests appear in the doc index. · 3dbe5120
  Michele Alberti authored Dec 13, 2019
  
  3dbe5120
11 Dec, 2019 1 commit
- Merge branch 'feature/wp/backport-nupw' into 'master' · 28386c0f
  Allan Blanchard authored Dec 11, 2019
```
Feature/wp/backport nupw

See merge request frama-c/frama-c!2476
```
  28386c0f
10 Dec, 2019 3 commits
- Merge branch 'fix/scope/no-preds' into 'master' · 479c43d7
  Andre Maroneze authored Dec 10, 2019
```
[Scope] Do not crash when calling "Zones" on a statement with no predecessor.

Closes #766

See merge request frama-c/frama-c!2478
```
  479c43d7
- Merge branch 'fix/studia/return-reads' into 'master' · 6ece7d13
  Andre Maroneze authored Dec 10, 2019
```
[Studia] Return statements read the zone of the returned expression.

See merge request frama-c/frama-c!2479
```
  6ece7d13
- [Studia] Return statements read the zone of the returned expression. · 25dcecd5
  David Bühler authored Dec 10, 2019
  
  25dcecd5
09 Dec, 2019 10 commits
- [Scope] Do not crash when calling "Zones" on a statement with no predecessor. · 3ea7ee6f
  David Bühler authored Dec 09, 2019
  
  3ea7ee6f
- [qed] fix lost result type in Fun simplifications · 412a5e27
  Loïc Correnson authored Dec 09, 2019
  
  412a5e27
- [wp/qed] fix type-based filters · 3f0a87d6
  Loïc Correnson authored Dec 09, 2019
  
  3f0a87d6
- [wp/why3] more accurate timeout · 776a4db3
  Loïc Correnson authored Dec 06, 2019
  
  776a4db3
- [qed] fix rebuild record with single field · b67fa1d8
  Loïc Correnson authored Dec 03, 2019
  
  b67fa1d8
- [wp/gui] fix proof script feedback · 1940906d
  Loïc Correnson authored Dec 03, 2019
  
  1940906d
- [wp/gui] fix tree node feedback · ee021c67
  Loïc Correnson authored Dec 03, 2019
  
  ee021c67
- [wp/gui] navigate forward · d6fbd57a
  Loïc Correnson authored Dec 03, 2019
  
  d6fbd57a
- [wp/gui] fix blocked gui · 0ee3f9d6
  Loïc Correnson authored Dec 02, 2019
  
  0ee3f9d6
- [wp] hackable logic type · 9786eb72
  Loïc Correnson authored Nov 28, 2019
  
  9786eb72
06 Dec, 2019 3 commits
- Merge branch 'feature/unify-array-size-specifier-for-constant-integer-expressions' into 'master' · 8dacf071
  Virgile Prevosto authored Dec 06, 2019
```
Unify array declarations when array size is a same integer constant value with different type.

Closes #765

See merge request frama-c/frama-c!2472
```
  8dacf071
- [fc-script] use python3 everywhere · 85403141
  Andre Maroneze authored Dec 06, 2019
```
Prevents issue when the `python` command is not installed in the system.
Since all other scripts already require python3, this should not be an issue.
```
  85403141
- Unify array declarations when array size is a same integer constant value with different type. · 8e70660f
  Michele Alberti authored Dec 06, 2019
  
  8e70660f
05 Dec, 2019 1 commit
- [opam] update dev-repo URL to Gitlab daily mirror · d113501e
  Andre Maroneze authored Dec 05, 2019
  
  d113501e
04 Dec, 2019 12 commits
- remove publicity when pushing on master · 3ac0e88a
  François Bobot authored Dec 04, 2019
  
  3ac0e88a
- prepare Frama-C 21 (Scandium) · e522d2ab
  Andre Maroneze authored Dec 04, 2019
  
  e522d2ab
- fix changelog for release · 333b5db4
  Andre Maroneze authored Dec 04, 2019
  
  333b5db4
- [opam] fix lablgtk dependencies · 0f4e2089
  Andre Maroneze authored Dec 04, 2019
  
  0f4e2089
- [e-acsl] do not distribute E-ACSL manuals · 31857ee9
  Andre Maroneze authored Dec 04, 2019
  
  31857ee9
- [opam] fix warning · 7e2901f8
  Andre Maroneze authored Dec 04, 2019
  
  7e2901f8
- license CC-BY-SA for manuals · 7c775633
  Virgile Prevosto authored Dec 02, 2019
  
  7c775633
- [doc] add LICENSE - CC-BY-SA-4.0 · 087dc141
  Andre Maroneze authored Dec 04, 2019
  
  087dc141
- update version files · 57f65414
  Andre Maroneze authored Dec 04, 2019
  
  57f65414
- [opam] add warning about issue with ocamlfind · c46af792
  Andre Maroneze authored Dec 04, 2019
  
  c46af792
- [doc/userman] update version header in changelog · f8258f03
  Andre Maroneze authored Dec 03, 2019
  
  f8258f03
- [kernel] fix 'since' tags · 0e05368f
  Andre Maroneze authored Dec 03, 2019
  
  0e05368f