Commits · 8e495f9616b6c578583e043919a40fdbff8c6b26 · pub / frama-c · GitLab

Snippets Groups Projects

Jun 27, 2019
- [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 25, 2019
- [qed] unused type lc-repr · 015e5c4f
  Loïc Correnson authored 5 years ago
  
  015e5c4f
- [qed] possible extensions of e-subst with let-intro · 1ed5f84b
  Loïc Correnson authored 5 years ago
  
  1ed5f84b
May 29, 2019
- [qed] introduce safe e_bind & e_close · fdfaf799
  Loïc Correnson authored 5 years ago
  
  fdfaf799
- [qed+wp] suppress lc_map and p_iter · 1405989f
  Loïc Correnson authored 5 years ago
  
  1405989f
- [qed] suppress f_map and f_iter · fb8697df
  Loïc Correnson authored 5 years ago
  
  fb8697df
- [wp] using general substitutions for Letify · da2561bd
  Loïc Correnson authored 5 years ago
  
  da2561bd
- [qed] cache acceleration and pruning · 0d77531b
  Loïc Correnson authored 5 years ago
  
  0d77531b
- [qed] cleanup e_repr ; add Subst.filter · d0fd0449
  Loïc Correnson authored 5 years ago
  
  d0fd0449
- [wp] restore previous behaviour · 43120c5d
  Loïc Correnson authored 5 years ago
  
  43120c5d
May 28, 2019
- [qed] fix lc-alpha and move debug printer · 4d23ee4d
  Loïc Correnson authored 5 years ago
  
  4d23ee4d
- [wp] change sigma API · 3591b8d0
  Loïc Correnson authored 5 years ago
  
  3591b8d0
May 27, 2019
- [qed] fix implementation of lc_bind and lc_close · 19b6b37d
  Loïc Correnson authored 5 years ago
  
  19b6b37d
- [qed] reorder internal iterator · 0b252fbb
  Loïc Correnson authored 5 years ago
  
  0b252fbb
- [qed] deprecates unsafe API · 50b51cfb
  Loïc Correnson authored 5 years ago
  
  50b51cfb
May 24, 2019
- Merge branch 'stable/potassium' · a067a8d8
  Virgile Prevosto authored 5 years ago
  
  a067a8d8
- Merge branch 'fix/virgile/why3-conf' into 'stable/potassium' · 64eb5ec7
  Loïc Correnson authored 5 years ago
  
  Fix/virgile/why3 conf See merge request frama-c/frama-c!2264
  64eb5ec7
- Merge branch 'fix/rte/variable-declarations' into 'stable/potassium' · f855d58c
  Julien Signoles authored 5 years ago
  
  [rte] Do not visit variable declarations; fixes a crash. See merge request frama-c/frama-c!2261
  f855d58c
- changelog · c9226d13
  Julien Signoles authored 5 years ago
  
  c9226d13
May 23, 2019
- [wp] don't forget to forcibly rm a read-only file before re-generating it · 06d805e3
  Virgile Prevosto authored 5 years ago
  
  Also use FC's Makefile standard variables whenever possible
  06d805e3
- [wp] recompute why3.conf when --prefix is changed · 76c684f2
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  76c684f2
- [tests] add test for RTE issue mentioned in MR !2261 · 68e7678d
  Virgile Prevosto authored 5 years ago
  
  68e7678d
- Merge branch '649-wp-why3-dependencies' into 'master' · 7b24191f
  Virgile Prevosto authored 5 years ago
  
  Resolve "[wp] why3 dependencies" Closes #649 See merge request frama-c/frama-c!2259
  7b24191f
- Merge branch 'fix/issue652' into 'stable/potassium' · 9f808abb
  Virgile Prevosto authored 5 years ago
  
  See merge request frama-c/frama-c!2262
  9f808abb