Alexa VanHattum

Better error message for now in 0ac745baa3d3ddb5af039899029c4119a0736edf

In order to run translation validation on the two `res.rkt` results, we will need to modify the code in `translation-validation.rkt`. This code is called from `main.rkt`.

You can run translation validation with a command like `make -B mat-mul-egg BACKEND_FLAGS=--validation` (the `-B` forces recompilation).

^ for the above command, I'd suggest testing with the following `mat-mul-params` file: ``` { "A-rows": 2, "A-cols": 2, "B-rows": 2, "B-cols": 2, "reg-size": 4 } ```

Or, run with `qr-decomp-params`: ``` { "N": 2, "reg-size": 4 } ``` `make -B qr-decomp-egg BACKEND_FLAGS=--validation`

Goal: - Add a flag to `main.rkt` to do diff style translation validation (maybe `--diff-tv`) - When that flag and two files are passed, run a version of translation validation...

Ubuntu - cargo tests added in #123 , macOS and remaining test support incoming

The example kernel here is data-dependent, so support will probably involve modifying the rewrite engine and backend in addition to the c frontend.

Thanks for writing this out! The concrete example with the `ishl` *before* the branch makes the challenge here more obvious (though I think it has a typo: it should be...

https://github.com/model-checking/rmc/pull/373 resolves `DynTrait/dyn_fn_param.rs`