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

Draft: Add OSCS targets for sort.c in coreutils

!60 · created Oct 01, 2024 by Basile Desloges
updated Oct 01, 2024
Fix path for .eva targets

!58 · created Sep 18, 2024 by Dorian Lesbre
- 8
updated Sep 25, 2024
New/cb multios

!56 · created May 24, 2024 by Remi Lazarini
- 11
updated Jun 17, 2024
Feature/str2 rts

!45 · created Dec 06, 2023 by Andre Maroneze
updated Dec 08, 2023
Add bench scripts

!38 · created Feb 01, 2023 by Andre Maroneze
updated Feb 01, 2023
Draft: (WIP) tinyDTLS verification 5 of 7 checklist items completed

!29 · created Jun 14, 2022 by contra-bit
- 20
updated Jun 27, 2022
WIP: add nginx (currently, parsing only)

!28 · created May 10, 2022 by Andre Maroneze
- 1
updated Sep 05, 2023
WIP: test case for -remove-redundant-alarms

!24 · created Mar 14, 2022 by Andre Maroneze
- 1
updated Mar 14, 2022
[zlib] new case study

!21 · created Jul 13, 2021 by Andre Maroneze
- 3
updated Sep 06, 2023
WIP: test support for lannotate

!14 · created Feb 25, 2021 by Andre Maroneze
updated Jan 21, 2022
[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