Skip to content

Actions: GaloisInc/crucible

Actions

crux-mir

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crux-mir-build.yml
771 workflow runs
771 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
crucible-mir: Properly parse ArrayToPointer casts crux-mir #2111: Pull request #1225 opened by RyanGlScott
July 18, 2024 18:25 38m 33s T1224-ArrayToPointer-CastKind
T1224-ArrayToPointer-CastKind
July 18, 2024 18:25 38m 33s
crux-mir crux-mir #2110: Scheduled
July 18, 2024 10:01 35m 36s master
master
July 18, 2024 10:01 35m 36s
crux-mir crux-mir #2109: Scheduled
July 17, 2024 10:01 40m 25s master
master
July 17, 2024 10:01 40m 25s
Merge pull request #1216 from langston-barrett/lb/prove-goals-faster crux-mir #2108: Commit c310fcb pushed by langston-barrett
July 16, 2024 16:04 50m 16s master
master
July 16, 2024 16:04 50m 16s
Merge pull request #1220 from GaloisInc/lb/ptr-to-int crux-mir #2107: Commit 376a1c0 pushed by langston-barrett
July 16, 2024 15:14 37m 31s master
master
July 16, 2024 15:14 37m 31s
crux-mir crux-mir #2106: Scheduled
July 16, 2024 10:01 35m 56s master
master
July 16, 2024 10:01 35m 56s
crux-mir crux-mir #2105: Scheduled
July 15, 2024 10:01 34m 46s master
master
July 15, 2024 10:01 34m 46s
crux-mir crux-mir #2104: Scheduled
July 14, 2024 10:01 35m 1s master
master
July 14, 2024 10:01 35m 1s
crux-mir crux-mir #2103: Scheduled
July 13, 2024 10:01 33m 48s master
master
July 13, 2024 10:01 33m 48s
crucible-llvm: Improve error messages in a few pointer-to-bitvector casts crux-mir #2102: Pull request #1220 synchronize by langston-barrett
July 12, 2024 20:02 38m 53s lb/ptr-to-int
lb/ptr-to-int
July 12, 2024 20:02 38m 53s
hlint: Add a hint, also lint crucible-llvm in CI crux-mir #2101: Pull request #1221 opened by langston-barrett
July 12, 2024 20:00 38m 48s lb/hlint-add-hint
lb/hlint-add-hint
July 12, 2024 20:00 38m 48s
crucible-llvm: Improve error messages in a few pointer-to-bitvector casts crux-mir #2100: Pull request #1220 opened by langston-barrett
July 12, 2024 19:42 37m 16s lb/ptr-to-int
lb/ptr-to-int
July 12, 2024 19:42 37m 16s
crux-mir crux-mir #2099: Scheduled
July 12, 2024 10:01 34m 21s master
master
July 12, 2024 10:01 34m 21s
crux-mir crux-mir #2098: Scheduled
July 11, 2024 10:01 35m 5s master
master
July 11, 2024 10:01 35m 5s
crux-mir crux-mir #2097: Scheduled
July 10, 2024 10:01 35m 25s master
master
July 10, 2024 10:01 35m 25s
crux-mir crux-mir #2096: Scheduled
July 9, 2024 10:01 34m 43s master
master
July 9, 2024 10:01 34m 43s
crux-mir crux-mir #2095: Scheduled
July 8, 2024 10:01 34m 49s master
master
July 8, 2024 10:01 34m 49s
crux-mir crux-mir #2094: Scheduled
July 7, 2024 10:01 34m 17s master
master
July 7, 2024 10:01 34m 17s
crux-mir crux-mir #2093: Scheduled
July 6, 2024 10:01 33m 38s master
master
July 6, 2024 10:01 33m 38s
crux-mir crux-mir #2092: Scheduled
July 5, 2024 10:01 33m 58s master
master
July 5, 2024 10:01 33m 58s
crux-mir crux-mir #2091: Scheduled
July 4, 2024 10:01 34m 32s master
master
July 4, 2024 10:01 34m 32s
crux-mir crux-mir #2090: Scheduled
July 3, 2024 10:01 33m 47s master
master
July 3, 2024 10:01 33m 47s
Make obligation checking more configurable crux-mir #2089: Pull request #1216 synchronize by langston-barrett
July 2, 2024 14:34 36m 27s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 2, 2024 14:34 36m 27s
crux-mir crux-mir #2088: Scheduled
July 2, 2024 10:01 42m 26s master
master
July 2, 2024 10:01 42m 26s
Make obligation checking more configurable crux-mir #2087: Pull request #1216 synchronize by langston-barrett
July 1, 2024 20:21 53m 38s langston-barrett:lb/prove-goals-faster
langston-barrett:lb/prove-goals-faster
July 1, 2024 20:21 53m 38s