Commits · ebc368112c09111ea27bbef659b9058e19e1b7c4 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 11, 2019
- [WP] -wp-init-const now defaults to true · ebc36811
  Allan Blanchard authored 5 years ago
  
  ebc36811
- [WP] Rename -wp-init-alias -> -wp-alias-init (and corresponding module) · 5f523540
  Allan Blanchard authored 5 years ago
  
  5f523540
Sep 05, 2019
- [WP/tests] oracle updated · 10eb6f51
  Patrick Baudin authored 5 years ago
  
  10eb6f51
Sep 02, 2019
- [WP] minor · 4af8386d
  Patrick Baudin authored 5 years ago
  
  4af8386d
- [WP] re-introduce bit_test at export · 102fe48e
  Patrick Baudin authored 5 years ago
  
  102fe48e
- [WP] Add to Lang.For_export rewriting for eq and leq · 9530cb4e
  François Bobot authored 5 years ago and Patrick Baudin committed 5 years ago
  
  9530cb4e
- [Libc] Define bit_test driver · f4cf64ba
  François Bobot authored 5 years ago and Patrick Baudin committed 5 years ago
  
  f4cf64ba
- [Libc] Define bit_test in new __fc_integer.h · d6d7700a
  Patrick Baudin authored 5 years ago
  
  d6d7700a
- [WP] Fix typing errors during export with driver which use builtins · 46ccc81a
  François Bobot authored 5 years ago and Patrick Baudin committed 5 years ago
  
  46ccc81a
- minor: adding comments · 0d326d65
  Patrick Baudin authored 5 years ago
  
  0d326d65
- [Eva] fix typo and improve help of option -eva-mlevel · e6b60d26
  Andre Maroneze authored 5 years ago
  
  e6b60d26
Aug 28, 2019
- move [Filepath.existence] to [Parameter_sig.existence] + comment exceptions · 510b1007
  Julien Signoles authored 5 years ago
  
  510b1007
- remove useless values from Parameter_customize · c6ca6964
  Julien Signoles authored 5 years ago
  
  c6ca6964
- [filepath] add is_unknown function · ac9d1561
  Yaelle Vincont authored 5 years ago and Julien Signoles committed 5 years ago
  
  ac9d1561
- [cmdline] fix Parameter_builder.Filepath · 8a9f9c4a
  Yaelle Vincont authored 5 years ago and Julien Signoles committed 5 years ago
  
  8a9f9c4a
- [Cmdline] add Filepath parameter · 390f409c
  Andre Maroneze authored 5 years ago and Julien Signoles committed 5 years ago
  
  390f409c
- [wp] fix qualif oracles · 70f07158
  Loïc Correnson authored 5 years ago
  
  Change order of operations (ordered by Kf to add lemmas) Smaller compiled context (compounds only used in Kf)
  70f07158
- [Libc] update test oracles · 9e8d032e
  Andre Maroneze authored 5 years ago
  
  9e8d032e
Aug 27, 2019
- [Variadic] add test case · 22d2eec5
  Andre Maroneze authored 5 years ago
  
  22d2eec5
- [Variadic] use indirect in assigns \result from to avoid garbled mix propagation · f019f042
  Andre Maroneze authored 5 years ago
  
  f019f042
- add Transitioning.Float.max_float · 8ed03f4b
  Julien Signoles authored 5 years ago
  
  8ed03f4b
- [wp] make contextual symbols really contextual · c4f28c5b
  Loïc Correnson authored 5 years ago
  
  c4f28c5b
- [Libc] avoid assigns with ternary operator · b43f5a44
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  b43f5a44
- [Eva] change 'invalid assigns' clause warning to feedback · e9b12b5f
  Andre Maroneze authored 5 years ago and David Bühler committed 5 years ago
  
  e9b12b5f
- [wp] fix equality clusters · 3e483d2b
  Loïc Correnson authored 5 years ago
  
  3e483d2b
Aug 26, 2019
- [wp] remove internal qed checks · 428c034b
  Loïc Correnson authored 5 years ago
  
  only for e-imply and largely trivials
  428c034b
- [wp] fix missing lemmas in function contexts · 4b3b634b
  Loïc Correnson authored 5 years ago
  
  4b3b634b
- [wp/context] use static generators · ca7920e4
  Loïc Correnson authored 5 years ago
  
  ca7920e4
- [wp] optims for context · 00a3651a
  Loïc Correnson authored 5 years ago
  
  00a3651a
Aug 23, 2019
- [wp] context by fonction · aefc8788
  Loïc Correnson authored 5 years ago
  
  aefc8788
- [wp] suppress useless datatype · eb0f5249
  Loïc Correnson authored 5 years ago
  
  eb0f5249
- [wp] rename Model into WpContext · 0a0fa832
  Loïc Correnson authored 5 years ago
  
  0a0fa832
Aug 22, 2019
- [wp] rename prover-why3 · 5400738a
  Loïc Correnson authored 5 years ago
  
  5400738a
- [wp] git ignore · 2f3105f6
  Loïc Correnson authored 5 years ago
  
  2f3105f6
- [wp] fix distributed files · a086a53e
  Loïc Correnson authored 5 years ago
  
  a086a53e
- [wp] remove obsolete why3 files · 88715292
  Loïc Correnson authored 5 years ago
  
  88715292
- [wp] refactor share directory and coq compilation · c60dd91c
  Loïc Correnson authored 5 years ago
  
  c60dd91c
- [wp] remove obsolete prover-why3 · f993c057
  Loïc Correnson authored 5 years ago
  
  f993c057
- [wp] remove obsolete code for why3-ide · 5410492a
  Loïc Correnson authored 5 years ago
  
  5410492a
- [Cabs2cil] allow unions containing structs with FAMs · 4984f5de
  Andre Maroneze authored 5 years ago
  
  4984f5de