Skip to content

Actions: lccc-project/lccc

Actions

Rust miri

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
miri.yml
171 workflow runs
171 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: rustfmt Rust miri #361: Commit 0afc7f6 pushed by rdrpenguin04
July 23, 2023 22:56 1m 39s main
main
July 23, 2023 22:56 1m 39s
style(rust-irgen): clean up organization, prepare for xlang visitors Rust miri #360: Commit d361b95 pushed by rdrpenguin04
July 23, 2023 22:55 1m 58s main
main
July 23, 2023 22:55 1m 58s
chore: rustfmt Rust miri #359: Commit f3e248a pushed by rdrpenguin04
July 23, 2023 22:43 1m 59s main
main
July 23, 2023 22:43 1m 59s
feat(rust-irgen): more optimizations on mangling Rust miri #358: Commit 013c483 pushed by rdrpenguin04
July 23, 2023 22:22 1m 50s main
main
July 23, 2023 22:22 1m 50s
feat(rust-irgen): more visitor work Rust miri #357: Commit db47c77 pushed by rdrpenguin04
July 23, 2023 21:49 2m 20s main
main
July 23, 2023 21:49 2m 20s
feat(rust-irgen): work on visit_terminator, add is_none bailout Rust miri #356: Commit 9ee496a pushed by rdrpenguin04
July 23, 2023 21:41 1m 59s main
main
July 23, 2023 21:41 1m 59s
chore: rustfmt Rust miri #355: Commit d0f0f29 pushed by rdrpenguin04
July 23, 2023 21:02 1m 50s main
main
July 23, 2023 21:02 1m 50s
feat(rust-irgen): start handling int primitives, relax xlang_target API Rust miri #354: Commit 519f515 pushed by rdrpenguin04
July 23, 2023 21:00 2m 25s main
main
July 23, 2023 21:00 2m 25s
chore: rustfmt Rust miri #353: Commit 2e0ca40 pushed by rdrpenguin04
July 23, 2023 20:24 2m 19s main
main
July 23, 2023 20:24 2m 19s
style(rust-irgen): merge visitor trait definitions into macro to avoi… Rust miri #352: Commit 913dada pushed by rdrpenguin04
July 23, 2023 20:21 2m 4s main
main
July 23, 2023 20:21 2m 4s
feat(rust-irgen): more visitor work, start name mangling Rust miri #351: Commit 79b9982 pushed by rdrpenguin04
July 23, 2023 20:17 1m 41s main
main
July 23, 2023 20:17 1m 41s
feat(rust-sema): Lower attributes eagerly Rust miri #350: Commit 7b37312 pushed by chorman0773
July 23, 2023 18:34 2m 10s main
main
July 23, 2023 18:34 2m 10s
fix(xlang_abi-doc): fix more doc errors Rust miri #349: Commit 30f3cb0 pushed by rdrpenguin04
July 23, 2023 00:55 3m 38s main
main
July 23, 2023 00:55 3m 38s
fix(xlang_host-doc): fix doc on primitives Rust miri #348: Commit 62dfdcb pushed by rdrpenguin04
July 23, 2023 00:01 2m 24s main
main
July 23, 2023 00:01 2m 24s
feat(rust-irgen): switch to two-stage visitor Rust miri #347: Commit c48dd27 pushed by rdrpenguin04
July 22, 2023 23:58 1m 44s main
main
July 22, 2023 23:58 1m 44s
feat(rust-irgen): Create stubs for Visitor tree Rust miri #346: Commit 8f28b08 pushed by chorman0773
July 22, 2023 04:12 2m 19s main
main
July 22, 2023 04:12 2m 19s
feat(rust-sema): Start handling generics Rust miri #345: Commit 4b7d6a8 pushed by chorman0773
July 22, 2023 02:50 2m 4s main
main
July 22, 2023 02:50 2m 4s
feat(rust-mir): Lower some intrinsics eagerly Rust miri #344: Commit 04ac009 pushed by chorman0773
July 21, 2023 03:30 2m 6s main
main
July 21, 2023 03:30 2m 6s
chore(rust): Remove debugging statements used from previous two commits) Rust miri #343: Commit 2433812 pushed by chorman0773
July 21, 2023 01:53 2m 14s main
main
July 21, 2023 01:53 2m 14s
fix(rust-sema): Fix loop attempting to return (); Rust miri #342: Commit 3a8554b pushed by chorman0773
July 21, 2023 01:46 2m 18s main
main
July 21, 2023 01:46 2m 18s
feat(rust-sema): Implement mir lowering Rust miri #341: Commit 4ca0ad4 pushed by chorman0773
July 21, 2023 00:11 2m 26s main
main
July 21, 2023 00:11 2m 26s