Commits · 10eb6f51ee771431ebbfda12f4f8fc5ca68adcf3 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 05, 2019
- [WP/tests] oracle updated · 10eb6f51
  Patrick Baudin authored 5 years ago
  
  10eb6f51
Aug 30, 2019
- Merge branch 'master' into feature/wp/vc-context · 38a6286b
  Loïc Correnson authored 5 years ago
  
  38a6286b
Aug 29, 2019
- Merge branch 'fix/andre/distrib-compliance' into 'master' · 71359021
  Andre Maroneze authored 5 years ago
  
  [Compliance] distribute compliance-related files See merge request frama-c/frama-c!2364
  71359021
- [Compliance] distribute compliance-related files · 5378252a
  Andre Maroneze authored 5 years ago
  
  5378252a
- Merge branch 'feature/wp/cleanup-why3' into 'master' · 471901c9
  François Bobot authored 5 years ago
  
  Feature/wp/cleanup why3 See merge request frama-c/frama-c!2355
  471901c9
- Merge branch 'feature/andre/variadic-indirect-result' into 'master' · 00b9a2f6
  Valentin Perrelle authored 5 years ago
  
  [Variadic] use indirect in assigns \result from to avoid garbled mix propagation See merge request frama-c/frama-c!2357
  00b9a2f6
Aug 28, 2019
- Merge branch 'feature/andre/libc-compliance' into 'master' · f649401f
  Virgile Prevosto authored 5 years ago
  
  [Libc] add standards-compliance databases and checks See merge request frama-c/frama-c!2343
  f649401f
- Merge branch 'feature/server/plugin' into 'master' · 84ad8062
  Loïc Correnson authored 5 years ago
  
  Server Plugin See merge request frama-c/frama-c!1838
  84ad8062
- Merge branch 'master' into feature/server/plugin · b889e483
  Loïc Correnson authored 5 years ago
  
  b889e483
- Merge branch 'feature/library/dot-graph' into 'master' · c1a30fcb
  François Bobot authored 5 years ago
  
  [lib] dot-graph utilities See merge request frama-c/frama-c!2350
  c1a30fcb
- [opam] Remove constraint on the version of Alt-Ergo · e402fc8b
  Allan Blanchard authored 5 years ago and David Bühler committed 5 years ago
  
  e402fc8b
- Merge branch 'master' into feature/wp/vc-context · a30225e2
  Loïc Correnson authored 5 years ago
  
  a30225e2
- Merge branch 'feature/andre/filepath-parameter' into 'master' · b39ea21a
  Julien Signoles authored 5 years ago
  
  [Cmdline] add Filepath parameter Closes #589 See merge request frama-c/frama-c!2263
  b39ea21a
- 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
- Merge branch 'julien/feature/float_transitioning' into 'master' · 8998149c
  Julien Signoles authored 5 years ago
  
  [transitioning] add Float.max_float See merge request frama-c/frama-c!2360
  8998149c
- [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
- [Ptests] ensure macros apply only to current and subsequent commands · 1991030a
  Andre Maroneze authored 5 years ago
  
  1991030a
- [Libc] update test oracles · 9e8d032e
  Andre Maroneze authored 5 years ago
  
  9e8d032e
Aug 27, 2019
- [Libc] move declarations for better POSIX compliance; minor fix · b18129d8
  Andre Maroneze authored 5 years ago
  
  b18129d8
- [Libc] fix normalization of __fc prefixes · bffa0795
  Andre Maroneze authored 5 years ago
  
  bffa0795
- [Libc] add standards-compliance databases and checks · 7296f784
  Andre Maroneze authored 5 years ago
  
  7296f784
- [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
- Merge branch 'feature/andre/eva-warning-assigns' into 'master' · f7d59e36
  David Bühler authored 5 years ago
  
  [Eva] change 'invalid assigns' clause warning to feedback See merge request frama-c/frama-c!2276
  f7d59e36
- [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