Skip to content

Releases: tlaplus/CommunityModules

202409181925

18 Sep 19:25
Compare
Choose a tag to compare
Trigger build of tlaplus/tlaplus if this repository has been changed.

Related to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd

Signed-off-by: Markus Alexander Kuppe <[email protected]>

202409181857

18 Sep 18:58
Compare
Choose a tag to compare
Trigger build of tlaplus/tlaplus if this repository has been changed.

Related to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd

Signed-off-by: Markus Alexander Kuppe <[email protected]>

202409171326

17 Sep 13:26
Compare
Choose a tag to compare
Add operators to the Relation module.

* Is[Strictly]PartiallyOrdered
* Is[Stringly]TotallyOrdered
* Is*Under(op(_,_), S)

Signed-off-by: Markus Alexander Kuppe <[email protected]>

202405171516

17 May 15:16
9c13c11
Compare
Choose a tag to compare
Remove inaccurate comment about implementation detail.

202404282229

28 Apr 22:30
Compare
Choose a tag to compare
Fix docstrings of Fold functions

Signed-off-by: bugarela <[email protected]>

202403071931

07 Mar 19:32
Compare
Choose a tag to compare
SequencesExt!Fold[Left|Right]Domain over domain of sequence.

https://github.com/tlaplus/CommunityModules/issues/101

[Feature]

Signed-off-by: Markus Alexander Kuppe <[email protected]>

202402271731

27 Feb 17:32
Compare
Choose a tag to compare
adding UndirectedGraphs module and tests

Signed-off-by: Stephan Merz <[email protected]>

202402261430

26 Feb 14:31
Compare
Choose a tag to compare
adding UndirectedGraphs module and tests

Signed-off-by: Stephan Merz <[email protected]>

202402211727

21 Feb 17:27
Compare
Choose a tag to compare
Internal VSCode change.

[Dev]

202402062327

06 Feb 23:28
Compare
Choose a tag to compare
Do not rely on TLC's evaluation order.

Signed-off-by: Markus Alexander Kuppe <[email protected]>