Alexa VanHattum
Alexa VanHattum
This is a WIP PR for ISLE to add a flag to optionally _not_ expand inline constructors. The full details are in #4089, but the main idea is that we'd...
Right now, linking external C libraries depends on the Rust name pretty printer matching the C type name (see `ty_mangled_name`). This is fragile and definitely won't work if two different...
In checking a projections type, we have this comment: ```rust fn check_expr_typ_mismatch( expr: &Expr, typ: &TypeOrVariant, ) -> Option { match typ { TypeOrVariant::Type(t) => { let expr_ty = expr.typ().clone();...
Try using Github actions for basic CI.
Debug c-based implementation of QR decomposition to reach parity with the Racket DSL.
If the body of a Racket for loop modifies the index variable, it does not persist to the next iteration: the front end of cdios should error on this (or...
Investigate whether we can improve the baseline's performance with "super software pipelining" See section `4.5 Software Pipelining` of Xtensa C and C++ Compiler user guide.
Draft PR to upstream the ongoing ISLE verification work, as described in our ASPLOS 2024 paper: [Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection](https://dl.acm.org/doi/10.1145/3617232.3624862). The motivation for this work is described...