202601131539

Update SVGSerialize to use three-digit zero-padding for frame numbers…

202601110807

more theorems about folds (#118)

* more theorems about folds

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

* more theorems on folds

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

* theorems for SumFunction

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

* align statement of ReverseSubSeq

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

---------

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

202512162320

Remove tabs from VectorClocks.tla (#117)

TLAPM does not like tabs

Signed-off-by: Andrew Helwer <[email protected]>

202512151634

Merge pull request #116 from tlaplus/fold_proofs

theorem library for fold operators

202511171707

Do not require CSV read/write operations to be state level.

Constant level is sufficient and allows TLC to cache the results.

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

202510292242

Add new string deserialize test

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

202510260115

Enhance SVGSerialize to use zero-padded frame numbers for consistent …

202510252135

Add SVGDoc and SVGSerialize functions for SVG document creation and

serialization.

[Feature]

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

202510252042

Restrict release Github Action workflow to master branch.

Prevent PRs from becoming releases.

[Build]

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

202510251502

Add SVGDoc and SVGSerialize functions for SVG document creation and

serialization.

[Feature]

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