RelationUtils.tla: To Be Improved

hengxin / tla-causal-consistency

TLA+ Specification of Variants of Causal Consistency

MIT License

6 stars 0 forks source link

Closed hengxin closed 3 years ago

hengxin commented 3 years ago

[x] To generate all possible linear extensions of a given partial order over a given set
[x] +test cases
[x] Update the hengxin/tlaplus-pluscal-utils repository

hengxin commented 3 years ago

For generating all possible linear extensions of a partial order, see https://groups.google.com/g/tlaplus/c/mtyEmqhlRVg.