202505152026

Refactor all operator descriptions/comments into what SANY considers …

202505132149

Refactor all operator descriptions/comments into what SANY considers …

202504292058

Do not trigger tlaplus/tlaplus Github action if it triggered us

[Build]

202503151951

Switch from permissive to restricted workflow permissions for the (ep…

202412190202

Fall back to TLA+ definition if Java module override of

`SequencesExt!ReplaceFirstSubSeq` cannot load Apache Commons Lang3
StringUtils class.

(Not done for `ReplaceAllSubSeqs` because the TLA+ def fails because it
involves `DOMAIN str` that TLC doesn't handle)

Related to Github PR #59
https://github.com/tlaplus/CommunityModules/pull/59/

[Refactor]

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

202412190152

Fall back to TLA+ definition if Java module override of

`SequencesExt!ReplaceFirstSubSeq` cannot load Apache Commons Lang3
StringUtils class.

(Not done for `ReplaceAllSubSeqs` because the TLA+ def fails because it
involves `DOMAIN str` that TLC doesn't handle)

[Refactor]

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

202412190107

Decouple loading the JUngraph dependency from loading the SVG class.

Prevents a `NoClassDefFoundError` when referencing a `CommunityModules`
release that does *not* include its dependencies (i.e., the version
without the `-deps.jar` suffix).

[Refactor]

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

202409181925

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

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

Add operators to the Relation module.

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

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