Commits · f46d92cec351116ef6c3c10a1b1f9ac92d167fc6 · pub / frama-c

Oct 17, 2019
- [WP/Doc] Removes content related to Coq/WP · f46d92ce
  Allan Blanchard authored 5 years ago
  
  f46d92ce
- [WP/Doc] Removes -wp-include · 486299f9
  Allan Blanchard authored 5 years ago
  
  486299f9
- [WP/Doc] Removes unexisting options · 9b8dc476
  Allan Blanchard authored 5 years ago
  
  9b8dc476
- [WP/Doc] All options now documented in the manual · 890deeab
  Allan Blanchard authored 5 years ago
  
  890deeab
- [WP/Doc] Removes native support of Alt-Ergo/Coq · dd4ff67f
  Allan Blanchard authored 5 years ago
  
  dd4ff67f
Oct 14, 2019
- Merge branch '714-location-of-temporary-variables' into 'master' · 1255d834
  Virgile Prevosto authored 5 years ago
  
  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 5 years ago and Virgile Prevosto committed 5 years ago
  
  4016ad5b
- Renommage et ajout du paramètre loc · ee78fde6
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  decl -> loc Ajout du paramètre loc pour makeFormalVar et makeGlobalVar
  ee78fde6
- Ajout d'un test pour #714 · b24febdc
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  b24febdc
- Ajout d'un paramètre optionnel dans makeVarInfo et makeLocalInfo · 2a92fdd1
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  ?decl:Location.t : location de la nouvelle varinfo, unknown par défaut.
  2a92fdd1
- Retrait du paramètre optionel pour getRetVar · b2f1c397
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  b2f1c397
- Ajout des locations pour les variables temporaires dans cabs2cil · 16ef5e5e
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  16ef5e5e
- Ajout de location pour __retres · 028d4a7c
  Thibault Martin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  __retres a maintenant pour location celle de la première occurence de Return
  028d4a7c
Oct 08, 2019
- Merge branch 'feature/server/ephemeral-batches' into 'master' · a96a478c
  Loïc Correnson authored 5 years ago
  
  [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 5 years ago
  
  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 5 years ago
  
  [logic] fix qualifier parsing See merge request frama-c/frama-c!2404
  9fa089f7
Oct 07, 2019
- Merge branch 'fix/andre/headers-spec' into 'master' · 0545aa37
  Andre Maroneze authored 5 years ago
  
  [Headers] remove obsolete entries See merge request frama-c/frama-c!2409
  0545aa37
- [Headers] remove obsolete entries · ba282c0f
  Andre Maroneze authored 5 years ago
  
  ba282c0f
Oct 04, 2019
- Merge branch 'feature/blanchard/parsing_ghost_parameters' into 'master' · f039f4b6
  Virgile Prevosto authored 5 years ago
  
  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 5 years ago
  
  1fdf63b4
- Merge branch '546-macros-pour-infinity-et-nan' into 'master' · ce77d410
  François Bobot authored 5 years ago
  
  [Eva] Resolve "Macros pour INFINITY et NAN" Closes #546 See merge request frama-c/frama-c!2297
  ce77d410
Oct 03, 2019
- [Kernel] Tests about ghost parameters use the right option · 8fba8a9e
  Allan Blanchard authored 5 years ago
  
  8fba8a9e
- [Variadic] Updates a comment · e60084e0
  Allan Blanchard authored 5 years ago
  
  e60084e0
- [Variadic] Moves .c tests into .i when possible · 1b807716
  Allan Blanchard authored 5 years ago
  
  1b807716
- [Kernel] CabsVisit does not erase ghost parameters anymore · 2f1c5a53
  Allan Blanchard authored 5 years ago
  
  2f1c5a53
- [Kernel] argsToPairOfLists uses "isGhostFormalVarDecl" · 9edc0b62
  Allan Blanchard authored 5 years ago
  
  9edc0b62
- [Kernel] Cabs2Cil - ensures that formals inherit the ghost status from the function · 5ce29e51
  Allan Blanchard authored 5 years ago
  
  5ce29e51
- [logic] fix qualifier parsing · b9a1eb43
  Virgile Prevosto authored 5 years ago
  
  b9a1eb43
- [wp/typed] fixed error when shifting a single value · 3edbdbf0
  Loïc Correnson authored 5 years ago
  
  3edbdbf0
- [wp/typed] error when shifting a single value · 21817395
  Loïc Correnson authored 5 years ago
  
  21817395
Sep 30, 2019
- Merge branch 'feature/wp/fix-install' into 'master' · 3233ef75
  Andre Maroneze authored 5 years ago
  
  [dev & wp] fix install See merge request frama-c/frama-c!2388
  3233ef75
- [install] rewordings and update known working configuration · 601200b7
  Andre Maroneze authored 5 years ago
  
  601200b7
- [install] normalize Why3; add link to website · 4a62e154
  Andre Maroneze authored 5 years ago
  
  4a62e154
- [Kernel] Failure if cparser generates attributes with ghost parameters · b01ad1e1
  Allan Blanchard authored 5 years ago
  
  b01ad1e1
- [Kernel] Improves controls on "void" parameters with ghost · 1a46c657
  Allan Blanchard authored 5 years ago
  
  1a46c657
- [install] installation of external provers · 7b3b5861
  Loïc Correnson authored 5 years ago
  
  7b3b5861
- [install] alt-ergo is already required by frama-c · efaf302e
  Loïc Correnson authored 5 years ago
  
  efaf302e
- [install] why3 is already required by frama-c · 7b5a8798
  Loïc Correnson authored 5 years ago
  
  7b5a8798
- [install] fix typos · bec2a974
  Loïc Correnson authored 5 years ago
  
  bec2a974
- [install.md] fix installation on Mac OS · 117c780c
  Loïc Correnson authored 5 years ago
  
  117c780c