Commits · 2de214a9a8546d747f6cbb7554772e131f7191a8 · pub / frama-c

04 Nov, 2019 6 commits
- [headers] the current year is 2019 · 2de214a9
  Julien Signoles authored Oct 17, 2019 and François Bobot committed Nov 04, 2019
  
  2de214a9
- [headers] update header_spec · e9f0afb9
  Julien Signoles authored Oct 17, 2019 and François Bobot committed Nov 04, 2019
  
  e9f0afb9
- [lint] move E-ACSL's .Makefile.lint into Frama-C's one · 19c26322
  Julien Signoles authored Oct 30, 2019 and François Bobot committed Nov 04, 2019
  
  19c26322
- lint · 9f5ff65b
  Julien Signoles authored Oct 30, 2019 and François Bobot committed Nov 04, 2019
  
  9f5ff65b
- [lint] src/plugins/e-acsl/src/project_initializer/prepare_ast.mli · f80739b2
  Julien Signoles authored Oct 30, 2019 and François Bobot committed Nov 04, 2019
  
  f80739b2
- Merge remote-tracking branch 'e-acsl/master' into feature/e-acsl · dff7e6b1
  François Bobot authored Nov 04, 2019
```
Import e-acsl repository in src/plugin/e-acsl
```
  dff7e6b1
14 Oct, 2019 9 commits
- Merge branch 'fix/lint-ko-list' into 'master' · b5f7d77c
  Julien Signoles authored Oct 14, 2019
```
fixes no-lint file list

See merge request frama-c/e-acsl!310
```
  b5f7d77c
- Merge branch '714-location-of-temporary-variables' into 'master' · 1255d834
  Virgile Prevosto authored Oct 14, 2019
```
Resolve "Location of temporary variables" #714

Closes #714

See merge request frama-c/frama-c!2407
```
  1255d834
- Update la location quand anciennement unknown · 4016ad5b
  Thibault Martin authored Oct 07, 2019
  
  4016ad5b
- Renommage et ajout du paramètre loc · ee78fde6
  Thibault Martin authored Oct 07, 2019
```
decl -> loc
Ajout du paramètre loc pour makeFormalVar et makeGlobalVar
```
  ee78fde6
- Ajout d'un test pour #714 · b24febdc
  Thibault Martin authored Oct 07, 2019
  
  b24febdc
- Ajout d'un paramètre optionnel dans makeVarInfo et makeLocalInfo · 2a92fdd1
  Thibault Martin authored Oct 07, 2019
```
?decl:Location.t : location de la nouvelle varinfo, unknown par défaut.
```
  2a92fdd1
- Retrait du paramètre optionel pour getRetVar · b2f1c397
  Thibault Martin authored Oct 07, 2019
  
  b2f1c397
- Ajout des locations pour les variables temporaires dans cabs2cil · 16ef5e5e
  Thibault Martin authored Oct 04, 2019
  
  16ef5e5e
- Ajout de location pour __retres · 028d4a7c
  Thibault Martin authored Oct 04, 2019
```
__retres a maintenant pour location celle de la première occurence de Return
```
  028d4a7c
11 Oct, 2019 1 commit
- fixes no-lint file list · 96942c76
  Virgile Prevosto authored Oct 11, 2019
  
  96942c76
08 Oct, 2019 3 commits
- Merge branch 'feature/server/ephemeral-batches' into 'master' · a96a478c
  Loïc Correnson authored Oct 08, 2019
```
[server] Execute batches only once

See merge request frama-c/frama-c!2391
```
  a96a478c
- Merge branch 'feature/wp/fix-ref-usage' into 'master' · 72d1ca1a
  Patrick Baudin authored Oct 08, 2019
```
Feature/wp/fix ref usage

See merge request frama-c/frama-c!2403
```
  72d1ca1a
- Merge branch 'fix/virgile/filter-qualifier-logic' into 'master' · 9fa089f7
  Patrick Baudin authored Oct 08, 2019
