Support multiple parties (flat)#280
Merged
mitschabaude merged 14 commits intomainfrom feature/many-partiesJul 21, 2022
+335-315
Commits
Commits on Jul 14, 2022
- committed
split global context into multiple independent contexts, and fix another problem with analyzeMethods
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 15, 2022
Commits on Jul 18, 2022
- committed