StateFacts for ctrees - Githubissues

vellvm / ctrees

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

MIT License

13 stars 2 forks source link

Closed elefthei closed 2 years ago

elefthei commented 2 years ago

@YaZko committed the progress we made today, the file is theories/Interp/State.v