Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 3, 2021

• Upgrade instructions for 1.0.1

  japgolly

  committedMar 3, 2021
  829f6a2

Commits on Mar 2, 2021

• Setting version to 1.0.2-SNAPSHOT

  japgolly

  committedMar 2, 2021
  8945488

• Setting version to 1.0.1

  japgolly

  committedMar 2, 2021
  e1e9d16

• Upgrade deps

  japgolly

  committedMar 2, 2021
  eccfdc7

• Merge pull request #2 from japgolly/tea

  japgolly

  committedMar 2, 2021
  275afb9

• Refactor

  japgolly

  committedMar 2, 2021
  4a11af6

• Ignore location in error traces from Toolbox

  japgolly

  committedMar 2, 2021
  967e681

• Support parsing error traces from Toolbox

  japgolly

  committedMar 2, 2021
  16c7e24

Commits on Dec 22, 2020

• Update README.md

  japgolly

  committedDec 22, 2020
  cbccc19

Commits on Dec 15, 2020

• Fix timed tests finishing too fast

  japgolly

  committedDec 15, 2020
  21b2856

Commits on Dec 14, 2020

• Explain purpose and demonstrate use

  japgolly

  committedDec 14, 2020
  9ca4d99

• Add installation instructions

  japgolly

  committedDec 14, 2020
  01d27c8

• Release improvements

  japgolly

  committedDec 14, 2020
  48861e6

• Setting version to 1.0.1-SNAPSHOT

  japgolly

  committedDec 14, 2020
  3dff175

• Setting version to 1.0.0

  japgolly

  committedDec 14, 2020
  878a71c

• Build assembly on release

  japgolly

  committedDec 14, 2020
  684d1e6

• Rename Main => CLI

  japgolly

  committedDec 14, 2020
  792aae3

• Remove unused import

  japgolly

  committedDec 14, 2020
  551fb34

• Parse dumps from CLI

  japgolly

  committedDec 14, 2020
  a500471

• Parse state dumps

  japgolly

  committedDec 14, 2020
  f5f87e5

• Change Vectors to ArraySeqs

  japgolly

  committedDec 14, 2020
  45897a6

Commits on Dec 9, 2020

• Decided to release fatjar via Github instead of Maven Central

  japgolly

  committedDec 9, 2020
  24f82b1

• Add ability to release

  japgolly

  committedDec 9, 2020
  1f5299b

• Add .github/FUNDING.yml

  japgolly

  committedDec 9, 2020
  f00ce09

• Add CI mode and drastically increase time limit

  japgolly

  committedDec 9, 2020
  60aecb9

• Rename to tla2json

  japgolly

  committedDec 9, 2020
  dda7c26

Commits on Dec 8, 2020

• Add --diff

  japgolly

  committedDec 8, 2020
  b2582cf

• New CLI option: --full-last-step

  japgolly

  committedDec 8, 2020
  22a4644

• Replace CharPred.rep with CharsWhile

  japgolly

  committedDec 8, 2020
  5753cf6

• Handle noise around steps

  japgolly

  committedDec 8, 2020
  a02b33c

• Fix (a :> b) toJson

  japgolly

  committedDec 8, 2020
  3f673de

• Handle stuttering steps

  japgolly

  committedDec 8, 2020
  cea480b

• Handle successful model check output

  japgolly

  committedDec 8, 2020
  05d34cc

Commits on Dec 7, 2020

• Switch case of short flags

  japgolly

  committedDec 7, 2020
  b3c446c

• Add -S to sort keys

  japgolly

  committedDec 7, 2020
  0de33de

Pagination

PreviousNext