Issues

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

  enhancement
  tlaplus/CommunityModules#105 · Filter by author lemmy opened on Sep 21, 2024
  1

• VectorClock!CausalOrder does not tolerate message loss

  enhancement
  tlaplus/CommunityModules#102 · Filter by author lemmy opened on Apr 9, 2024

• Request: Add string formatting operator

  tlaplus/CommunityModules#85 · Filter by author jonesmartins opened on Nov 18, 2022
  11

• Remove Json module

  tlaplus/CommunityModules#77 · Filter by author dariusf opened on Oct 4, 2022

• Add URI-related operators to IOUtils

  enhancement
  tlaplus/CommunityModules#68 · Filter by author lemmy opened on Feb 17, 2022

• Functions.tla here clashes with Functions.tla in TLAPM

  bug
  tlaplus/CommunityModules#60 · Filter by author lemmy opened on Dec 21, 2021
  6

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

  tlaplus/CommunityModules#54 · Filter by author carl-reverb opened on Nov 2, 2021
  3

• Add an SVG!Table/Grid of Text

  enhancement
  tlaplus/CommunityModules#50 · Filter by author lemmy opened on Sep 30, 2021

• Unit tests in FiniteSetsExtTests rely on specific line numbers

  tlaplus/CommunityModules#48 · Filter by author will62794 opened on Sep 12, 2021
  1

• Add PlusPy's Messaging.tla

  enhancement
  tlaplus/CommunityModules#41 · Filter by author lemmy opened on May 17, 2021
  1

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

  bug
  tlaplus/CommunityModules#39 · Filter by author Alexander-N opened on Apr 2, 2021
  5

• SVG!Group expects *sequence* of elements

  tlaplus/CommunityModules#17 · Filter by author lemmy opened on Jul 15, 2020
  2

• Consider bundling CommunityModules.jar as part of a TLC release

  enhancement
  tlaplus/CommunityModules#16 · Filter by author lemmy opened on Jul 5, 2020
  6