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

Request: Add string formatting operator

Status: Open.

#85 In tlaplus/CommunityModules;

· jonesmartins opened on Nov 18, 2022

Remove Json module

Status: Open.

#77 In tlaplus/CommunityModules;

· dariusf opened on Oct 4, 2022

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

Functions.tla here clashes with Functions.tla in TLAPM

bugSomething isn't workingSomething isn't working

Status: Open.

#60 In tlaplus/CommunityModules;

· lemmy opened on Dec 21, 2021

NoClassDefFoundError : tlc2/value/impl/KSubsetValue in Toolbox 1.7.1 CommunityModules.jar

Status: Open.

#54 In tlaplus/CommunityModules;

· carl-reverb opened on Nov 2, 2021

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

Unit tests in FiniteSetsExtTests rely on specific line numbers

Status: Open.

#48 In tlaplus/CommunityModules;

· will62794 opened on Sep 12, 2021

Add PlusPy's Messaging.tla

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In tlaplus/CommunityModules;

· lemmy opened on May 17, 2021

Host and Clock from ShiViz module do not appear in error trace

bugSomething isn't workingSomething isn't working

Status: Open.

#39 In tlaplus/CommunityModules;

· Alexander-N opened on Apr 2, 2021

SVG!Group expects *sequence* of elements

Status: Open.

#17 In tlaplus/CommunityModules;

· lemmy opened on Jul 15, 2020