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

more theorems about folds (#118)

* more theorems about folds

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>

* more theorems on folds

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>

* theorems for SumFunction

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>

* align statement of ReverseSubSeq

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>

---------

Signed-off-by: Stephan Merz <stephan.merz@loria.fr>

Remove tabs from VectorClocks.tla (#117)

TLAPM does not like tabs

Signed-off-by: Andrew Helwer <ahelwer@pm.me>

Merge pull request #116 from tlaplus/fold_proofs

theorem library for fold operators

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 <github.com@lemmster.de>

Add new string deserialize test

Signed-off-by: fhackett <fhackett.py@gmail.com>

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

Add SVGDoc and SVGSerialize functions for SVG document creation and

serialization.

[Feature]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Restrict release Github Action workflow to master branch.

Prevent PRs from becoming releases.

[Build]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Add SVGDoc and SVGSerialize functions for SVG document creation and

serialization.

[Feature]

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>