Skip to content

Actions: GaloisInc/crucible

Actions

uc-crux-llvm-lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
uc-crux-llvm-lint.yaml
369 workflow runs
369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Helpers for checking proof obligations uc-crux-llvm-lint #1260: Pull request #1215 synchronize by langston-barrett
June 20, 2024 14:57 25s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 14:57 25s
Helpers for checking proof obligations uc-crux-llvm-lint #1259: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:29 40s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:29 40s
Helpers for checking proof obligations uc-crux-llvm-lint #1258: Pull request #1215 synchronize by langston-barrett
June 20, 2024 13:18 27s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 20, 2024 13:18 27s
Helpers for checking proof obligations uc-crux-llvm-lint #1257: Pull request #1215 synchronize by langston-barrett
June 18, 2024 21:11 25s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 21:11 25s
Helpers for checking proof obligations uc-crux-llvm-lint #1256: Pull request #1215 synchronize by langston-barrett
June 18, 2024 19:51 21s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 19:51 21s
Helpers for checking proof obligations uc-crux-llvm-lint #1255: Pull request #1215 opened by langston-barrett
June 18, 2024 19:35 27s langston-barrett:lb/prove-goals
langston-barrett:lb/prove-goals
June 18, 2024 19:35 27s
Work around LLVM's reltable lookup optimization (#1214) uc-crux-llvm-lint #1254: Commit f9760bd pushed by RyanGlScott
June 11, 2024 17:09 26s master
master
June 11, 2024 17:09 26s
Work around LLVM's reltable lookup optimization uc-crux-llvm-lint #1253: Pull request #1214 opened by RyanGlScott
June 10, 2024 14:24 25s T1174-undo-reltable-optimization
T1174-undo-reltable-optimization
June 10, 2024 14:24 25s
Merge pull request #1213 from langston-barrett/lb/conc-sym-seq uc-crux-llvm-lint #1252: Commit 211d744 pushed by langston-barrett
June 7, 2024 19:46 27s master
master
June 7, 2024 19:46 27s
Use Seq instead of lists when concretizing SymSequence uc-crux-llvm-lint #1251: Pull request #1213 synchronize by langston-barrett
June 7, 2024 19:46 27s langston-barrett:lb/conc-sym-seq
langston-barrett:lb/conc-sym-seq
June 7, 2024 19:46 27s
Use Seq instead of lists when concretizing SymSequence uc-crux-llvm-lint #1250: Pull request #1213 opened by langston-barrett
June 7, 2024 18:29 24s langston-barrett:lb/conc-sym-seq
langston-barrett:lb/conc-sym-seq
June 7, 2024 18:29 24s
Merge pull request #1211 from langston-barrett/lb/conc-to-sym uc-crux-llvm-lint #1249: Commit 4189007 pushed by langston-barrett
June 7, 2024 18:11 24s master
master
June 7, 2024 18:11 24s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1248: Pull request #1211 synchronize by langston-barrett
June 7, 2024 17:27 25s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 17:27 25s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1247: Pull request #1211 synchronize by langston-barrett
June 7, 2024 14:59 7m 1s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:59 7m 1s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1246: Pull request #1211 synchronize by langston-barrett
June 7, 2024 14:56 36s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:56 36s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1245: Pull request #1211 synchronize by langston-barrett
June 7, 2024 14:46 1m 21s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:46 1m 21s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1244: Pull request #1211 synchronize by langston-barrett
June 7, 2024 14:46 21s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:46 21s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1243: Pull request #1211 synchronize by langston-barrett
June 7, 2024 14:42 20s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:42 20s
Merge pull request #1210 from GaloisInc/T1209-fix-cabal-sdist uc-crux-llvm-lint #1242: Commit 976a16e pushed by RyanGlScott
June 7, 2024 14:36 27s master
master
June 7, 2024 14:36 27s
Inject concrete values back into symbolic expressions uc-crux-llvm-lint #1241: Pull request #1211 opened by langston-barrett
June 7, 2024 14:04 19s langston-barrett:lb/conc-to-sym
langston-barrett:lb/conc-to-sym
June 7, 2024 14:04 19s
Make cabal sdist work for crucible-cli{,-llvm} uc-crux-llvm-lint #1240: Pull request #1210 synchronize by RyanGlScott
June 7, 2024 13:39 25s T1209-fix-cabal-sdist
T1209-fix-cabal-sdist
June 7, 2024 13:39 25s
Make cabal sdist work for crucible-cli{,-llvm} uc-crux-llvm-lint #1239: Pull request #1210 opened by RyanGlScott
June 7, 2024 10:32 26s T1209-fix-cabal-sdist
T1209-fix-cabal-sdist
June 7, 2024 10:32 26s
Merge pull request #1208 from langston-barrett/lb/conc-helpers uc-crux-llvm-lint #1238: Commit 20b8dac pushed by langston-barrett
June 6, 2024 19:46 28s master
master
June 6, 2024 19:46 28s
Additional helpers for concretization uc-crux-llvm-lint #1237: Pull request #1208 opened by langston-barrett
June 6, 2024 18:49 25s langston-barrett:lb/conc-helpers
langston-barrett:lb/conc-helpers
June 6, 2024 18:49 25s
Merge pull request #1207 from langston-barrett/lb/concretize uc-crux-llvm-lint #1236: Commit 2163926 pushed by langston-barrett
June 6, 2024 18:29 28s master
master
June 6, 2024 18:29 28s