Commits · 759e76408dc22cff16afe3b2607eaf2f650bd75c · pub / frama-c · GitLab

Snippets Groups Projects

Jan 25, 2023
- [ivette] support DESTDIR during Ivette installation · 759e7640
  Andre Maroneze authored 2 years ago
  
  759e7640
Jan 23, 2023
- Merge branch 'fix/andre/fixes-for-cygwin' into 'stable/iron' · 29d0c06b
  Allan Blanchard authored 2 years ago
  
  Fixes to ensure compatibility with Windows/Cygwin See merge request frama-c/frama-c!4035
  29d0c06b
Jan 20, 2023
- [opam] avoid E-ACSL issues in Windows · 1ffa0d9c
  Andre Maroneze authored 2 years ago
  
  1ffa0d9c
- [Ivette] fix issue with installation in Cygwin · 24d9707a
  Andre Maroneze authored 2 years ago
  
  24d9707a
- [Eva] avoid issue with Dune on Windows · d76d6951
  Andre Maroneze authored 2 years ago
  
  On Windows, 'run script.sh' makes Dune try to run CreateProcess() on the script itself. Adding 'bash' prevents an error. Since the shebang of the script also mentions bash, this should keep the previous behavior on Unix.
  d76d6951
Jan 16, 2023
- Merge branch 'fix/kernel/pp-ghost-array' into 'stable/iron' · a5d9d749
  Allan Blanchard authored 2 years ago
  
  Accepts `\ghost` attribute in ACSL parser See merge request frama-c/frama-c!4042
  a5d9d749
Jan 11, 2023
- [tests] fix oracle file name · f6bf0403
  Virgile Prevosto authored 2 years ago
  
  f6bf0403
- [logic] accept \ghost attribute in types, notably casts · b6ba91f1
  Virgile Prevosto authored 2 years ago
  
  Fixes #2638
  b6ba91f1
Jan 10, 2023
- Merge branch 'fix/kernel/acsl-range-pp' into 'stable/iron' · 3e6c64ef
  David Bühler authored 2 years ago
  
  [printer] Fix precedence level for pretty-printing ACSL ranges. See merge request frama-c/frama-c!4034
  3e6c64ef
- [printer] puts parentheses around ranges in ACSL function bodies · 3d440c25
  Virgile Prevosto authored 2 years ago
  
  3d440c25
Jan 06, 2023
- [printer] Fix term precedence in Plet as well as Tlet · 556f96fe
  Virgile Prevosto authored 2 years ago
  
  556f96fe
Jan 04, 2023
- [tests] update oracles · 3dae0a46
  Virgile Prevosto authored 2 years ago
  
  3dae0a46
Jan 03, 2023
- [printer] use appropriate function for deciding whether parentheses are needed · 874ef2cd
  Virgile Prevosto authored 2 years ago
  
  874ef2cd
- [printer] Fix precedence level for pretty-printing ACSL ranges. · bcc1518f
  Virgile Prevosto authored 2 years ago
  
  Fixes #2639
  bcc1518f
- [dune] generates logic_parser.output for debugging ACSL parser · 7faf10bb
  Virgile Prevosto authored 2 years ago
  
  7faf10bb
Jan 01, 2023
- preparing test case for #2639 · 2af03708
  Virgile Prevosto authored 2 years ago
  
  2af03708
Dec 09, 2022
- Merge branch 'fix/opam/yojson-for-tests' into 'stable/iron' · 092b01a7
  Allan Blanchard authored 2 years ago
  
  [opam] relax constraint on yojson See merge request frama-c/frama-c!4010
  092b01a7
Dec 08, 2022
- Merge branch 'fix/ci/release-actions' into 'stable/iron' · 6742adaa
  David Bühler authored 2 years ago
  
  Fix release actions See merge request frama-c/frama-c!4004
  6742adaa
- [release] Fixes the CI publish-website script. · 5589e495
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  5589e495
- [release] Fixes publication of the main changes in the build-release script. · 60ba24c5
  Allan Blanchard authored 2 years ago and David Bühler committed 2 years ago
  
  60ba24c5
Dec 02, 2022
- Merge branch 'fix/wp/terminates-erase-goals' into 'stable/iron' · fe995e03
  Loïc Correnson authored 2 years ago
  
  Fix WP regression on terminates See merge request frama-c/frama-c!4014
  fe995e03
- Merge branch 'fix/doc/metrics' into 'stable/iron' · 51a0f0d9
  Allan Blanchard authored 2 years ago
  
  [doc] fix metrics figures See merge request frama-c/frama-c!4008
  51a0f0d9
- [wp] fix terminates and decreases for local_init · 82a8a9dc
  Allan Blanchard authored 2 years ago
  
  82a8a9dc
- [wp] fix goal loss · 70d26ac4
  Allan Blanchard authored 2 years ago
  
  70d26ac4
Nov 29, 2022
- [opam] relax constraint on yojson · eacfde3b
  Allan Blanchard authored 2 years ago
  
  eacfde3b
Nov 28, 2022
- [doc] fix metrics figures · 92b6aaa5
  Allan Blanchard authored 2 years ago
  
  92b6aaa5
Nov 23, 2022
- Fixes a minor typo in the main changes for the 26.0 release. · 7d685b17
  David Bühler authored 2 years ago
  
  26.0
  
  7d685b17
- Updates version for the final release of Frama-C 26.0 (Iron). · 1ec4a85d
  David Bühler authored 2 years ago
  
  1ec4a85d
- [Eva] Dune file: fixes the frama-c-configure rule for apron domains. · 51867c91
  David Bühler authored 2 years ago
  
  51867c91
Nov 22, 2022
- Merge branch 'fix/doc/polish-dune-devman' into 'stable/iron' · 5c7e1eba
  David Bühler authored 2 years ago
  
  Polish post-dune development manual See merge request frama-c/frama-c!3999
  5c7e1eba
- [devman] fixes @maroneze remarks in !3999 · b267cc22
  Virgile Prevosto authored 2 years ago
  
  b267cc22
- [Doc] devman: update initial sections · dcf990e8
  Andre Maroneze authored 2 years ago
  
  dcf990e8
- [Kernel] remove outdated ocamldoc annotation · a0c73c28
  Andre Maroneze authored 2 years ago
  
  a0c73c28
- [devman] document changes · 5a768f98
  Virgile Prevosto authored 2 years ago
  
  5a768f98
- [devman] lablgtk2 is dead · e6718ca0
  Virgile Prevosto authored 2 years ago
  
  e6718ca0
- [book.cls] update dune listings definition · 84f98c51
  Virgile Prevosto authored 2 years ago
  
  84f98c51
- [devman] AUCTeX-related variables · 6df8dfa3
  Virgile Prevosto authored 2 years ago
  
  6df8dfa3
- [devman] fix code example layout · 2926c326
  Virgile Prevosto authored 2 years ago
  
  2926c326
- [devman] clean up registration section · 3e1c512f
  Virgile Prevosto authored 2 years ago
  
  3e1c512f
- [devman] comment obsolete documentation section · 667bea1a
  Virgile Prevosto authored 2 years ago
  
  667bea1a