[WIP] Big merge - Githubissues

vellvm / ctrees

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

MIT License

14 stars 3 forks source link

[WIP] Big merge #19

Closed elefthei closed 1 year ago

elefthei commented 2 years ago

A merge of several new features

Heterogeneous simulations
Branch indexes
Complete simulation

Progress is incremental through files/concepts.

[x] SBisim
[x] SSim0Theory
[x] SSimTheory (...some admitted lemmas)
[x] Misc theories
[x] Interp/FoldStateT.v
[x] Interp/ITree.v
[ ] Eq/Equg.v
[x] WBisim (homogenous)
[ ] SBisimInterp.v (this is moved from Interp.v FYI Nichola)
[ ] Refine.v
[x] Examples/CCS
[ ] tests/ImpBrTest