Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
master
default
protected
e9800cb2
·
Ensure unwinding adds assertions when so configured (#86)
·
Dec 08, 2021
reorder
688d5d5e
·
Restore loop unwinding to cbmc invocation.
·
Nov 30, 2021
kk-decl-check
09d04971
·
Add Litani job to check for function declarations
·
Sep 09, 2021
restrict-function-pointer
67491e05
·
Added a precision on using mangled names for file-local symbols in the comment.
·
Aug 17, 2021
kk-cbmc-timeout
96d25e21
·
Add timeout for CBMC jobs
·
Feb 18, 2021
tutorial
8f1a8a09
·
Initial draft of training material
·
Aug 03, 2020
docker
bd6f9097
·
Add docker container for CentOS7
·
Jul 24, 2020
fix-apache-license
95c246d5
·
Replace double lines in prepare.py
·
Jul 21, 2020
fix-proof-readme-punctuation
f05d284f
·
Fix punctuation in proof README.md
·
Jul 15, 2020