matt rice

Wasm support

6

wasm-ld now seems to have rudimentary `.init_array` support. I posted a rustc patch here: https://github.com/rust-lang/rust/pull/121533 While it does work to just add ``` diff --git a/src/lib.rs b/src/lib.rs index de4cdef..599f064 100644...

This just does some cleanups of the code in the split borrows tree example, some suggested by clippy others just seemed like simplifications that could be done.

If we could finagle [Prusti](https://github.com/viperproject/prusti-dev/)'s #[pure] annotations everywhere, we should remove the scare-quotes in "Pure", from the documentation!

seL4 style bounded non-blocking notifications

4

```rust /// A channel with a limited buffer (the usize parameter). Creates back pressure when the buffer is full. /// This means that producer tasks may block if consumers can't...

building/running on Fedora 37

9

I don't know much of anything about python, but trying to build on fedora 37 I ran into a few issues. * first patch fixes running `LucasR.py`, Without this all...

fix build issue #50

1

I merely tested that the build succeeded, but haven't gone over the output yet. About the change to `sphinx.directives.CodeBlock`, we can see in the following commit that it appears to...

vscode web-extension

1

I think it would be nice if in addition to monaco, we could get this working as a vscode [web-extension](https://code.visualstudio.com/api/extension-guides/web-extensions) I only did a cursory look through the package.json, but...

I noticed that your patched webpack was merged a few days ago as part of 5.75.0, and so tried bumping the version. I had to deviate from the instructions it...

substitute and count vars remaining

2

It might be nice if there was a function like: `fn substitute_count_remaining_vars(template: T, variables: &HashMap) -> Result` which returned the number of variables not substituted, so you could perform something...

add feature for serde_bytes::ByteBuf

2

Rebasing PR #252 on top of master, because the original PR wasn't made from a feature branch, it was easier to just open a new PR (and there was no...