Commits · 8842ca5ee33d1ca68301de86d3117c6a0b0255f9 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 04, 2019
- [visitor] visit formal decls before local decls in a fundec · 8842ca5e
  Virgile Prevosto authored 5 years ago and David Bühler committed 5 years ago
  
  from a dependency point of view, this make more sense.
  8842ca5e
- [kernel] print vid debugging info through cil_printer as well as printer · 50dabb42
  Virgile Prevosto authored 5 years ago and David Bühler committed 5 years ago
  
  50dabb42
- [tests] add test for monitoring usage of local var in declaration of another · eb34e50d
  Virgile Prevosto authored 5 years ago and David Bühler committed 5 years ago
  
  eb34e50d
Jul 03, 2019
- Merge branch 'feature/andre/libc-chdir-chroot' into 'master' · 59326442
  Valentin Perrelle authored 5 years ago
  
  [Libc] add specs for chdir/chroot See merge request frama-c/frama-c!2275
  59326442
Jul 02, 2019
- INSTALL and README: updates the opam version needed to install Frama-C. · 42a332b5
  David Bühler authored 5 years ago
  
  42a332b5
- Merge branch 'feature/patrick/improved-wp-simplifiers' into 'master' · f9fde48f
  Loïc Correnson authored 5 years ago
  
  [wp] Improves simplifiers See merge request frama-c/frama-c!2294
  f9fde48f
- [wp] minor: renaming + doc review · fbafc554
  Patrick Baudin authored 5 years ago
  
  fbafc554
Jul 01, 2019
- Merge branch 'fix/andre/configure-messages' into 'master' · de5dceac
  Virgile Prevosto authored 5 years ago
  
  [configure] show version of found libraries See merge request frama-c/frama-c!2293
  de5dceac
Jun 28, 2019
- Merge branch 'bugfix/issue549' into 'master' · 05db1ff8
  Julien Signoles authored 5 years ago
  
  Bugfix/issue549 See merge request frama-c/frama-c!2235
  05db1ff8
- changelog · 241ebbce
  Julien Signoles authored 5 years ago
  
  241ebbce
- supression of TCoerce, TCoerceE, PLcoercion and PLCoercionE · bf154b79
  Tristan Le Gall authored 5 years ago and Julien Signoles committed 5 years ago
  
  bf154b79
- supression of Psubtype and PLsubtype (jessie) · d5b08c0d
  Tristan Le Gall authored 5 years ago and Julien Signoles committed 5 years ago
  
  d5b08c0d
- Merge branch '654-wp-qed-incorrect-transformations-with-binders' into 'master' · cdedac5f
  Loïc Correnson authored 5 years ago
  
  Resolve "[WP/QED] Incorrect transformations with binders" Closes #654 See merge request frama-c/frama-c!2267
  cdedac5f
- [wp] activate defensive agains for subst · a84ae7af
  Loïc Correnson authored 5 years ago
  
  a84ae7af
- [wp] improves is_cint_simplifier · e028702c
  Patrick Baudin authored 5 years ago
  
  e028702c
- [wp] add some tests for is_cint_simplifier · d985937a
  Patrick Baudin authored 5 years ago
  
  d985937a
- [wp] improves mask simplifier · b1095f5b
  Patrick Baudin authored 5 years ago
  
  b1095f5b
- [wp] improves ConstantFolder · 63cd5595
  Patrick Baudin authored 5 years ago
  
  63cd5595
- [qed] restaures term invariants on let-introductions · eb3dd165
  Patrick Baudin authored 5 years ago
  
  eb3dd165
Jun 27, 2019
- [qed] prepare defensive subst against lc-terms · 53025026
  Loïc Correnson authored 5 years ago
  
  53025026
- [wp] deprecates lc_open (for counter-examples) · adf93e9c
  Loïc Correnson authored 5 years ago
  
  adf93e9c
- [qed] removing lc_empty and lc_closed_at · db1ef3fa
  Loïc Correnson authored 5 years ago
  
  db1ef3fa
- [wp+qed] remove lc_bind and lc_open · 8e495f96
  Loïc Correnson authored 5 years ago
  
  8e495f96
- [wp] linting files · 896dae9d
  Loïc Correnson authored 5 years ago
  
  896dae9d
- [wp] suppress higher-order from repr · 2605cb8f
  Loïc Correnson authored 5 years ago
  
  2605cb8f
- [wp] docs · 9b5ac197
  Patrick Baudin authored 5 years ago
  
  9b5ac197
- [wp] Change log · e5565eb6
  Patrick Baudin authored 5 years ago
  
  e5565eb6
- [qed] removing type 'a cache and related functions from the API · 87516f84
  Patrick Baudin authored 5 years ago
  
  87516f84
- [wp] improves forall_intro · 68a58d78
  Patrick Baudin authored 5 years ago
  
  68a58d78
- [wp] removes lc_open from cfgWP.ml · e4012b8a
  Patrick Baudin authored 5 years ago
  
  e4012b8a
- [wp] replaces lc_open by e_open into Conditions.ml · 3ac8c62d
  Patrick Baudin authored 5 years ago
  
  3ac8c62d
- [wp] replace lc_open by e_open into Split tactic · 423f63ca
  Patrick Baudin authored 5 years ago
  
  423f63ca
- [wp] fixes use of polarity in Cint simplifier · 8e3bf405
  Patrick Baudin authored 5 years ago
  
  8e3bf405
- [wp] set add bonus into Cint simplifier as it should be · 8de4abbc
  Patrick Baudin authored 5 years ago
  
  8de4abbc
- [wp] replaces lc_open,lc_iter,lc_map by e_open,f_iter,f_map into Cint simplifier (oracle changes) · 6510c2bd
  Patrick Baudin authored 5 years ago
  
  6510c2bd
- [wp] replaces lc_open,lc_iter,lc_map by e_open,f_iter,f_map into Cint simplifier · 583cf432
  Patrick Baudin authored 5 years ago
  
  583cf432
- [qed] introduces f_map, f_iter and removes e_map, e_iter · badb5b9c
  Patrick Baudin authored 5 years ago
  
  badb5b9c
- [qed] update docs · e7b50a5d
  Loïc Correnson authored 5 years ago and Patrick Baudin committed 5 years ago
  
  e7b50a5d
- [qed] introduction of e_open and e_close · c039726b
  Loïc Correnson authored 5 years ago and Patrick Baudin committed 5 years ago
  
  c039726b
Jun 26, 2019
- [configure] show version of found libraries · 43c3acb8
  Andre Maroneze authored 5 years ago
  
  43c3acb8