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

[zlib] new case study

!21 · created Jul 13, 2021 by Andre Maroneze
- 3
updated Sep 06, 2023
[x509-parser] add optional WP target

!20 · created Jun 16, 2021 by Andre Maroneze
- Merged
- 7
updated Sep 12, 2022
sync with frama-c master; fix papabench's math.h inclusion

!19 · created Jun 07, 2021 by Andre Maroneze
updated Jun 07, 2021
Improve miniz

!18 · created Jun 04, 2021 by Andre Maroneze
updated Jun 08, 2021
[miniz] add more examples as use cases

!17 · created May 18, 2021 by Andre Maroneze
updated May 19, 2021
Major update to README.md

!16 · created Apr 27, 2021 by Julien Signoles
- Merged
- 2
updated Apr 27, 2021
[tsvc] new case study

!15 · created Apr 07, 2021 by Andre Maroneze
updated Apr 27, 2021
WIP: test support for lannotate

!14 · created Feb 25, 2021 by Andre Maroneze
updated Jan 21, 2022
[c-testsuite] add new case study

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

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

!11 · 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 some IOCCC winners

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

!8 · created Oct 02, 2020 by Andre Maroneze
- Merged
updated Oct 02, 2020
[svcomp] add array-industry-pattern

!7 · created Aug 20, 2020 by Dario Pinto
- 7
updated Mar 15, 2021
Feature/new cgc

!6 · created Aug 03, 2020 by Dario Pinto
- 3
updated Sep 08, 2020
Infer/bench moerman

!5 · created Jul 28, 2020 by Dario Pinto
- Merged
- 2
updated Aug 04, 2020
Add Docker-based CI integration

!4 · created Jul 20, 2020 by Andre Maroneze
updated Oct 30, 2020
[add] moerman2018 benchmark suite

!3 · created Jul 17, 2020 by Dario Pinto
- Closed
- 3
updated Aug 04, 2020
use new Makefile structure

!2 · created Jul 03, 2020 by Andre Maroneze
updated Aug 03, 2020