zub-vm

zub-vm copied to clipboard

Broken validity invariants in `TaggedHandle::<T>::from_float/from_tag`

1

### The source of unsoundness https://github.com/nilq/zub-vm/blob/c82244ee9908ec3c69079854377d53c20f5cc9fc/src/vm/gc/tag.rs#L42-L48 Hi, we consider that the api has an unsound implementation. In this function, `f64` can be transmuted to arbitrary types specified as `T` in...

shinmao

For some reason, the eq operation wasn't fully implemented and just changing the definition to a simple comparaison seemed to have fixed the problem. (All tests pass with this fix)

sawcce

I'm implementing a simple language using zub and nom. I wanted to add the possibility to "null" variable using the Nil literal but couldn't find a way so I added...

sawcce

Documentation

1

Stumbled across this project whilst researching existing bytecode VMs implemented in Rust. Looks super interesting and I would like to take it for a spin and build a minimal scripting...

ryangjchandler

Recommended way to interop with the host language, Rust

1

This is a cool project. I've got a mild ambition to write a Clojure compiler targeting zub-vm, since it could potentially be a good way to grant Clojure access to...

crinklywrappr