Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
2,943 workflow run results
2,943 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add regression test indentation #11061: Commit 1d0e9ad pushed by michael-schwarz
August 6, 2024 14:21 2s lmust-cluster
lmust-cluster
August 6, 2024 14:21 2s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11060: Pull request #1485 synchronize by reb-ddm
August 6, 2024 08:00 1m 37s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
August 6, 2024 08:00 1m 37s
Optimize none base privatization, add eager Vojdani privatization indentation #11059: Pull request #1552 synchronize by sim642
August 5, 2024 11:43 1m 37s traces-vojdani
traces-vojdani
August 5, 2024 11:43 1m 37s
Fix none base privatization unsoundness in 02-base/51-spawn-special indentation #11058: Commit 0c29208 pushed by sim642
August 5, 2024 11:43 1m 37s traces-vojdani
traces-vojdani
August 5, 2024 11:43 1m 37s
Unvendor ppx_blob indentation #11057: Pull request #1554 opened by sim642
August 5, 2024 08:17 2s ppx_blob-unvendor
ppx_blob-unvendor
August 5, 2024 08:17 2s
Unvendor ppx_blob indentation #11056: Commit 64d392d pushed by sim642
August 5, 2024 08:13 3s ppx_blob-unvendor
ppx_blob-unvendor
August 5, 2024 08:13 3s
Typo indentation #11055: Commit 3ad6b39 pushed by michael-schwarz
August 4, 2024 12:23 1m 32s master
master
August 4, 2024 12:23 1m 32s
Add test for #1511 indentation #11054: Commit 88c88b6 pushed by michael-schwarz
August 4, 2024 12:21 3m 27s michael-schwarz-dissertation
michael-schwarz-dissertation
August 4, 2024 12:21 3m 27s
Relation: Call enter_mulithreaded also for unknown threads indentation #11053: Commit e493bca pushed by michael-schwarz
August 4, 2024 12:10 3m 26s michael-schwarz-dissertation
michael-schwarz-dissertation
August 4, 2024 12:10 3m 26s
Typo indentation #11052: Commit d9eea8a pushed by michael-schwarz
August 4, 2024 12:03 6m 7s michael-schwarz-dissertation
michael-schwarz-dissertation
August 4, 2024 12:03 6m 7s
Optimize none base privatization, add eager Vojdani privatization indentation #11051: Pull request #1552 opened by sim642
August 2, 2024 13:27 3s traces-vojdani
traces-vojdani
August 2, 2024 13:27 3s
Add none privatization without sync and local state indentation #11050: Commit 7d6b894 pushed by sim642
August 2, 2024 13:01 3s traces-vojdani
traces-vojdani
August 2, 2024 13:01 3s
Partially revert "Replace goblint-cil pin with published 2.0.4, remov… indentation #11049: Commit d46438a pushed by sim642
August 2, 2024 11:59 1m 49s master
master
August 2, 2024 11:59 1m 49s
Merge branch 'v2.4.x' indentation #11048: Commit b129fab pushed by sim642
August 2, 2024 11:43 3s v2.4.0
v2.4.0
August 2, 2024 11:43 3s
Merge branch 'v2.4.x' indentation #11047: Commit b129fab pushed by sim642
August 2, 2024 09:29 1m 36s master
master
August 2, 2024 09:29 1m 36s
Add M1 OSX to unlocked CI indentation #11046: Commit 0ad776f pushed by sim642
August 2, 2024 07:28 1m 38s v2.4.x
v2.4.x
August 2, 2024 07:28 1m 38s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11045: Pull request #1485 synchronize by reb-ddm
July 31, 2024 11:24 1m 45s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 11:24 1m 45s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11044: Pull request #1485 synchronize by reb-ddm
July 31, 2024 11:04 1m 37s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 11:04 1m 37s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis indentation #11043: Pull request #1485 synchronize by reb-ddm
July 31, 2024 10:46 1m 33s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
July 31, 2024 10:46 1m 33s
Make unavailable on BSD indentation #11042: Commit 10a63d0 pushed by sim642
July 31, 2024 09:41 1m 31s v2.4.x
v2.4.x
July 31, 2024 09:41 1m 31s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11041: Pull request #1394 synchronize by sim642
July 31, 2024 08:55 1m 38s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:55 1m 38s
Update TODO comment about base earlyglobs flow-insensitive invariants indentation #11040: Commit 6e79314 pushed by sim642
July 31, 2024 08:55 1m 38s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:55 1m 38s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11039: Pull request #1394 synchronize by sim642
July 31, 2024 08:27 1m 57s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:27 1m 57s
Remove pthreadMutexType from ghost witness tests indentation #11038: Commit c18061e pushed by sim642
July 31, 2024 08:27 2m 2s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:27 2m 2s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11036: Pull request #1394 synchronize by sim642
July 31, 2024 08:16 1m 38s yaml-witness-ghost
yaml-witness-ghost
July 31, 2024 08:16 1m 38s