Jean-Christophe Léchenet
Jean-Christophe Léchenet
Cf. https://github.com/ocaml/opam-repository/pull/24611
Releases `jasmin.2023.06.0` and `jasmin.2023.06.1` were marked as incompatible with OCaml 5. Recent releases and current development version is compatible with OCaml 5.
Hi Samyuktha, sadly there are not a lot of resources. This is one of our weaknesses. You may: - read chapter 4 of [this thesis](https://repositorio-aberto.up.pt/bitstream/10216/144015/2/580364.pdf) - take a look at...
> Thanks for exploring this. I really don’t like the following: “we have to use `From other_directory Require Import …` to do the imports.” I already have a hard time...
There is an intersection for sure, but I would keep both open.
I discussed with @bgregoir, the code of set_up_sp_register should indeed be changed into sth looking more like x86.
Btw, there is a typo in the error message, `constaints`.
Comments: - this should allow to get rid of (part of?) insert_copy_and_fix_length.ml, this has not been done yet - the template feature is a POC, we should discuss if this...
Also the feature was added on top of the `param`/`subst` machinery. I don't know if we want to remove it and get rid of the polymorphism on the type of...