Commits · 06463e22722cca3eacf30d2786a807a517fc3dd0 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 05, 2024
- [tests] more coherent filenames · 06463e22
  Virgile Prevosto authored 8 months ago
  
  06463e22
- [typing] fix isConstant test for global initialization · 24c02301
  Virgile Prevosto authored 8 months ago
  
  24c02301
- [tests] prepare test case for expression mistakenly considered as const · 9ecdc0d5
  Virgile Prevosto authored 8 months ago
  
  9ecdc0d5
- Merge branch '752-support-des-sets-par-wp' into 'master' · e27f16a4
  Loïc Correnson authored 8 months ago
  
  Resolve "Support des sets par WP" Closes #752 See merge request frama-c/frama-c!4661
  e27f16a4
- [wp] cleanup vset.mlw · 45c4a1f9
  Loïc Correnson authored 8 months ago
  
  45c4a1f9
- [wp] vset test cleanup · 3855869e
  Cécile Ruet-Cros authored 8 months ago
  
  3855869e
- [wp] vset: clean useless lemmas in test · 0c6202e4
  Cécile Ruet-Cros authored 8 months ago
  
  0c6202e4
- [wp] vset: cleanup & ready · f5a61bd8
  Cécile Ruet-Cros authored 8 months ago
  
  f5a61bd8
- Merge branch 'fix/eva/simplify-const-fold' into 'master' · 86b556ba
  David Bühler authored 8 months ago
  
  [Eva] Eva_ast: slightly simplifies the implementation of constant folding. See merge request frama-c/frama-c!4650
  86b556ba
- [Eva] Adds minor comment and aesthetic fix to the constant folding. · a4e57d00
  David Bühler authored 8 months ago
  
  a4e57d00
- [Eva] Eva_ast: slightly simplifies the implementation of constant folding. · eeaf2f62
  David Bühler authored 9 months ago
  
  eeaf2f62
Jul 04, 2024
- [wp] vset: add case on equality of set (+polar.) · 57be84d2
  Cécile Ruet-Cros authored 8 months ago
  
  57be84d2
- Merge branch 'fix/wp/coq-editor' into 'master' · a573fcd3
  Loïc Correnson authored 8 months ago
  
  [ide] use the editor configured in Why3 for the selected interactive prover See merge request frama-c/frama-c!4662
  a573fcd3
- Merge branch 'feature/andre/keep-unused-functions' into 'master' · dec1e8dd
  Thibault Martin authored 8 months ago
  
  [Kernel] rename and extend -remove-unused-specified-functions as -keep-unused-functions See merge request frama-c/frama-c!4609
  dec1e8dd
- [doc] Update man · 50d2e5f0
  Thibault Martin authored 8 months ago
  
  50d2e5f0
Jul 03, 2024
- [ide] use the editor configured in Why3 for the selected interactive prover · aa55e2ba
  Virgile Prevosto authored 8 months ago
  
  aa55e2ba
- [wp] vset: library/test cleanup · 5bb5b882
  Cécile Ruet-Cros authored 8 months ago
  
  5bb5b882
- [Kernel] rename and extend -remove-unused-specified-functions as -keep-unused-functions · 334951cd
  Andre Maroneze authored 10 months ago
  
  334951cd
- [wp] vset: add options for tests · c91d2a7e
  Cécile Ruet-Cros authored 8 months ago
  
  c91d2a7e
- Merge branch 'fix/andre/plugins-gitignore' into 'master' · 7b13fa19
  Andre Maroneze authored 8 months ago
  
  remove obsolete .gitignore files See merge request frama-c/frama-c!4660
  7b13fa19
- [wp] vset add test oracles · e54e0a67
  Cécile Ruet-Cros authored 8 months ago
  
  e54e0a67
- [wp] vset cleanup useless lemmas · 011af158
  Cécile Ruet-Cros authored 8 months ago
  
  011af158
- [wp] update test oracles · 526c153e
  Cécile Ruet-Cros authored 8 months ago
  
  526c153e
- [wp] vset: add new tests for iota · 0f41c425
  Cécile Ruet-Cros authored 8 months ago
  
  0f41c425
- remove obsolete entries in main .gitignore · b2ede665
  Andre Maroneze authored 8 months ago
  
  b2ede665
- [wp] refine vset tests · f304d041
  Cécile Ruet-Cros authored 8 months ago
  
  f304d041
Jul 02, 2024
- [wp] add vset testing · f22d5a46
  Cécile Ruet-Cros authored 8 months ago
  
  f22d5a46
- [wp] Fix set translation · 116d4a38
  Cécile Ruet-Cros authored 8 months ago
  
  116d4a38
- Remove a few more obsolete files · 7a236007
  Andre Maroneze authored 8 months ago
  
  7a236007
- Merge branch 'feature/blanchard/doc/remove-frama-c-guy' into 'master' · 716ccebb
  Thibault Martin authored 8 months ago
  
  Remove the Frama-C Guy Closes #1419 See merge request frama-c/frama-c!4655
  716ccebb
- remove obsolete .gitignore files · b886ff46
  Andre Maroneze authored 8 months ago
  
  b886ff46
Jul 01, 2024
- [doc] Replace .fig by .pdf, convert dot files to pdf directly · 31ce41ae
  Thibault Martin authored 8 months ago
  
  31ce41ae
- Merge branch 'feature/wp/why3/global-import' into 'master' · 2017cc4d
  Loïc Correnson authored 8 months ago
  
  [wp] global why3 import environment See merge request frama-c/frama-c!4619
  2017cc4d
Jun 28, 2024
- [doc] remove the Frama-C guy · 1c165013
  Allan Blanchard authored 8 months ago
  
  1c165013
- [doc] fix slicing/pdg manuals compilation · c49b2f34
  Allan Blanchard authored 8 months ago
  
  c49b2f34
Jun 27, 2024
- [wp] Changed temp_menv to menv for clarity · 9694a20b
  Kilyan Le Gallic authored 8 months ago and Loïc Correnson committed 8 months ago
  
  9694a20b
- [wp] Fix tbd · 1a3579e4
  Kilyan Le Gallic authored 9 months ago and Loïc Correnson committed 8 months ago
  
  1a3579e4
- [wp] Creation of empty environment · a46444ce
  Kilyan Le Gallic authored 9 months ago and Loïc Correnson committed 8 months ago
  
  a46444ce
- [wp] Populated and print pf reverse tables, to be refactored · 24c9bdf3
  Kilyan Le Gallic authored 10 months ago and Loïc Correnson committed 8 months ago
  
  24c9bdf3
- [wp] Populated lists of logic/type for each module encountered · 96690ed5
  Kilyan Le Gallic authored 10 months ago and Loïc Correnson committed 8 months ago
  
  96690ed5