Lilian Besson

icon indicating a website link https://Besson.link/

icon company Lycée Kléber | Éducation Nationale icon location Strasbourg, France icon location Full-time teacher of computer science in Classes Préparatoires MP2I in Strasbourg in France. Passionate Magic: the Gathering player and active L1 judge.

Results 218 comments of Lilian Besson

Could we port OMicroB to the Numworks CPU (an ARMv7-M Cortex-M7 on 32bits) ? Step ONE in a larger project

I'm struggling to understand what files to modify, between `numworks.ml`/`numworks.mli` and `bindings.c` and `arch-specific.c`. I've managed to update and fix the `millis()` function, calling the correct function of the Numworks...

Could we port OMicroB to the Numworks CPU (an ARMv7-M Cortex-M7 on 32bits) ? Step ONE in a larger project

Hm could we not implement "fake" UI functions of the Numworks in the simulator? I don't really care about the simulator actually.

Can't make this project work, on Cargo v1.76.0

Hi again, Thanks for an impressively quick response! I've tried each test files, and couldn't run any of them.

Can't make this project work, on Cargo v1.76.0

Each of them fails, with the same error message.

Can't make this project work, on Cargo v1.76.0

Yes. I don't see any errors when I simply run `cargo run` (it seems to work fine), but I have the same error when loading any of these files: ```...

Can't make this project work, on Cargo v1.76.0

I'm trying, and I'm getting the following error, for `cargo run` as well as `cargo run ./example/fibo.ml`: ``` Running `target/debug/rcaml example/fibo.ml` Erreur de segmentation (core dumped) ```

Can't make this project work, on Cargo v1.76.0

(segmentation fault)

Can't make this project work, on Cargo v1.76.0

I can't install LLVM 3.9 from my `apt` packages, on Ubuntu 22.04 on this laptop. Apparently it's not trivial to install older versions. I'll try running from a container, as...