Merge requests · pub / open-source-case-studies

add mbedtls as case study

!44 · created Oct 18, 2023 by Virgile Prevosto
- Merged
- 0
updated Oct 26, 2023
[stmr] add case study

!43 · created Sep 05, 2023 by Andre Maroneze
- Merged
- 0
updated Sep 06, 2023
Updates nonterm logs: the display order of some callstacks changes.

!42 · created Jul 13, 2023 by David Bühler
- Merged
- 0
updated Jul 19, 2023
synchronize with stable/cobalt

!41 · created May 23, 2023 by Andre Maroneze
- Merged
- 6
updated Jun 02, 2023
[line-following-robot] add case study

!39 · created Feb 01, 2023 by Andre Maroneze
- Merged
- 0
updated Feb 01, 2023
fix installation directory for 'make framac' target

!37 · created Jan 31, 2023 by Andre Maroneze
- Merged
- Approved
- 3
updated Feb 01, 2023
remove obsolete Makefile rules

!36 · created Nov 15, 2022 by Andre Maroneze
- Merged
- 0
updated Nov 15, 2022
Makefiles and build targets

!35 · created Oct 18, 2022 by Andre Maroneze
- Merged
- 0
updated Nov 15, 2022
Bench ast diff

!34 · created Sep 21, 2022 by Virgile Prevosto
- Merged
- 2
updated Oct 05, 2022
[x509-parser] add optional WP target

!20 · created Jun 16, 2021 by Andre Maroneze
- Merged
- 7
updated Sep 12, 2022
allow local installation with post-dune Frama-C

!32 · created Sep 06, 2022 by Andre Maroneze
- Merged
- Approved
- 17
updated Sep 09, 2022
synchronize with frama-c master

!31 · created Jul 01, 2022 by Andre Maroneze
- Merged
- 1
updated Jul 22, 2022
fix artifacts per job

!30 · created Jun 16, 2022 by Andre Maroneze
- Merged
- 0
updated Jun 17, 2022
split CI tests for better feedback and to avoid timeouts

!26 · created Apr 22, 2022 by Andre Maroneze
- Merged
- 0
updated Jun 13, 2022
add git pre-commit hook to prevent mistakes

!27 · created Apr 22, 2022 by Andre Maroneze
- Merged
- 2
updated Apr 22, 2022
Sync with frama-c master after MR !3660 and !3698

!25 · created Apr 13, 2022 by David Bühler
- Merged
- 3
updated Apr 15, 2022
add description + URL per directory; add summary table in Markdown

!23 · created Feb 10, 2022 by Andre Maroneze
- Merged
- 1
- 0
updated Feb 10, 2022
[x509-parser] add E-ACSL target; add test DER certificate

!22 · created Dec 10, 2021 by Andre Maroneze
- Merged
- Approved
- 22
updated Dec 14, 2021
Improve miniz

!18 · created Jun 04, 2021 by Andre Maroneze
- Merged
- 0
updated Jun 08, 2021
sync with frama-c master; fix papabench's math.h inclusion

!19 · created Jun 07, 2021 by Andre Maroneze
- Merged
- 0
updated Jun 07, 2021