Skip to content

Actions: audulus/lyte

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
600 workflow runs
600 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Defer lvalue checks to after type solving for slice mutability Rust #1080: Commit a2773af pushed by wtholliday
6m 53s main
main
6m 53s
Safety checker: prove slice access safe when len > constant Rust #1079: Commit 132767b pushed by wtholliday
7m 38s main
main
7m 38s
Add fill-array codegen for LLVM backend Rust #1078: Commit 8270d20 pushed by wtholliday
8m 8s main
main
8m 8s
Fix infinite loop when interface typevar matches constraint typevar Rust #1077: Commit 98e4d4a pushed by wtholliday
6m 50s main
main
6m 50s
Fix variable shadowing, fill-array codegen, and add checker tests Rust #1076: Commit 223c2c5 pushed by wtholliday
6m 58s main
main
6m 58s
Reject assignment to let array elements, allow for slices Rust #1075: Commit f098dd2 pushed by wtholliday
6m 51s main
main
6m 51s
Fix let variables being mutable: reject assignment to let bindings Rust #1074: Commit 0fe7343 pushed by wtholliday
6m 48s main
main
6m 48s
Fix fuzzer taint analysis: never clear taint in body Rust #1073: Commit b3e79b7 pushed by wtholliday
6m 55s main
main
6m 55s
Move Opcode to its own file, convert helpers to methods Rust #1072: Commit 74731f3 pushed by wtholliday
7m 11s main
main
7m 11s
Extend differential fuzzer with structs, arrays, enums, and functions Rust #1071: Commit 080d77d pushed by wtholliday
7m 8s main
main
7m 8s
Update TODO.md Rust #1070: Commit c424aa8 pushed by wtholliday
7m 13s main
main
7m 13s
Add register allocation validation on all builds Rust #1069: Commit a8079ba pushed by wtholliday
7m 7s main
main
7m 7s
Fix replace_reg_uses_until_clobber not stopping at old_reg clobber Rust #1068: Commit 3907659 pushed by wtholliday
7m 12s main
main
7m 12s
Replace compute_use_counts_fast with for_each_src Rust #1067: Commit 844eb77 pushed by wtholliday
6m 50s main
main
6m 50s
Extract jump_targets helper in vm_optimize.rs Rust #1066: Commit 6e7e29f pushed by wtholliday
6m 52s main
main
6m 52s
Document proof limitation: control-flow precondition is assumed Rust #1065: Commit 8b968be pushed by wtholliday
6m 55s main
main
6m 55s
Add Coq proof of fuse_compare_branch correctness Rust #1064: Commit 24c1c49 pushed by wtholliday
6m 55s main
main
6m 55s
Fix fuse_compare_branch when JumpIfZero is a jump target Rust #1063: Commit b6ff98c pushed by wtholliday
11m 11s main
main
11m 11s
Make Cranelift an optional feature, enabled by default Rust #1062: Commit 851e80e pushed by wtholliday
7m 52s main
main
7m 52s
Add Coq proof of move forwarding correctness Rust #1061: Commit e95f733 pushed by wtholliday
7m 11s main
main
7m 11s
Fix register allocator live range bug found by optimizer fuzzer Rust #1060: Commit 39c6001 pushed by wtholliday
7m 2s main
main
7m 2s
Add property-based fuzz target for VM optimizer Rust #1059: Commit 7c6a7f5 pushed by wtholliday
6m 57s main
main
6m 57s
Add ARM64 assembly VM to differential fuzzer Rust #1058: Commit ca5e4f6 pushed by wtholliday
6m 52s main
main
6m 52s
Remove lyte_program_get_entry_point, use positional indices Rust #1057: Commit 2c38676 pushed by wtholliday
6m 58s main
main
6m 58s
Use index-based entry points instead of opaque pointers Rust #1056: Commit 9a900fe pushed by wtholliday
6m 58s main
main
6m 58s