Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
Active branches
2.1-termination-violation-dev
e32f4277
·
Address flake8 concerns
·
Jun 26, 2024
2.1-weak-memory-dev
29c54767
·
Remove moved schemas
·
Jun 25, 2024
2.1-function-contracts-dev
cd75d0c5
·
requires and ensures are optional with a default value of "1"
·
Jun 07, 2024
2.1-assumptions-dev
6e2b5789
·
Add an example witness with some assumptions
·
May 25, 2024
documentation-supported-properties
f2010913
·
Add a README with information regarding what properties are fully supported
·
May 25, 2024
Stale branches
github/fork/tautschnig/threadid-spec
26dfb189
·
Specification fix: ensure that the initial thread can be referenced
·
Dec 01, 2020
!30
fix_non_unique_threadid
bfbe8379
·
add tracking of existing threadIds and threadCreations.
·
Dec 08, 2020
!34
issue-4
42d72c57
·
Simplify validation instructions for CPAchecker
·
Oct 13, 2021
!50
threading-support
617c40be
·
Remove unnecessary variable.
·
Nov 03, 2021
!51
15-validation-script
67065aac
·
Point to witness validation script in CPAchecker
·
Jan 27, 2022
!58