Skip to content

Actions: GaloisInc/crucible

Actions

crucible-wasm builds

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make obligation checking more configurable crucible-wasm builds #1283: Pull request #1216 synchronize by langston-barrett
July 1, 2024 20:21 51m 20s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 1, 2024 20:21 51m 20s
Make obligation checking more configurable crucible-wasm builds #1282: Pull request #1216 synchronize by langston-barrett
July 1, 2024 20:14 38m 51s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 1, 2024 20:14 38m 51s
Make obligation checking more configurable crucible-wasm builds #1281: Pull request #1216 synchronize by langston-barrett
June 26, 2024 21:12 46m 2s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 21:12 46m 2s
Make obligation checking more configurable crucible-wasm builds #1280: Pull request #1216 synchronize by langston-barrett
June 26, 2024 21:03 29m 4s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 21:03 29m 4s
Make obligation checking more configurable crucible-wasm builds #1279: Pull request #1216 synchronize by langston-barrett
June 26, 2024 20:04 28m 4s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 20:04 28m 4s
Make obligation checking more configurable crucible-wasm builds #1278: Pull request #1216 synchronize by langston-barrett
June 26, 2024 19:21 31m 52s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 26, 2024 19:21 31m 52s
Make obligation checking more configurable crucible-wasm builds #1277: Pull request #1216 synchronize by langston-barrett
June 25, 2024 16:09 42m 12s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 16:09 42m 12s
Make obligation checking more configurable crucible-wasm builds #1276: Pull request #1216 synchronize by langston-barrett
June 25, 2024 16:02 24m 41s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 16:02 24m 41s
Make obligation checking more configurable crucible-wasm builds #1275: Pull request #1216 synchronize by langston-barrett
June 25, 2024 15:01 40m 22s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 15:01 40m 22s
Make obligation checking more configurable crucible-wasm builds #1274: Pull request #1216 synchronize by langston-barrett
June 25, 2024 14:54 27m 48s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 25, 2024 14:54 27m 48s
Make obligation checking more configurable crucible-wasm builds #1273: Pull request #1216 opened by langston-barrett
June 20, 2024 20:47 32m 12s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
June 20, 2024 20:47 32m 12s
Merge pull request #1215 from langston-barrett/lb/prove-goals crucible-wasm builds #1272: Commit 19e9a52 pushed by langston-barrett
June 20, 2024 16:02 54m 36s master
master
June 20, 2024 16:02 54m 36s
Helpers for checking proof obligations crucible-wasm builds #1271: Pull request #1215 synchronize by langston-barrett
June 20, 2024 14:57 23m 40s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 14:57 23m 40s
Helpers for checking proof obligations crucible-wasm builds #1270: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:29 47m 17s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:29 47m 17s
Helpers for checking proof obligations crucible-wasm builds #1269: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:18 37m 14s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:18 37m 14s
Helpers for checking proof obligations crucible-wasm builds #1268: Pull request #1215 synchronize by langston-barrett
June 18, 2024 21:11 28m 7s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 21:11 28m 7s
Helpers for checking proof obligations crucible-wasm builds #1267: Pull request #1215 synchronize by langston-barrett
June 18, 2024 19:51 28m 49s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 19:51 28m 49s
Helpers for checking proof obligations crucible-wasm builds #1266: Pull request #1215 opened by langston-barrett
June 18, 2024 19:35 28m 6s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 19:35 28m 6s
Work around LLVM's reltable lookup optimization (#1214) crucible-wasm builds #1265: Commit f9760bd pushed by RyanGlScott
June 11, 2024 17:09 30m 28s master
master
June 11, 2024 17:09 30m 28s
Work around LLVM's reltable lookup optimization crucible-wasm builds #1264: Pull request #1214 opened by RyanGlScott
June 10, 2024 14:24 28m 52s T1174-undo-reltable-optimization
T1174-undo-reltable-optimization
June 10, 2024 14:24 28m 52s
Merge pull request #1213 from langston-barrett/lb/conc-sym-seq crucible-wasm builds #1263: Commit 211d744 pushed by langston-barrett
June 7, 2024 19:46 44m 16s master
master
June 7, 2024 19:46 44m 16s
Use Seq instead of lists when concretizing SymSequence crucible-wasm builds #1262: Pull request #1213 synchronize by langston-barrett
June 7, 2024 19:46 29m 50s langston-barrett:lb/conc-sym-seq
langston-barrett:lb/conc-sym-seq
June 7, 2024 19:46 29m 50s
Use Seq instead of lists when concretizing SymSequence crucible-wasm builds #1261: Pull request #1213 opened by langston-barrett
June 7, 2024 18:29 27m 18s langston-barrett:lb/conc-sym-seq
langston-barrett:lb/conc-sym-seq
June 7, 2024 18:29 27m 18s
Merge pull request #1211 from langston-barrett/lb/conc-to-sym crucible-wasm builds #1260: Commit 4189007 pushed by langston-barrett
June 7, 2024 18:11 26m 38s master
master
June 7, 2024 18:11 26m 38s
Inject concrete values back into symbolic expressions crucible-wasm builds #1259: Pull request #1211 synchronize by langston-barrett
June 7, 2024 17:27 28m 47s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 17:27 28m 47s