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

[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
- 17
- Approved
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
updated Jun 17, 2022
split CI tests for better feedback and to avoid timeouts

!26 · created Apr 22, 2022 by Andre Maroneze
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
updated Feb 10, 2022
[x509-parser] add E-ACSL target; add test DER certificate

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

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

!19 · created Jun 07, 2021 by Andre Maroneze
updated Jun 07, 2021
[miniz] add more examples as use cases

!17 · created May 18, 2021 by Andre Maroneze
updated May 19, 2021
[c-testsuite] add new case study

!13 · created Feb 22, 2021 by Andre Maroneze
- Merged
- 1
updated May 18, 2021
[tsvc] new case study

!15 · created Apr 07, 2021 by Andre Maroneze
updated Apr 27, 2021
Major update to README.md

!16 · created Apr 27, 2021 by Julien Signoles
- Merged
- 2
updated Apr 27, 2021
add some IOCCC winners

!9 · created Jan 06, 2021 by Andre Maroneze
updated Feb 15, 2021
[kgflags] add new case study

!11 · created Feb 02, 2021 by Andre Maroneze
updated Feb 03, 2021
[genann] add new case study

!12 · created Feb 02, 2021 by Andre Maroneze
updated Feb 03, 2021
Add libyaml

!10 · created Jan 28, 2021 by Andre Maroneze
updated Jan 29, 2021
Add Docker-based CI integration

!4 · created Jul 20, 2020 by Andre Maroneze
updated Oct 30, 2020