Matthias

I decided to remove the `no_std` feature as it's used for **one** trait (which only returns `None`). Also changes the tests to no_std, but sandbox still uses std. All tests...

@iraizo Feel free to fork the repo and add the implementation for MacOS. You can take a look at the already existing implementations [here](https://github.com/hax-rs/hax/tree/main/hax/src/mem).

I like that approach. But we have to carefully think about whether or not to make the `hax_ctx` (hax context) static or pass it as parameter. **Static**: - Could lead...

My primary concern against it, is having two different implementations which generally makes it confusing for the user. If one looks at an example which uses a global context, I...

Allow to pass your own memory: ``` fn setup_memory -> impl MemoryRead + MemoryWrite { // ... } #[hax_macros::main(process = "ac_client")] #[hax_macros::memory(setup_memory)] fn main(memory: Memory) { println!("Hello, world!"); } ```