Search results

More efficient evaluation of SequencesExt!BoundedSeq when e.g. checking refinement

enhancementNew feature or requestNew feature or request

Status: Open.

#105 In tlaplus/CommunityModules;

· lemmy opened on Sep 21, 2024

VectorClock!CausalOrder does not tolerate message loss

enhancementNew feature or requestNew feature or request

Status: Open.

#102 In tlaplus/CommunityModules;

· lemmy opened on Apr 9, 2024

Add URI-related operators to IOUtils

enhancementNew feature or requestNew feature or request

Status: Open.

#68 In tlaplus/CommunityModules;

· lemmy opened on Feb 17, 2022

Add an SVG!Table/Grid of Text

enhancementNew feature or requestNew feature or request

Status: Open.

#50 In tlaplus/CommunityModules;

· lemmy opened on Sep 30, 2021

Add PlusPy's <code>Messaging.tla</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In tlaplus/CommunityModules;

· lemmy opened on May 17, 2021

Consider bundling CommunityModules.jar as part of a TLC release

enhancementNew feature or requestNew feature or request

Status: Open.

#16 In tlaplus/CommunityModules;

· lemmy opened on Jul 5, 2020