Commits · 67ae6e6da4cf827c2bfe27a31ab76ae393d0ceb2 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 09, 2024
- [kernel] Remove deprecated unknown in Filepath.Normalized · 67ae6e6d
  Thibault Martin authored 8 months ago and Andre Maroneze committed 8 months ago
  
  67ae6e6d
- [kernel] Remove deprecated Integer functions · 52121bc6
  Thibault Martin authored 8 months ago and Andre Maroneze committed 8 months ago
  
  52121bc6
- [kernel] Remove deprecated options · 0892d5a2
  Thibault Martin authored 8 months ago and Andre Maroneze committed 8 months ago
  
  0892d5a2
- Merge branch 'feature/martin/automata/add-opt-statement-in-skip' into 'master' · 0e1aceb2
  David Bühler authored 8 months ago
  
  Interpreted_automata improvements See merge request frama-c/frama-c!4648
  0e1aceb2
- [kernel] In interpreted_automata, slightly improves comments of Domain. · e1c4c725
  David Bühler authored 8 months ago
  
  e1c4c725
- [kernel] Dataflow analyses with interpreted automata now requires widen to... · 4fe8dab8
  Valentin Perrelle authored 8 months ago and David Bühler committed 8 months ago
  
  [kernel] Dataflow analyses with interpreted automata now requires widen to return a more explicit type
  4fe8dab8
- [kernel] Interpreted automata: improves documentation of widening. · 295d6410
  David Bühler authored 9 months ago
  
  295d6410
- Update test oracles · 011908fd
  Thibault Martin authored 9 months ago and David Bühler committed 8 months ago
  
  011908fd
- [kernel] Handle noreturn attr in Interpreted_automata · 1b8c864f
  Thibault Martin authored 9 months ago and David Bühler committed 8 months ago
  
  1b8c864f
- [kernel] Pass vertex and edge instead of edge_transition in transfer function · b1c416b1
  Thibault Martin authored 9 months ago and David Bühler committed 8 months ago
  
  b1c416b1
- Merge branch 'fix/wp/zero-real' into 'master' · e5a444ff
  Loïc Correnson authored 8 months ago
  
  [qed] fix int/real zero normalization See merge request frama-c/frama-c!4669
  e5a444ff
- Merge branch 'fix/kernel/spurious-constexpr' into 'master' · 6aa82a9b
  Thibault Martin authored 8 months ago
  
  Fix isConstant test for pointers casted to ints. Closes #1424 See merge request frama-c/frama-c!4668
  6aa82a9b
- [cil] Remove unused parameter of isConstantGen · 947e3e3f
  Thibault Martin authored 8 months ago
  
  947e3e3f
Jul 08, 2024
- [wp] fix why3 polymorphic conversions · a0817b72
  Loïc Correnson authored 8 months ago
  
  a0817b72
- [qed] fix int/real zero normalization · 150a9eef
  Loïc Correnson authored 8 months ago
  
  150a9eef
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