Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
master
default
protected
658dae4c
·
Merge branch 'new/powerwindow' into 'master'
·
Aug 19, 2024
feature/aperrin/ctfs
efe00816
·
[CTFs] adding ctf challenges
·
Aug 09, 2024
new/cb-multios
2491b8ea
·
[cgc] frama-c updated
·
Jun 17, 2024
!56
sync-frama-c-master
6d95c492
·
synchronize with frama-c master
·
Apr 05, 2024
!53
test-gnugo
20e17ac8
·
test
·
Mar 14, 2024
feature/STR2RTS
fba278bb
·
add frama-c oracles
·
Dec 08, 2023
!45
analysis/octagon
a4f89c38
·
Updates for octagons inferred on singletons.
·
Apr 25, 2023
make-framac-local
32a9d541
·
change 'make framac' target to install globally
·
Mar 27, 2023
add-bench-scripts
57e71842
·
add scripts for benchmark logging
·
Feb 01, 2023
!38
add-nginx
855809e0
·
WIP: add nginx (currently, parsing only)
·
May 10, 2022
!28
slow-remove-redundant-alarms
eeeb7c01
·
WIP: test case for -remove-redundant-alarms
·
Mar 14, 2022
!24
ltest-experimental
20f35c61
·
PC targets (unused but who knows...)
·
Jan 21, 2022
!14
add-zlib
aa3f9d5f
·
[zlib] new case study
·
Jul 13, 2021
!21
feature/new-cgc
6f9d83d2
·
add WordCompletion
·
Sep 08, 2020
!6
feature/svcomp
0605b34e
·
add reducercommutativity
·
Aug 31, 2020
!7