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

Snippets Groups Projects

sync-master

26c3b01b · synchronize with frama-c master · 1 week 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
bdesloges/coreutils

4daaab38 · [frama-c] Update Frama-C repository to latest libc · 6 months ago

15

5
!60
zip
tar.gz
tar.bz2
tar
Compare
feature/aperrin/ctfs

efe00816 · [CTFs] adding ctf challenges · 8 months ago

18

1
zip
tar.gz
tar.bz2
tar
Compare
new/cb-multios

2491b8ea · [cgc] frama-c updated · 10 months ago

25

94
!56
zip
tar.gz
tar.bz2
tar
Compare
test-gnugo

20e17ac8 · test · 1 year ago

53

5
zip
tar.gz
tar.bz2
tar
Compare
feature/STR2RTS

fba278bb · add frama-c oracles · 1 year ago

58

4
!45
zip
tar.gz
tar.bz2
tar
Compare
analysis/octagon

a4f89c38 · Updates for octagons inferred on singletons. · 1 year ago

87

3
zip
tar.gz
tar.bz2
tar
Compare
make-framac-local

32a9d541 · change 'make framac' target to install globally · 2 years ago

88

1
!40
zip
tar.gz
tar.bz2
tar
Compare
add-bench-scripts

57e71842 · add scripts for benchmark logging · 2 years ago

91

1
!38
zip
tar.gz
tar.bz2
tar
Compare
add-nginx

855809e0 · WIP: add nginx (currently, parsing only) · 2 years ago

136

1
!28
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
ltest-experimental

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

176

16
!14
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
feature/new-cgc

6f9d83d2 · add WordCompletion · 4 years ago

232

22
!6
zip
tar.gz
tar.bz2
tar
Compare
feature/svcomp

0605b34e · add reducercommutativity · 4 years ago

229

5
!7
zip
tar.gz
tar.bz2
tar
Compare