Skip to content

Actions: GaloisInc/crucible

Actions

crucible-wasm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crucible-wasm-build.yml
345 workflow runs
345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

llvm: Introduce predicate-building helpers ptrSameAlloc and ptrIsBv crucible-wasm builds #1312: Pull request #1237 opened by langston-barrett
August 8, 2024 19:50 31m 39s lb/llvm-ptr-ops
lb/llvm-ptr-ops
August 8, 2024 19:50 31m 39s
llvm-{syntax,cli}: Register more overrides for libc and LLVM function… crucible-wasm builds #1311: Commit 448103b pushed by langston-barrett
August 8, 2024 19:48 29m 1s master
master
August 8, 2024 19:48 29m 1s
llvm-{syntax,cli}: Register more overrides for libc and LLVM functions crucible-wasm builds #1310: Pull request #1236 opened by langston-barrett
August 8, 2024 17:03 23m 41s lb/llvm-cli-overrides
lb/llvm-cli-overrides
August 8, 2024 17:03 23m 41s
Merge pull request #1234 from GaloisInc/ghc-9.8 crucible-wasm builds #1309: Commit e861406 pushed by RyanGlScott
August 2, 2024 17:14 54m 39s master
master
August 2, 2024 17:14 54m 39s
Support building with GHC 9.8 crucible-wasm builds #1308: Pull request #1234 synchronize by RyanGlScott
August 2, 2024 16:30 26m 39s ghc-9.8
ghc-9.8
August 2, 2024 16:30 26m 39s
hlint: Add a hint, also lint crucible-llvm in CI (#1221) crucible-wasm builds #1307: Commit 00a6c8c pushed by langston-barrett
August 2, 2024 13:31 1h 8m 14s master
master
August 2, 2024 13:31 1h 8m 14s
Support building with GHC 9.8 crucible-wasm builds #1306: Pull request #1234 opened by RyanGlScott
August 2, 2024 09:26 49m 28s ghc-9.8
ghc-9.8
August 2, 2024 09:26 49m 28s
Merge pull request #1230 from GaloisInc/dholland-readme-testing crucible-wasm builds #1305: Commit d0f087f pushed by sauclovian-g
August 1, 2024 20:47 46m 6s master
master
August 1, 2024 20:47 46m 6s
Merge pull request #1191 from GaloisInc/dholland-cast crucible-wasm builds #1304: Commit 5b4d945 pushed by sauclovian-g
August 1, 2024 20:47 26m 11s master
master
August 1, 2024 20:47 26m 11s
Implement byte-to-char casts for crucible-mir. crucible-wasm builds #1303: Pull request #1191 synchronize by sauclovian-g
August 1, 2024 19:43 40m 56s dholland-cast
dholland-cast
August 1, 2024 19:43 40m 56s
Add some notes on what's needed to successfully run the crux-mir tests. crucible-wasm builds #1302: Pull request #1230 synchronize by sauclovian-g
August 1, 2024 19:40 23m 4s dholland-readme-testing
dholland-readme-testing
August 1, 2024 19:40 23m 4s
Merge pull request #1232 from GaloisInc/T1227-latest-haskell-wasm-commit crucible-wasm builds #1301: Commit af11dc2 pushed by RyanGlScott
August 1, 2024 15:27 31m 17s master
master
August 1, 2024 15:27 31m 17s
hlint: Add a hint, also lint crucible-llvm in CI crucible-wasm builds #1300: Pull request #1221 synchronize by langston-barrett
August 1, 2024 14:02 31m 15s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 14:02 31m 15s
hlint: Add a hint, also lint crucible-llvm in CI crucible-wasm builds #1299: Pull request #1221 synchronize by langston-barrett
August 1, 2024 13:40 28m 44s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 13:40 28m 44s
crucible-wasm: Build and test with the latest haskell-wasm commit crucible-wasm builds #1298: Pull request #1232 synchronize by RyanGlScott
August 1, 2024 12:44 26m 34s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:44 26m 34s
crucible-wasm: Build and test with the latest haskell-wasm commit crucible-wasm builds #1297: Pull request #1232 opened by RyanGlScott
August 1, 2024 12:21 7m 7s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:21 7m 7s
Add some notes on what's needed to successfully run the crux-mir tests. crucible-wasm builds #1296: Pull request #1230 opened by sauclovian-g
July 31, 2024 23:31 26m 30s dholland-readme-testing
dholland-readme-testing
July 31, 2024 23:31 26m 30s
Implement byte-to-char casts for crucible-mir. crucible-wasm builds #1295: Pull request #1191 synchronize by sauclovian-g
July 31, 2024 23:09 28m 34s dholland-cast
dholland-cast
July 31, 2024 23:09 28m 34s
crucible-llvm: Support atomic operations introduced in LLVM 9+ (#1226) crucible-wasm builds #1294: Commit b8ff9be pushed by RyanGlScott
July 26, 2024 15:51 26m 7s master
master
July 26, 2024 15:51 26m 7s
crucible-llvm: Support atomic operations introduced in LLVM 9+ crucible-wasm builds #1293: Pull request #1226 opened by RyanGlScott
July 25, 2024 15:34 36m 28s crucible-llvm-new-atomic-operations
crucible-llvm-new-atomic-operations
July 25, 2024 15:34 36m 28s
Merge pull request #1225 from GaloisInc/T1224-ArrayToPointer-CastKind crucible-wasm builds #1292: Commit 8cc5e17 pushed by RyanGlScott
July 18, 2024 20:31 26m 37s master
master
July 18, 2024 20:31 26m 37s
crucible-mir: Properly parse ArrayToPointer casts crucible-wasm builds #1291: Pull request #1225 synchronize by RyanGlScott
July 18, 2024 19:23 27m 4s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 19:23 27m 4s
crucible-mir: Properly parse ArrayToPointer casts crucible-wasm builds #1290: Pull request #1225 opened by RyanGlScott
July 18, 2024 18:25 36m 50s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 18:25 36m 50s
Merge pull request #1216 from langston-barrett/lb/prove-goals-faster crucible-wasm builds #1289: Commit c310fcb pushed by langston-barrett
July 16, 2024 16:04 33m 56s master
master
July 16, 2024 16:04 33m 56s
Merge pull request #1220 from GaloisInc/lb/ptr-to-int crucible-wasm builds #1288: Commit 376a1c0 pushed by langston-barrett
July 16, 2024 15:14 1h 10m 56s master
master
July 16, 2024 15:14 1h 10m 56s