Skip to content

Actions: GaloisInc/crucible

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

llvm: Fix validity predicate for memory reads with symbolic block numbers lint #120: Pull request #1238 opened by langston-barrett
August 9, 2024 15:41 2m 8s lb/fix-symbolic-reads
lb/fix-symbolic-reads
August 9, 2024 15:41 2m 8s
llvm: Introduce predicate-building helpers ptrSameAlloc and `ptrIsB… lint #119: Commit 7b46774 pushed by langston-barrett
August 8, 2024 21:06 2m 13s master
master
August 8, 2024 21:06 2m 13s
llvm: Introduce predicate-building helpers ptrSameAlloc and ptrIsBv lint #118: Pull request #1237 opened by langston-barrett
August 8, 2024 19:50 2m 20s lb/llvm-ptr-ops
lb/llvm-ptr-ops
August 8, 2024 19:50 2m 20s
llvm-{syntax,cli}: Register more overrides for libc and LLVM function… lint #117: Commit 448103b pushed by langston-barrett
August 8, 2024 19:48 2m 7s master
master
August 8, 2024 19:48 2m 7s
llvm-{syntax,cli}: Register more overrides for libc and LLVM functions lint #116: Pull request #1236 opened by langston-barrett
August 8, 2024 17:03 2m 5s lb/llvm-cli-overrides
lb/llvm-cli-overrides
August 8, 2024 17:03 2m 5s
Merge pull request #1234 from GaloisInc/ghc-9.8 lint #115: Commit e861406 pushed by RyanGlScott
August 2, 2024 17:14 2m 21s master
master
August 2, 2024 17:14 2m 21s
Support building with GHC 9.8 lint #114: Pull request #1234 synchronize by RyanGlScott
August 2, 2024 16:30 2m 8s ghc-9.8
ghc-9.8
August 2, 2024 16:30 2m 8s
hlint: Add a hint, also lint crucible-llvm in CI (#1221) lint #113: Commit 00a6c8c pushed by langston-barrett
August 2, 2024 13:31 2m 10s master
master
August 2, 2024 13:31 2m 10s
Support building with GHC 9.8 lint #112: Pull request #1234 opened by RyanGlScott
August 2, 2024 09:26 1m 39s ghc-9.8
ghc-9.8
August 2, 2024 09:26 1m 39s
Merge pull request #1230 from GaloisInc/dholland-readme-testing lint #111: Commit d0f087f pushed by sauclovian-g
August 1, 2024 20:47 1m 39s master
master
August 1, 2024 20:47 1m 39s
Merge pull request #1191 from GaloisInc/dholland-cast lint #110: Commit 5b4d945 pushed by sauclovian-g
August 1, 2024 20:47 1m 42s master
master
August 1, 2024 20:47 1m 42s
Implement byte-to-char casts for crucible-mir. lint #109: Pull request #1191 synchronize by sauclovian-g
August 1, 2024 19:43 1m 31s dholland-cast
dholland-cast
August 1, 2024 19:43 1m 31s
Add some notes on what's needed to successfully run the crux-mir tests. lint #108: Pull request #1230 synchronize by sauclovian-g
August 1, 2024 19:40 1m 45s dholland-readme-testing
dholland-readme-testing
August 1, 2024 19:40 1m 45s
Merge pull request #1232 from GaloisInc/T1227-latest-haskell-wasm-commit lint #107: Commit af11dc2 pushed by RyanGlScott
August 1, 2024 15:27 1m 37s master
master
August 1, 2024 15:27 1m 37s
hlint: Add a hint, also lint crucible-llvm in CI lint #106: Pull request #1221 synchronize by langston-barrett
August 1, 2024 14:02 2m 7s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 14:02 2m 7s
hlint: Add a hint, also lint crucible-llvm in CI lint #105: Pull request #1221 synchronize by langston-barrett
August 1, 2024 13:40 2m 7s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 13:40 2m 7s
crucible-wasm: Build and test with the latest haskell-wasm commit lint #104: Pull request #1232 synchronize by RyanGlScott
August 1, 2024 12:44 1m 35s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:44 1m 35s
crucible-wasm: Build and test with the latest haskell-wasm commit lint #103: Pull request #1232 opened by RyanGlScott
August 1, 2024 12:21 1m 53s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:21 1m 53s
Add some notes on what's needed to successfully run the crux-mir tests. lint #102: Pull request #1230 opened by sauclovian-g
July 31, 2024 23:31 1m 38s dholland-readme-testing
dholland-readme-testing
July 31, 2024 23:31 1m 38s
Implement byte-to-char casts for crucible-mir. lint #101: Pull request #1191 synchronize by sauclovian-g
July 31, 2024 23:09 1m 33s dholland-cast
dholland-cast
July 31, 2024 23:09 1m 33s
crucible-llvm: Support atomic operations introduced in LLVM 9+ (#1226) lint #100: Commit b8ff9be pushed by RyanGlScott
July 26, 2024 15:51 1m 36s master
master
July 26, 2024 15:51 1m 36s
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