Branches · pub / open-source-case-studies · GitLab

Active branches

new/mbedtls

cb7e9cbc · [mbedtls] do not allow for alternate printf et al. · Sep 26, 2023

Download source code

zip tar.gz tar.bz2 tar
master default protected

d06339d2 · partially sync with frama-c master · Sep 21, 2023

Download source code

zip tar.gz tar.bz2 tar
sync-master

d6b36f86 · Synchronizes with Frama-C branch fix/nigron/kernel/CombineType. · Jul 28, 2023

!42

Download source code

zip tar.gz tar.bz2 tar

Stale branches

feature/svcomp

0605b34e · add reducercommutativity · Aug 31, 2020

!7

Download source code

zip tar.gz tar.bz2 tar
feature/new-cgc

6f9d83d2 · add WordCompletion · Sep 08, 2020

!6

Download source code

zip tar.gz tar.bz2 tar
add-zlib

aa3f9d5f · [zlib] new case study · Jul 13, 2021

!21

Download source code

zip tar.gz tar.bz2 tar
ltest-experimental

20f35c61 · PC targets (unused but who knows...) · Jan 21, 2022

!14

Download source code

zip tar.gz tar.bz2 tar
slow-remove-redundant-alarms

eeeb7c01 · WIP: test case for -remove-redundant-alarms · Mar 14, 2022

!24

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches