Backports from choice-gen-hsim - Githubissues

vellvm / ctrees

An itree-like data-structure to additionally support internal non-determinism

MIT License

13 stars 2 forks source link

Backports from choice-gen-hsim #17

Closed nchappe closed 2 years ago

nchappe commented 2 years ago

Simulation theory
Trace equivalence
More results on the coffee machine example

YaZko commented 2 years ago

Great, thanks!