Releases: tlaplus/CommunityModules
Releases · tlaplus/CommunityModules
202310112105
Add SequencesExt!RemoveFirst and RemoveFirstMatch.
202310082309
Add SequencesExt!Suffixes
202310021704
Fix typos (#89) Signed-off-by: Sergey Bronnikov <[email protected]>
202308240039
Add CSV!CSVWriteRecord as a convenience method to write a record (optionally including its names as column headers). [Feature] Signed-off-by: Markus Alexander Kuppe <[email protected]>
202308222326
Fix bogus error messages. [Bug] Signed-off-by: Markus Alexander Kuppe <[email protected]>
202307191312
Copy domain and value arrays before normalization to *not* modify the original value. [Bug] Signed-off-by: Markus Alexander Kuppe <[email protected]>
202304140044
Correct Java module override reference in comment.
202303072243
Add GraphViz module. Addresses Github issue #87 https://github.com/tlaplus/CommunityModules/issues/87
202302220526
Streamline operator names.
202302220137
Support dynamic vector clocks.