```
[logic] fix qualifier parsing

See merge request frama-c/frama-c!2404
```
  9fa089f7
07 Oct, 2019 2 commits
- Merge branch 'fix/andre/headers-spec' into 'master' · 0545aa37
  Andre Maroneze authored Oct 07, 2019
```
[Headers] remove obsolete entries

See merge request frama-c/frama-c!2409
```
  0545aa37
- [Headers] remove obsolete entries · ba282c0f
  Andre Maroneze authored Oct 07, 2019
  
  ba282c0f
04 Oct, 2019 3 commits
- Merge branch 'feature/blanchard/parsing_ghost_parameters' into 'master' · f039f4b6
  Virgile Prevosto authored Oct 04, 2019
```
Handling of ghost parameters

Closes #379

See merge request frama-c/frama-c!2150
```
  f039f4b6
- [AST Printing] Sligthly changes pretty printing of arguments · 1fdf63b4
  Allan Blanchard authored Oct 04, 2019
  
  1fdf63b4
- Merge branch '546-macros-pour-infinity-et-nan' into 'master' · ce77d410
  François Bobot authored Oct 04, 2019
```
[Eva] Resolve "Macros pour INFINITY et NAN"

Closes #546

See merge request frama-c/frama-c!2297
```
  ce77d410
03 Oct, 2019 9 commits
- [Kernel] Tests about ghost parameters use the right option · 8fba8a9e
  Allan Blanchard authored Oct 03, 2019
  
  8fba8a9e
- [Variadic] Updates a comment · e60084e0
  Allan Blanchard authored Oct 03, 2019
  
  e60084e0
- [Variadic] Moves .c tests into .i when possible · 1b807716
  Allan Blanchard authored Oct 03, 2019
  
  1b807716
- [Kernel] CabsVisit does not erase ghost parameters anymore · 2f1c5a53
  Allan Blanchard authored Oct 03, 2019
  
  2f1c5a53
- [Kernel] argsToPairOfLists uses "isGhostFormalVarDecl" · 9edc0b62
  Allan Blanchard authored Oct 03, 2019
  
  9edc0b62
- [Kernel] Cabs2Cil - ensures that formals inherit the ghost status from the function · 5ce29e51
  Allan Blanchard authored Oct 03, 2019
  
  5ce29e51
- [logic] fix qualifier parsing · b9a1eb43
  Virgile Prevosto authored Oct 03, 2019
  
  b9a1eb43
- [wp/typed] fixed error when shifting a single value · 3edbdbf0
  Loïc Correnson authored Oct 03, 2019
  
  3edbdbf0
- [wp/typed] error when shifting a single value · 21817395
  Loïc Correnson authored Oct 03, 2019
  
  21817395
30 Sep, 2019 7 commits
- Merge branch 'feature/wp/fix-install' into 'master' · 3233ef75
  Andre Maroneze authored Sep 30, 2019
```
[dev & wp] fix install

See merge request frama-c/frama-c!2388
```
  3233ef75
- [install] rewordings and update known working configuration · 601200b7
  Andre Maroneze authored Sep 30, 2019
  
  601200b7
- [install] normalize Why3; add link to website · 4a62e154
  Andre Maroneze authored Sep 30, 2019
  
  4a62e154
- [Kernel] Failure if cparser generates attributes with ghost parameters · b01ad1e1
  Allan Blanchard authored Sep 30, 2019
  
  b01ad1e1
- [Kernel] Improves controls on "void" parameters with ghost · 1a46c657
  Allan Blanchard authored Sep 30, 2019
  
  1a46c657
- [install] installation of external provers · 7b3b5861
  Loïc Correnson authored Sep 25, 2019
  
  7b3b5861
- [install] alt-ergo is already required by frama-c · efaf302e
  Loïc Correnson authored Sep 25, 2019
  
  efaf302e