Skip to content

Actions: GaloisInc/reopt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #322 from GaloisInc/vr/fix-gep CI #1116: Commit 7948b66 pushed by Ptival
October 18, 2024 15:42 7m 54s main
main
October 18, 2024 15:42 7m 54s
fix confusion between GEP base type and return type CI #1115: Commit c636f42 pushed by Ptival
October 18, 2024 15:31 8m 38s vr/fix-gep
vr/fix-gep
October 18, 2024 15:31 8m 38s
fix confusion between GEP base type and return type CI #1114: Commit 88ee801 pushed by Ptival
October 18, 2024 15:31 8m 7s vr/fix-gep
vr/fix-gep
October 18, 2024 15:31 8m 7s
Merge pull request #321 from GaloisInc/vr/fix-lhsty-bug CI #1113: Commit 359da26 pushed by Ptival
October 18, 2024 15:18 8m 54s main
main
October 18, 2024 15:18 8m 54s
fix pattern-matching binding bug CI #1112: Commit ff2b0e7 pushed by Ptival
October 18, 2024 00:51 8m 24s vr/fix-lhsty-bug
vr/fix-lhsty-bug
October 18, 2024 00:51 8m 24s
fix pattern-matching binding bug CI #1111: Commit 199d170 pushed by Ptival
October 18, 2024 00:47 7m 42s vr/fix-lhsty-bug
vr/fix-lhsty-bug
October 18, 2024 00:47 7m 42s
Merge pull request #320 from GaloisInc/vr/get-inferred-type CI #1110: Commit bfd2266 pushed by Ptival
October 18, 2024 00:46 7m 45s main
main
October 18, 2024 00:46 7m 45s
fix pattern-matching binding bug CI #1109: Commit b67d975 pushed by Ptival
October 18, 2024 00:46 7m 53s vr/fix-lhsty-bug
vr/fix-lhsty-bug
October 18, 2024 00:46 7m 53s
cosmetic CI #1108: Commit f0c8453 pushed by Ptival
October 17, 2024 23:03 7m 48s vr/get-inferred-type
vr/get-inferred-type
October 17, 2024 23:03 7m 48s
Merge pull request #319 from GaloisInc/vr/fix-llvm-call-return-type CI #1107: Commit 522b792 pushed by Ptival
October 17, 2024 23:01 7m 40s main
main
October 17, 2024 23:01 7m 40s
fix Reopt indicate function type rather than return type on LLVM calls CI #1106: Commit 530b4f4 pushed by Ptival
October 17, 2024 22:51 8m 29s vr/fix-llvm-call-return-type
vr/fix-llvm-call-return-type
October 17, 2024 22:51 8m 29s
fix Reopt indicate function type rather than return type on LLVM calls CI #1105: Commit db5a5b5 pushed by Ptival
October 17, 2024 22:50 7m 56s vr/fix-llvm-call-return-type
vr/fix-llvm-call-return-type
October 17, 2024 22:50 7m 56s
fix Reopt indicate function type rather than return type on LLVM calls CI #1104: Commit 787e8fd pushed by Ptival
October 17, 2024 20:59 7m 52s vr/fix-llvm-call-return-type
vr/fix-llvm-call-return-type
October 17, 2024 20:59 7m 52s
Merge pull request #318 from GaloisInc/vr/fix-get-inferred-type CI #1103: Commit 6452992 pushed by Ptival
October 17, 2024 20:51 8m 5s main
main
October 17, 2024 20:51 8m 5s
don't error when lookup fails in getInferredType CI #1102: Commit 9ef4a25 pushed by Ptival
October 17, 2024 20:21 11m 51s vr/fix-get-inferred-type
vr/fix-get-inferred-type
October 17, 2024 20:21 11m 51s
Merge pull request #317 from GaloisInc/vr/max-restarts CI #1101: Commit 07488fb pushed by Ptival
October 14, 2024 21:34 7m 57s main
main
October 14, 2024 21:34 7m 57s
add max-restarts CLI arguments to stop long constraint solving loops CI #1100: Commit e5859d5 pushed by Ptival
October 14, 2024 21:25 7m 54s vr/max-restarts
vr/max-restarts
October 14, 2024 21:25 7m 54s
add max-restarts CLI arguments to stop long constraint solving loops CI #1099: Commit 40d1807 pushed by Ptival
October 14, 2024 21:13 6m 18s vr/max-restarts
vr/max-restarts
October 14, 2024 21:13 6m 18s
Merge pull request #316 from GaloisInc/vr/remove-unnecessary-tracing CI #1098: Commit ccd5dbf pushed by Ptival
October 14, 2024 19:49 8m 7s main
main
October 14, 2024 19:49 8m 7s
remove unnecessary tracing CI #1097: Commit e13571b pushed by Ptival
October 14, 2024 19:36 8m 12s vr/remove-unnecessary-tracing
vr/remove-unnecessary-tracing
October 14, 2024 19:36 8m 12s
Merge pull request #203 from GaloisInc/vr/improve-test_reopt_with_rel… CI #1096: Commit 0d39383 pushed by Ptival
October 7, 2024 23:36 8m 4s main
main
October 7, 2024 23:36 8m 4s
small improvements to test_reopt_with_relink.sh CI #1095: Commit 7d0fff0 pushed by Ptival
October 7, 2024 23:19 7m 35s vr/improve-test_reopt_with_relink.sh
vr/improve-test_reopt_with_relink.sh
October 7, 2024 23:19 7m 35s
Merge pull request #310 from GaloisInc/vr/final-stretch CI #1094: Commit 8e69535 pushed by staslyakhov
October 7, 2024 23:12 7m 49s main
main
October 7, 2024 23:12 7m 49s
minor code review cleanups CI #1093: Commit 06de2c5 pushed by Ptival
October 7, 2024 22:40 7m 47s vr/final-stretch
vr/final-stretch
October 7, 2024 22:40 7m 47s
Merge pull request #311 from GaloisInc/vr/bump-macaw CI #1092: Commit d908272 pushed by Ptival
October 7, 2024 22:39 7m 47s main
main
October 7, 2024 22:39 7m 47s