Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 22, 2023

• Streamline operator names.

  lemmy

  committed
  c60e5a7

  Copy full SHA for c60e5a7

• Support dynamic vector clocks.

  lemmy

  committed
  e5700b6

  Copy full SHA for e5700b6

• Add VectorClocks module.

  Show description for 8b928b1
  lemmy

  committed
  8b928b1

  Copy full SHA for 8b928b1

• ant installation fails without initializing apt repository first.

  lemmy

  committed
  99c5a5d

  Copy full SHA for 99c5a5d

• Use tla2tools.jar installed as part of devcontainer installation rather than the ant build.

  lemmy

  committed
  d851ac0

  Copy full SHA for d851ac0

Commits on Feb 9, 2023

• Ignore empty lines when deserializing ndjson.

  Show description for e17420d
  lemmy

  committed
  e17420d

  Copy full SHA for e17420d

Commits on Nov 18, 2022

• Update usage docs (#83)

  dariusf

  authored
  626a6bd

  Copy full SHA for 626a6bd

Commits on Nov 1, 2022

• Bring a spec's variables values into canonical form when serializing via

  Show description for 7373da0
  lemmy

  committed
  7373da0

  Copy full SHA for 7373da0

• Function restriction based on a test predicate (#82)

  Show description for 489852f
  muenchnerkindl

  authored
  489852f

  Copy full SHA for 489852f

Commits on Oct 23, 2022

• Replace definition of FlattenSet with UNION

  Show description for ef67ed9
  lemmy

  committed
  ef67ed9

  Copy full SHA for ef67ed9

• Redefined Zip to accept arguments of different lengths

  Show description for cb38ca3
  muenchnerkindl

  authored
  cb38ca3

  Copy full SHA for cb38ca3

Commits on Oct 17, 2022

• Add `SequencesExt!Select(Last)In(Sub)Seq`.

  Show description for 51902eb
  lemmy

  committed
  51902eb

  Copy full SHA for 51902eb

Commits on Oct 14, 2022

• Java module override for `Functions!IsInjective` destructively mutates a

  Show description for 8540cb6
  lemmy

  committed
  8540cb6

  Copy full SHA for 8540cb6

• Add Java module override for SequencesExt!IsPrefix.

  Show description for e6cb99d
  lemmy

  committed
  e6cb99d

  Copy full SHA for e6cb99d

Commits on Oct 3, 2022

• Port TLC commit https://github.com/tlaplus/tlaplus/commit/79dd4eadecf16513470dd805aae1bd2a22898810

  Show description for 97f9fda
  lemmy

  committed
  97f9fda

  Copy full SHA for 97f9fda

Commits on Sep 21, 2022

• Add `Statistics!ChiSquare` operator implemented with Apache Commons

  Show description for bdc9eff
  lemmy

  committed
  bdc9eff

  Copy full SHA for bdc9eff

Commits on Sep 20, 2022

• No need for the module override to be synchronized.

  Show description for da543f2
  lemmy

  committed
  da543f2

  Copy full SHA for da543f2

Commits on Sep 19, 2022

• Add DyadicRationals module.

  Show description for 781d419
  lemmy

  committed
  781d419

  Copy full SHA for 781d419

Commits on Aug 26, 2022

• Fix the order of the arguments in ReduceSet (#76)

  Show description for 9a76515
  konnov

  authored
  9a76515

  Copy full SHA for 9a76515

Commits on Apr 26, 2022

• Add Citation file

  lemmy

  authored
  beb1b41

  Copy full SHA for beb1b41

Commits on Apr 10, 2022

• Avoid name clashes with Sum and Product.

  Show description for c66dc93
  lemmy

  committed
  c66dc93

  Copy full SHA for c66dc93

Commits on Mar 23, 2022

• Attempted to apply the operator overridden by the Java method

  Show description for e88b553
  lemmy

  committed
  e88b553

  Copy full SHA for e88b553

• public static tlc2.value.impl.Value tlc2.overrides.SVG.directedMultiGraph(tlc2.value.impl.SetEnumValue,tlc2.value.impl.SetEnumValue,tlc2.value.impl.RecordValue) throws java.lang.Exception,

  Show description for 0e6ffe5
  lemmy

  committed
  0e6ffe5

  Copy full SHA for 0e6ffe5

Commits on Mar 22, 2022

• Align SequencesExt!Zip with the usual definition in PLs.

  Show description for 50999d7
  

  konnov

  authored and

  lemmy

  committed
  50999d7

  Copy full SHA for 50999d7

• Rename SequencesExt!Zip to SequencesExt!Interleave in preparation

  Show description for 4e523a6
  lemmy

  committed
  4e523a6

  Copy full SHA for 4e523a6

• Strengthen test for SequencesExt!ReplaceAllSubSeqs

  Show description for f44502f
  lemmy

  committed
  f44502f

  Copy full SHA for f44502f

Commits on Mar 19, 2022

• Add SequencesExt!SetToAllKPermutations.

  Show description for 48d8f59
  lemmy

  committed
  48d8f59

  Copy full SHA for 48d8f59

• Add SequencesExt!SetToSeqs.

  Show description for b378103
  lemmy

  committed
  b378103

  Copy full SHA for b378103

Commits on Mar 6, 2022

• Add Graphs!ConnectedIn(G)

  Show description for a40c8c7
  

  muenchnerkindl

  authored and

  lemmy

  committed
  a40c8c7

  Copy full SHA for a40c8c7

Commits on Feb 10, 2022

• Add gitpod.io config

  Show description for 07ef2bc
  lemmy

  committed
  07ef2bc

  Copy full SHA for 07ef2bc

Commits on Feb 8, 2022

• Build CommunityModules before installing TLAPS and Apalache.

  Show description for 518ab57
  lemmy

  authored
  518ab57

  Copy full SHA for 518ab57

• Debug Java Module Overrides.

  Show description for fa56d3f
  lemmy

  authored
  fa56d3f

  Copy full SHA for fa56d3f

• https://github.com/jgrapht/jgrapht/issues/1112

  Show description for da0fb2c
  lemmy

  authored
  da0fb2c

  Copy full SHA for da0fb2c

• Automatically run smoke tests when a contributor modifies a module or its (TLA+) test.

  Show description for 4be1913
  lemmy

  authored
  4be1913

  Copy full SHA for 4be1913

• Move VSCode settings out of .devcontainer/devcontainer.json to .vscode/settings.json.

  Show description for 34b5254
  lemmy

  authored
  34b5254

  Copy full SHA for 34b5254

Pagination

Previous

Next