Skip to content

Actions: GaloisInc/crucible

Actions

crucible-go builds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crucible-go-build.yml
343 workflow runs
343 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 crucible-go builds #783: Pull request #1238 opened by langston-barrett
August 9, 2024 15:41 17m 1s lb/fix-symbolic-reads
lb/fix-symbolic-reads
August 9, 2024 15:41 17m 1s
llvm: Introduce predicate-building helpers ptrSameAlloc and `ptrIsB… crucible-go builds #782: Commit 7b46774 pushed by langston-barrett
August 8, 2024 21:06 25m 48s master
master
August 8, 2024 21:06 25m 48s
llvm: Introduce predicate-building helpers ptrSameAlloc and ptrIsBv crucible-go builds #781: Pull request #1237 opened by langston-barrett
August 8, 2024 19:50 28m 54s lb/llvm-ptr-ops
lb/llvm-ptr-ops
August 8, 2024 19:50 28m 54s
llvm-{syntax,cli}: Register more overrides for libc and LLVM function… crucible-go builds #780: Commit 448103b pushed by langston-barrett
August 8, 2024 19:48 19m 29s master
master
August 8, 2024 19:48 19m 29s
llvm-{syntax,cli}: Register more overrides for libc and LLVM functions crucible-go builds #779: Pull request #1236 opened by langston-barrett
August 8, 2024 17:03 18m 30s lb/llvm-cli-overrides
lb/llvm-cli-overrides
August 8, 2024 17:03 18m 30s
Merge pull request #1234 from GaloisInc/ghc-9.8 crucible-go builds #778: Commit e861406 pushed by RyanGlScott
August 2, 2024 17:14 47m 3s master
master
August 2, 2024 17:14 47m 3s
Support building with GHC 9.8 crucible-go builds #777: Pull request #1234 synchronize by RyanGlScott
August 2, 2024 16:30 21m 20s ghc-9.8
ghc-9.8
August 2, 2024 16:30 21m 20s
hlint: Add a hint, also lint crucible-llvm in CI (#1221) crucible-go builds #776: Commit 00a6c8c pushed by langston-barrett
August 2, 2024 13:31 49m 34s master
master
August 2, 2024 13:31 49m 34s
Support building with GHC 9.8 crucible-go builds #775: Pull request #1234 opened by RyanGlScott
August 2, 2024 09:26 41m 10s ghc-9.8
ghc-9.8
August 2, 2024 09:26 41m 10s
Merge pull request #1230 from GaloisInc/dholland-readme-testing crucible-go builds #774: Commit d0f087f pushed by sauclovian-g
August 1, 2024 20:47 34m 31s master
master
August 1, 2024 20:47 34m 31s
Merge pull request #1191 from GaloisInc/dholland-cast crucible-go builds #773: Commit 5b4d945 pushed by sauclovian-g
August 1, 2024 20:47 16m 30s master
master
August 1, 2024 20:47 16m 30s
Implement byte-to-char casts for crucible-mir. crucible-go builds #772: Pull request #1191 synchronize by sauclovian-g
August 1, 2024 19:43 36m 38s dholland-cast
dholland-cast
August 1, 2024 19:43 36m 38s
Add some notes on what's needed to successfully run the crux-mir tests. crucible-go builds #771: Pull request #1230 synchronize by sauclovian-g
August 1, 2024 19:40 17m 24s dholland-readme-testing
dholland-readme-testing
August 1, 2024 19:40 17m 24s
Merge pull request #1232 from GaloisInc/T1227-latest-haskell-wasm-commit crucible-go builds #770: Commit af11dc2 pushed by RyanGlScott
August 1, 2024 15:27 21m 49s master
master
August 1, 2024 15:27 21m 49s
hlint: Add a hint, also lint crucible-llvm in CI crucible-go builds #769: Pull request #1221 synchronize by langston-barrett
August 1, 2024 14:02 20m 18s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 14:02 20m 18s
hlint: Add a hint, also lint crucible-llvm in CI crucible-go builds #768: Pull request #1221 synchronize by langston-barrett
August 1, 2024 13:40 22m 24s lb/hlint-add-hint
lb/hlint-add-hint
August 1, 2024 13:40 22m 24s
crucible-wasm: Build and test with the latest haskell-wasm commit crucible-go builds #767: Pull request #1232 synchronize by RyanGlScott
August 1, 2024 12:44 20m 46s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:44 20m 46s
crucible-wasm: Build and test with the latest haskell-wasm commit crucible-go builds #766: Pull request #1232 opened by RyanGlScott
August 1, 2024 12:21 11m 9s T1227-latest-haskell-wasm-commit
T1227-latest-haskell-wasm-commit
August 1, 2024 12:21 11m 9s
Add some notes on what's needed to successfully run the crux-mir tests. crucible-go builds #765: Pull request #1230 opened by sauclovian-g
July 31, 2024 23:31 19m 17s dholland-readme-testing
dholland-readme-testing
July 31, 2024 23:31 19m 17s
Implement byte-to-char casts for crucible-mir. crucible-go builds #764: Pull request #1191 synchronize by sauclovian-g
July 31, 2024 23:09 20m 40s dholland-cast
dholland-cast
July 31, 2024 23:09 20m 40s
crucible-llvm: Support atomic operations introduced in LLVM 9+ (#1226) crucible-go builds #763: Commit b8ff9be pushed by RyanGlScott
July 26, 2024 15:51 18m 53s master
master
July 26, 2024 15:51 18m 53s
crucible-llvm: Support atomic operations introduced in LLVM 9+ crucible-go builds #762: Pull request #1226 opened by RyanGlScott
July 25, 2024 15:34 23m 40s crucible-llvm-new-atomic-operations
crucible-llvm-new-atomic-operations
July 25, 2024 15:34 23m 40s
Merge pull request #1225 from GaloisInc/T1224-ArrayToPointer-CastKind crucible-go builds #761: Commit 8cc5e17 pushed by RyanGlScott
July 18, 2024 20:31 25m 31s master
master
July 18, 2024 20:31 25m 31s
crucible-mir: Properly parse ArrayToPointer casts crucible-go builds #760: Pull request #1225 synchronize by RyanGlScott
July 18, 2024 19:23 21m 12s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 19:23 21m 12s
crucible-mir: Properly parse ArrayToPointer casts crucible-go builds #759: Pull request #1225 opened by RyanGlScott
July 18, 2024 18:25 21m 42s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 18:25 21m 42s