Merge requests · pub / frama-c · GitLab

Draft: Resolve "[WP] region plugin division by 0 with blob region node"

!14 · created Jul 04, 2024 by Jérémy Damour
wp
- Closed
updated Jul 04, 2024
Draft: Resolve "[WP] The support of sets is partial"

!13 · created Jul 02, 2024 by Cécile Ruet-Cros
confirmed wp
- Closed
updated Jul 02, 2024
[gui] Fix menu item labels alignment

!12 · created Mar 19, 2024 by Sylvain
- Closed
- 1
updated Mar 29, 2024
Issue #2687: Fix Makefile escaping of ivette shell wrappers $@ on macOS 3 of 3 checklist items completed

!11 · created Jan 11, 2024 by Jevin Sweval
- Closed
- 2
updated Jan 28, 2024
[ivette] fix unintentional macOS argument splitting

!9 · created Oct 16, 2023 by Marvin Häuser
- Closed
- 4
updated Oct 24, 2023
Draft: Replace axiomatic lists with standard Why3 lists in WP plugin

!8 · created Jan 27, 2023 by kwaxer
- Closed
- 20
updated Apr 05, 2023
Fix/make depend macos

!7 · created Jun 07, 2022 by Andre Maroneze stable/manganese
- Closed
- 1
updated Jul 06, 2022
Unmarshal: Hide type-breaking code behind Sys.opaque_identity

!6 · created Jan 26, 2022 by Vincent Laviron 25 (Manganese)
- Closed
- 3
updated May 17, 2022
WIP: [Libc] add non-POSIX header sys/sendfile.h + test

!5 · created Jun 08, 2021 by Andre Maroneze
libc
- Closed
updated Jun 09, 2021
[tests] use shorter, path-independent includes

!4 · created Apr 16, 2021 by Andre Maroneze
- Closed
updated Apr 16, 2021
Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual

!3 · created Jun 09, 2020 by Dario Pinto
- Closed
- 1
updated Jun 09, 2020