Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

crucible-llvm: Support atomic operations introduced in LLVM 9+ lint #99: Pull request #1226 opened by RyanGlScott
July 25, 2024 15:34 1m 39s crucible-llvm-new-atomic-operations
crucible-llvm-new-atomic-operations
July 25, 2024 15:34 1m 39s
Merge pull request #1225 from GaloisInc/T1224-ArrayToPointer-CastKind lint #98: Commit 8cc5e17 pushed by RyanGlScott
July 18, 2024 20:31 1m 40s master
master
July 18, 2024 20:31 1m 40s
crucible-mir: Properly parse ArrayToPointer casts lint #97: Pull request #1225 synchronize by RyanGlScott
July 18, 2024 19:23 1m 35s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 19:23 1m 35s
crucible-mir: Properly parse ArrayToPointer casts lint #96: Pull request #1225 opened by RyanGlScott
July 18, 2024 18:25 1m 37s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 18:25 1m 37s
Merge pull request #1216 from langston-barrett/lb/prove-goals-faster lint #95: Commit c310fcb pushed by langston-barrett
July 16, 2024 16:04 1m 38s master
master
July 16, 2024 16:04 1m 38s
Merge pull request #1220 from GaloisInc/lb/ptr-to-int lint #94: Commit 376a1c0 pushed by langston-barrett
July 16, 2024 15:14 1m 36s master
master
July 16, 2024 15:14 1m 36s
crucible-llvm: Improve error messages in a few pointer-to-bitvector casts lint #93: Pull request #1220 synchronize by langston-barrett
July 12, 2024 20:02 1m 39s lb/ptr-to-int
lb/ptr-to-int
July 12, 2024 20:02 1m 39s
hlint: Add a hint, also lint crucible-llvm in CI lint #92: Pull request #1221 opened by langston-barrett
July 12, 2024 20:00 2m 15s lb/hlint-add-hint
lb/hlint-add-hint
July 12, 2024 20:00 2m 15s
crucible-llvm: Improve error messages in a few pointer-to-bitvector casts lint #91: Pull request #1220 opened by langston-barrett
July 12, 2024 19:42 1m 34s lb/ptr-to-int
lb/ptr-to-int
July 12, 2024 19:42 1m 34s
Make obligation checking more configurable lint #90: Pull request #1216 synchronize by langston-barrett
July 2, 2024 14:34 1m 41s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 2, 2024 14:34 1m 41s
Make obligation checking more configurable lint #89: Pull request #1216 synchronize by langston-barrett
July 1, 2024 20:21 1m 45s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 1, 2024 20:21 1m 45s
Make obligation checking more configurable lint #88: Pull request #1216 synchronize by langston-barrett
July 1, 2024 20:14 1m 48s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 1, 2024 20:14 1m 48s
Make obligation checking more configurable lint #87: Pull request #1216 synchronize by langston-barrett
June 26, 2024 21:12 1m 37s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 21:12 1m 37s
Make obligation checking more configurable lint #86: Pull request #1216 synchronize by langston-barrett
June 26, 2024 21:03 1m 35s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 21:03 1m 35s
Make obligation checking more configurable lint #85: Pull request #1216 synchronize by langston-barrett
June 26, 2024 20:04 1m 36s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 20:04 1m 36s
Make obligation checking more configurable lint #84: Pull request #1216 synchronize by langston-barrett
June 26, 2024 19:21 1m 33s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 19:21 1m 33s
Make obligation checking more configurable lint #83: Pull request #1216 synchronize by langston-barrett
June 25, 2024 16:09 1m 35s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 16:09 1m 35s
Make obligation checking more configurable lint #82: Pull request #1216 synchronize by langston-barrett
June 25, 2024 16:02 1m 39s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 16:02 1m 39s
Make obligation checking more configurable lint #81: Pull request #1216 synchronize by langston-barrett
June 25, 2024 15:01 1m 43s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 15:01 1m 43s
Make obligation checking more configurable lint #80: Pull request #1216 synchronize by langston-barrett
June 25, 2024 14:54 1m 40s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 14:54 1m 40s
Make obligation checking more configurable lint #79: Pull request #1216 opened by langston-barrett
June 20, 2024 20:47 1m 33s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 20, 2024 20:47 1m 33s
Merge pull request #1215 from langston-barrett/lb/prove-goals lint #78: Commit 19e9a52 pushed by langston-barrett
June 20, 2024 16:02 1m 49s master
master
June 20, 2024 16:02 1m 49s
Helpers for checking proof obligations lint #77: Pull request #1215 synchronize by langston-barrett
June 20, 2024 14:57 1m 35s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 14:57 1m 35s
Helpers for checking proof obligations lint #76: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:29 1m 33s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:29 1m 33s
Helpers for checking proof obligations lint #75: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:18 1m 48s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:18 1m 48s