Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
pub
open-source-case-studies
Repository
Branches
Overview
Active
Stale
All
feature/STR2RTS
1ed8ba22
·
Fix GNUMakefile STR2RTS
·
Dec 06, 2023
!45
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
hiredis
_2048
khash
genann
basic-cwe-examples
line-following-robot
kgflags
papabench
icpc
mini-gmp
jsmn
solitaire
qlz
libyaml
stmr
microstrain
tweetnacl-usable
gzip124
itc-benchmarks
kilo
semver
tsvc
x509-parser
ioccc
libmodbus
safestringlib
cerberus
libspng
miniz
polarssl
c-testsuite
debie1
chrony
bench-moerman2018
verisec
monocypher
master
default
protected
316d2beb
·
Merge branch 'new/mbedtls' into 'master'
·
Oct 26, 2023
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
analysis/octagon
a4f89c38
·
Updates for octagons inferred on singletons.
·
Apr 25, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
make-framac-local
32a9d541
·
change 'make framac' target to install globally
·
Mar 27, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-bench-scripts
57e71842
·
add scripts for benchmark logging
·
Feb 01, 2023
!38
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-nginx
855809e0
·
WIP: add nginx (currently, parsing only)
·
May 10, 2022
!28
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ltest-experimental
20f35c61
·
PC targets (unused but who knows...)
·
Jan 21, 2022
!14
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-zlib
aa3f9d5f
·
[zlib] new case study
·
Jul 13, 2021
!21
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/new-cgc
6f9d83d2
·
add WordCompletion
·
Sep 08, 2020
!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
feature/svcomp
0605b34e
·
add reducercommutativity
·
Aug 31, 2020
!7
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar