tlaplus/CommunityModules

Issues

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

  #105 opened 5 months ago by lemmy
  1

• VectorClock!CausalOrder does not tolerate message loss

  #102 opened 10 months ago by lemmy
  0

• SequencesExt!Fold[Left|Right] over domain of sequence

  #101 opened a year ago by lemmy
  2

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

  #60 opened 3 years ago by lemmy
  6

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

  #54 opened 3 years ago by carl-reverb
  3

• Add Functions!Pointwise

  #96 opened a year ago by lemmy
  3

• JSON serialization : ToJsonString

  #95 opened a year ago by younes-io
  2

• Repository's README.md is out of date

  #91 opened a year ago by jonesmartins
  6

• Module override for SequencesExt!Suffixes

  #90 opened a year ago by lemmy
  1

• Add generic `Serialize` and `Deserialize` operators to `IOUtils`.

  #53 opened 3 years ago by lemmy
  14

• Add GraphViz module

  #87 opened 2 years ago by Benedicto
  3

• TLA google group auto deleting posts and replies?

  #88 opened 2 years ago by Benedicto
  0

• SequencesExt issue?

  #86 opened 2 years ago by jackmalkovick
  3

• Request: Add string formatting operator

  #85 opened 2 years ago by jonesmartins
  11

• Add `Functions!RestrictPred` (Filter)

  #81 opened 2 years ago by lemmy
  0

• Replace definition of `FlattenSet` with `UNION`

  #74 opened 2 years ago by lemmy
  6

• Redefine restricted `SequencesExt!Zip`

  #78 opened 2 years ago by lemmy
  0

• Move DyadicRationals module from Weight-Throwing example

  #63 opened 2 years ago by lemmy
  0

• Remove Json module

  #77 opened 2 years ago by dariusf
  0

• Add URI-related operators to IOUtils

  #68 opened 3 years ago by lemmy
  0

• Add Fold operators for Bags.tla (in new BagsExt.tla)

  #64 opened 3 years ago by lemmy
  4

• FiniteSetsExt!Sum and FiniteSetsExt!Product easily name-clash

  #62 opened 3 years ago by lemmy
  1

• Add Java module override for `Folds`

  #43 opened 3 years ago by lemmy
  2

• TLC fails to evaluate `Graphs!Path` because of `Seq`

  #58 opened 3 years ago by lemmy
  0

• Problem using ReplaceFirstSubSeq and ReplaceAllSubSeqs with strings

  #57 opened 3 years ago by afonsonf
  2

• Add Apalache type annotations to CommunityModules

  #56 opened 3 years ago by lemmy
  8

• Configure an github action to run the tests in the Java 1.8 environment

  #32 opened 3 years ago by pfeodrippe
  2

• TLCExtTest.java fails when running on Java 1.8

  #34 opened 3 years ago by pfeodrippe
  5

• Add `SequencesExt!FirstMatch`

  #40 opened 3 years ago by lemmy
  1

• Add PlusPy's `Messaging.tla`

  #41 opened 4 years ago by lemmy
  1

• Documentation: broken urls for TLCExt.tla

  #51 opened 3 years ago by afonsonf
  1

• Bad format of Json trace printing

  #47 opened 3 years ago by tangruize
  12

• Add an SVG!Table/Grid of Text

  #50 opened 3 years ago by lemmy
  0

• Unit tests in `FiniteSetsExtTests` rely on specific line numbers

  #48 opened 3 years ago by will62794
  1

• Add symmetric set difference operator

  #46 opened 3 years ago by will62794
  10

• Add `IOUtils!IOEnv` that equals a record of all environment variables

  #36 opened 4 years ago by lemmy
  1

• How to write my operator which can be used in TLA+

  #42 opened 4 years ago by Tsunaou
  1

• Add `Reduce` operator to `Functions`

  #35 opened 4 years ago by lemmy
  12

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

  #39 opened 4 years ago by Alexander-N
  5

• ShiViz module error because operator definition override not visible when instance marked local

  #37 opened 4 years ago by Alexander-N
  9

• Better compatibility with TLAPS

  #27 opened 4 years ago by lemmy
  0

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

  #16 opened 5 years ago by lemmy
  6

• Make IOUtils compatible with Java 1.8

  #31 opened 4 years ago by pfeodrippe
  0

• Refactor JSON module to depend on Gson instead of Jackson

  #29 opened 4 years ago by lemmy
  2

• Support serializing to plain and newline-delimited JSON

  #25 opened 4 years ago by lemmy
  1

• Json!JsonSerialize does not accept relative path

  #24 opened 4 years ago by lemmy
  1

• ChooseOne operator

  #20 opened 4 years ago by mryndzionek
  9

• The latest version is incompatible with Toolbox < 1.7.1

  #22 opened 4 years ago by josedusol
  5

• SVG!Group expects *sequence* of elements

  #17 opened 5 years ago by lemmy
  2

• Add SVG!Svg element

  #18 opened 5 years ago by lemmy
  1