202402011833

Deserializing Json null value makes TLC (silently) throw

NullPointerExceptions, potentially causing massive slow down.

Fixes Github issue #868
https://github.com/tlaplus/tlaplus/issues/868

[Bug]

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

202401251842

Add Java Module Override for SequencesExt!AllSubSeqs. (#97)

[Feature]

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

202401251803

Add Java Module Override for SequencesExt!AllSubSeqs.

[Feature]

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

202401251751

Add Java Module Override for SequencesExt!AllSubSeqs.

[Feature]

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

202401251750

Add Java Module Override for SequencesExt!AllSubSeqs.

[Feature]

202401200511

Add SequencesExt!Snoc and SequencesExt!AllSubSeqs.

202401052011

Add Functions!Pointwise

Adds Github issue #96
https://github.com/tlaplus/CommunityModules/issues/96

[Feature]

202312160528

Support serializing records (RecordValue) in addition to sequences

(TupleValues) in JsonSerialize operator.

A RecordValue is serialized to a Json object, with the record value's
(finite) domain of strings being the Json keys.

[Feature][TLC]

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

202311162248

Remove use of deprecated `Applicable` interface (#93)

Signed-off-by: Calvin Loncaric <[email protected]>

202311011627

Gracefully fail on a non-tuple argument in Json!JsonSerialize and

Json!ndJsonSerialize.

Related to https://github.com/microsoft/CCF/pull/5807

[Feature][TLC]