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
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
linter-package
9352a330
·
Add missing copyright headers.
·
Feb 23, 2022
!39
location-invariants
5d407588
·
Introduce entry type 'location_invariant' for YAML-based witnesses.
·
May 18, 2022
!59
github/fork/goblint/location_invariant
c06aa07f
·
Clarify loop_invariant and location_invariant difference
·
Sep 02, 2022
github/fork/goblint/flow_insensitive_invariant
c7d696a2
·
Add flow_insensitive_invariant YAML entry type
·
Sep 02, 2022
!63
expected-verdict
699956ca
·
Incorporate naming request by Dirk
·
Nov 04, 2022
!66
linter-extension
e16b1fdd
·
Merge branch 'clinter' into 'main'
·
Nov 04, 2022
revert-0ca5dbfc
2e1567a9
·
Revert "Merge branch 'ci' into 'main'"
·
Jul 20, 2023
github/fork/sim642/yaml-schema
b9571adb
·
Add missing reuse headers
·
Sep 08, 2023
!61
create-html-doc-of-witness-schemas
cae311a4
·
Add CI job that generates HTML description of witness schemas
·
Nov 07, 2023
add-description-of-violation-witness-schema
a763441e
·
Make pages pipeline run in branch to see result for MR
·
Nov 21, 2023