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

Snippets Groups Projects

Active branches

sync-master

26c3b01b · synchronize with frama-c master · 6 days ago

0

1
!67
zip
tar.gz
tar.bz2
tar
Compare
master default protected

bf5deb7b · Merge branch 'sync-fc-master-2025-03-07' into 'master' · 1 month ago
zip
tar.gz
tar.bz2
tar

Stale branches

feature/svcomp

0605b34e · add reducercommutativity · 4 years ago

229

5
!7
zip
tar.gz
tar.bz2
tar
Compare
feature/new-cgc

6f9d83d2 · add WordCompletion · 4 years ago

232

22
!6
zip
tar.gz
tar.bz2
tar
Compare
add-zlib

aa3f9d5f · [zlib] new case study · 3 years ago

167

1
!21
zip
tar.gz
tar.bz2
tar
Compare
ltest-experimental

20f35c61 · PC targets (unused but who knows...) · 3 years ago

176

16
!14
zip
tar.gz
tar.bz2
tar
Compare
slow-remove-redundant-alarms

eeeb7c01 · WIP: test case for -remove-redundant-alarms · 3 years ago

148

1
!24
zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches