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
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
main
default
protected
3c2343c6
·
Remove file_hash key from examples since it is incorrect with respect to the format
·
May 09, 2024
add-description-of-violation-witness-schema
a763441e
·
Make pages pipeline run in branch to see result for MR
·
Nov 21, 2023
create-html-doc-of-witness-schemas
cae311a4
·
Add CI job that generates HTML description of witness schemas
·
Nov 07, 2023
github/fork/sim642/yaml-schema
b9571adb
·
Add missing reuse headers
·
Sep 08, 2023
!61
revert-0ca5dbfc
2e1567a9
·
Revert "Merge branch 'ci' into 'main'"
·
Jul 20, 2023
linter-extension
e16b1fdd
·
Merge branch 'clinter' into 'main'
·
Nov 04, 2022
expected-verdict
699956ca
·
Incorporate naming request by Dirk
·
Nov 04, 2022
!66
github/fork/goblint/flow_insensitive_invariant
c7d696a2
·
Add flow_insensitive_invariant YAML entry type
·
Sep 02, 2022
!63
github/fork/goblint/location_invariant
c06aa07f
·
Clarify loop_invariant and location_invariant difference
·
Sep 02, 2022
location-invariants
5d407588
·
Introduce entry type 'location_invariant' for YAML-based witnesses.
·
May 18, 2022
!59
linter-package
9352a330
·
Add missing copyright headers.
·
Feb 23, 2022
!39
15-validation-script
67065aac
·
Point to witness validation script in CPAchecker
·
Jan 27, 2022
!58
threading-support
617c40be
·
Remove unnecessary variable.
·
Nov 03, 2021
!51
issue-4
42d72c57
·
Simplify validation instructions for CPAchecker
·
Oct 13, 2021
!50
fix_non_unique_threadid
bfbe8379
·
add tracking of existing threadIds and threadCreations.
·
Dec 08, 2020
!34
Prev
1
2
Next