Skip to content

Actions: GaloisInc/crucible

Actions

crucible-jvm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crucible-jvm-build.yml
360 workflow runs
360 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

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