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

synchronize with stable/cobalt

!41 · created May 23, 2023 by Andre Maroneze
- Merged
- 6
updated Jun 02, 2023
change 'make framac' target to install globally

!40 · created Mar 27, 2023 by Andre Maroneze
- Closed
updated Mar 28, 2023
[line-following-robot] add case study

!39 · created Feb 01, 2023 by Andre Maroneze
updated Feb 01, 2023
Add bench scripts

!38 · created Feb 01, 2023 by Andre Maroneze
updated Feb 01, 2023
fix installation directory for 'make framac' target

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

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

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

!34 · created Sep 21, 2022 by Virgile Prevosto
- Merged
- 2
updated Oct 05, 2022
update Makefiles following new installation directories

!33 · created Sep 21, 2022 by Andre Maroneze
- Closed
updated Jan 06, 2023
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
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
add git pre-commit hook to prevent mistakes

!27 · created Apr 22, 2022 by Andre Maroneze
- Merged
- 2
updated Apr 22, 2022
split CI tests for better feedback and to avoid timeouts

!26 · created Apr 22, 2022 by Andre Maroneze
updated Jun 13, 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
WIP: test case for -remove-redundant-alarms

!24 · created Mar 14, 2022 by Andre Maroneze
- 1
updated Mar 14, 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