Merge requests · pub / frama-c · GitLab

Draft: Replace axiomatic lists with standard Why3 lists in WP plugin

!8 · created Jan 27, 2023 by kwaxer
- 18
updated Feb 18, 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
- 0
updated Jun 09, 2021
[tests] use shorter, path-independent includes

!4 · created Apr 16, 2021 by Andre Maroneze
- CLOSED
- 0
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
[gitlab] Indicate that the old BTS is deprecated

!2 · created Apr 02, 2020 by Andre Maroneze
- MERGED
- Approved
- 0
updated Nov 28, 2020
CONTRIBUTING file

!1 · created Nov 27, 2019 by David Bühler
- MERGED
- 0
updated Feb 22, 2021