Commits

Branch selector

 26cc144

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 30, 2024

• fix formatting

  fhackett

  committed
  26cc144

  Copy full SHA for 26cc144

• more TLA+ units

  fhackett

  committed
  9e87397

  Copy full SHA for 9e87397

Commits on Oct 29, 2024

• add TokenSrc

  fhackett

  committed
  6e75743

  Copy full SHA for 6e75743

• fix SourceRange writing too many markers in showInSource

  fhackett

  committed
  df48ea3

  Copy full SHA for df48ea3

Commits on Oct 28, 2024

• add more TLA+ units, consider TLA+2

  fhackett

  committed
  dce5aeb

  Copy full SHA for dce5aeb

• fix CI tests name

  fhackett

  committed
  2d19b56

  Copy full SHA for 2d19b56

• change CI to track scala-cli main

  fhackett

  committed
  6c7527d

  Copy full SHA for 6c7527d

Commits on Oct 25, 2024

• implement Node.Embed related stubs

  fhackett

  committed
  de81fac

  Copy full SHA for de81fac

• java 11 compatibility

  fhackett

  committed
  5762f39

  Copy full SHA for 5762f39

• fix license-check name

  fhackett

  committed
  c59f655

  Copy full SHA for c59f655

• fix updateLicense scalafmt

  fhackett

  committed
  5541e50

  Copy full SHA for 5541e50

• CI attempt 3

  fhackett

  committed
  4fe8666

  Copy full SHA for 4fe8666

• better command-line for updateLicense

  fhackett

  committed
  ea4c562

  Copy full SHA for ea4c562

• CI attempt 2

  fhackett

  committed
  91f5da5

  Copy full SHA for 91f5da5

• CI attempt 1

  fhackett

  committed
  f178e91

  Copy full SHA for f178e91

• add license info + update script

  fhackett

  committed
  b7e7dcb

  Copy full SHA for b7e7dcb

• safety commit 2

  fhackett

  committed
  ed57bd8

  Copy full SHA for ed57bd8

• safety commit before applying license

  fhackett

  committed
  92106d9

  Copy full SHA for 92106d9

• initial license w/ updater

  fhackett

  committed
  236ec94

  Copy full SHA for 236ec94

Commits on Oct 24, 2024

• add README

  fhackett

  committed
  54c0024

  Copy full SHA for 54c0024

• proper opDecl TLA+ pattern

  fhackett

  committed
  88c7165

  Copy full SHA for 88c7165

• add keywords pass to TLA+, preliminary auto strip comments

  fhackett

  committed
  76440ef

  Copy full SHA for 76440ef

• add bottomUp pass strategy

  fhackett

  committed
  18f9483

  Copy full SHA for 18f9483

• do a little more compile-time work to avoid eof1 and trailing1

  fhackett

  committed
  12673b7

  Copy full SHA for 12673b7

Commits on Oct 23, 2024

• replace Pattern with simpler SeqPattern

  fhackett

  committed
  f9b793a

  Copy full SHA for f9b793a

Commits on Oct 22, 2024

• add pass sequence system

  fhackett

  committed
  9dcfd5e

  Copy full SHA for 9dcfd5e

• improve pattern Fields, recognize more TLA+ units

  fhackett

  committed
  14d183c

  Copy full SHA for 14d183c

• add TLA+ function definition shorthand

  fhackett

  committed
  db3ec2c

  Copy full SHA for db3ec2c

• also clone submodules for TLA+ corpus tests

  fhackett

  committed
  1dda601

  Copy full SHA for 1dda601

Commits on Oct 21, 2024

• sanity restored: unit defns WF correctly identifies unimplemented function def case

  fhackett

  committed
  792ee01

  Copy full SHA for 792ee01

• WIP: adding Wellformed to TLA+, making it usable

  fhackett

  committed
  a91a1ea

  Copy full SHA for a91a1ea

Commits on Oct 17, 2024

• TLA+ parser round 1. TODO: check outputs against Wellformed

  fhackett

  committed
  d6e9167

  Copy full SHA for d6e9167

Commits on Oct 16, 2024

• add LET groups to TLA+ reader

  fhackett

  committed
  9e6f52a

  Copy full SHA for 9e6f52a

• attempt tabling optimization

  fhackett

  committed
  b4b083d

  Copy full SHA for b4b083d

Commits on Oct 15, 2024

• try to add non-once pass

  fhackett

  committed
  6141e4d

  Copy full SHA for 6141e4d

Pagination

Previous

Next