Merge requests · pub

Fix/make depend macos

frama-c!7 · created Jun 07, 2022 by Andre Maroneze stable/manganese
- Closed
- 1
updated Jul 06, 2022
Draft: FAKE Release 26.0-Iron

pub.frama-c.com!159 · created Aug 03, 2022 by François Bobot
- Closed
- 1
updated Aug 03, 2022
update Makefiles following new installation directories

open-source-case-studies!33 · created Sep 21, 2022 by Andre Maroneze
- Closed
updated Jan 06, 2023
DRAFT: upgrade to why3 1.5.1+git

why3find!8 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
Draft: Cache operations

why3find!9 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
Draft: Release 26.0-Iron

pub.frama-c.com!172 · created Nov 25, 2022 by Allan Blanchard
- Closed
updated Nov 25, 2022
Draft: Replace axiomatic lists with standard Why3 lists in WP plugin

frama-c!8 · created Jan 27, 2023 by kwaxer
- Closed
- 20
updated Apr 05, 2023
change 'make framac' target to install globally

open-source-case-studies!40 · created Mar 27, 2023 by Andre Maroneze
- Closed
updated Mar 28, 2023
Draft: Resolve "[doc] lemma proof report is incorrect"

why3find!29 · created Jun 21, 2023 by Loïc Correnson
bug
- Closed
updated Jun 21, 2023
Draft: Resolve "[ide] generate why3 ide strategy"

why3find!39 · created Jul 13, 2023 by Loïc Correnson 1.0
feature
- Closed
updated Jul 13, 2023
Draft: Release 27.1-Cobalt

pub.frama-c.com!197 · created Jul 18, 2023 by Frama-CI Bot
- Closed
updated Jul 18, 2023
[ivette] fix unintentional macOS argument splitting

frama-c!9 · created Oct 16, 2023 by Marvin Häuser
- Closed
- 4
updated Oct 24, 2023
Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS 3 of 3 checklist items completed

frama-c!11 · created Jan 11, 2024 by Jevin Sweval
- Closed
- 2
updated Jan 28, 2024
Update core to v1.16.1

colibrics!52 · created Jan 27, 2024 by Hichem R. A.
- Closed
- 3
updated Jan 29, 2024
Draft: Resolve "[config] depth not saved in config"

why3find!51 · created Jan 29, 2024 by Loïc Correnson
bug
- Closed
- 1
updated Jan 29, 2024
Resolve "[prove] preserves partial proofs on Ctrl-C"

why3find!57 · created Feb 16, 2024 by Benjamin Jorge
feature
- Closed
- 18
- Approved
updated May 14, 2024
[gui] Fix menu item labels alignment

frama-c!12 · created Mar 19, 2024 by Sylvain
- Closed
- 1
updated Mar 29, 2024
Draft: Resolve "[WP] The support of sets is partial"

frama-c!13 · created Jul 02, 2024 by Cécile Ruet-Cros
confirmed wp
- Closed
updated Jul 02, 2024
Draft: Resolve "[WP] region plugin division by 0 with blob region node"

frama-c!14 · created Jul 04, 2024 by Jérémy Damour
wp
- Closed
updated Jul 04, 2024
Draft: Test

why3find!101 · created Aug 28, 2024 by Benjamin Jorge
- Closed
updated Aug 28, 2024