Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 2, 2023

• Remove a dangly

  hwayne

  committed
  f2a2078

  Copy full SHA for f2a2078

• Fix math formatting, add one more tip

  hwayne

  committed
  15936c1

  Copy full SHA for 15936c1

• Forgot a bunch of critical files whoops

  hwayne

  committed
  145a3de

  Copy full SHA for 145a3de

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committed
  92c7595

  Copy full SHA for 92c7595

• Fix wrong path separate in optimizations

  hwayne

  committed
  4ce3cc2

  Copy full SHA for 4ce3cc2

• fix: malformed math syntax highlighting (hwayne#64)

  acud

  authored
  efd4449

  Copy full SHA for efd4449

• Add topic on optimizations (hwayne#69)

  Show description for fb71ddb
  hwayne

  authored
  fb71ddb

  Copy full SHA for fb71ddb

Commits on Jul 31, 2023

• Merge pull request hwayne#65 from acud:fix-type

  Show description for 6140c1b
  hwayne

  authored
  6140c1b

  Copy full SHA for 6140c1b

Commits on Jul 22, 2023

• fix: remove unnecessary wording (hwayne#66)

  acud

  authored
  ece2604

  Copy full SHA for ece2604

Commits on Jul 21, 2023

• Add introduction redirect

  hwayne

  committed
  b60976f

  Copy full SHA for b60976f

• fix small typo

  hwayne

  committed
  6b9da89

  Copy full SHA for 6b9da89

Commits on Jul 15, 2023

• chore: fix small typo

  acud

  committed
  b3013c1

  Copy full SHA for b3013c1

Commits on Jul 5, 2023

• Fix fairness expressions in TLA+ section to avoid confusion (hwayne#59)

  Show description for 8f7d7eb
  

  federicobond

  and

  hwayne

  authored
  8f7d7eb

  Copy full SHA for 8f7d7eb

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committed
  9b2fe1b

  Copy full SHA for 9b2fe1b

• Fix hwayne#49, hwayne#48, hwayne#47

  hwayne

  committed
  292f4e5

  Copy full SHA for 292f4e5

• Update README.md (hwayne#55)

  Show description for 04a51ef
  oyendrila-dobe

  authored
  04a51ef

  Copy full SHA for 04a51ef

• Fix BecomesNull argument in Action Properties example (hwayne#57)

  Show description for e3acee0
  federicobond

  authored
  e3acee0

  Copy full SHA for e3acee0

• Fix await statement in TLA+ section (hwayne#58)

  federicobond

  authored
  6a4eb9d

  Copy full SHA for 6a4eb9d

Commits on Jun 27, 2023

• Add unbound models topic

  hwayne

  committed
  81813f5

  Copy full SHA for 81813f5

• Fix small issues, add more info on CLI command line options, function ops

  hwayne

  committed
  1768190

  Copy full SHA for 1768190

Commits on Apr 11, 2023

• --amend

  hwayne

  committed
  5cbed5e

  Copy full SHA for 5cbed5e

• Add explanation that \X is not associative

  hwayne

  committed
  ea7efec

  Copy full SHA for ea7efec

Commits on Mar 3, 2023

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committed
  eb196bf

  Copy full SHA for eb196bf

• Add CHECK_DEADLOCK to cli

  hwayne

  committed
  30d08d8

  Copy full SHA for 30d08d8

Commits on Jan 27, 2023

• Fix? image caption (hwayne#51)

  Show description for b0382a1
  bnmoch3

  authored
  b0382a1

  Copy full SHA for b0382a1

• Fix typo at Understanding the Syntax section (hwayne#52)

  Show description for 8288ac2
  pfeodrippe

  authored
  8288ac2

  Copy full SHA for 8288ac2

• ~ is everywhere styled, except this one place. (hwayne#53)

  frankshearar

  authored
  8b50ede

  Copy full SHA for 8b50ede

• Reference Sequence's definition from the Functions page. (hwayne#54)

  frankshearar

  authored
  3c7fb4b

  Copy full SHA for 3c7fb4b

Commits on Jan 16, 2023

• Fix a TLA+ typo

  hwayne

  committed
  1cfd5b7

  Copy full SHA for 1cfd5b7

Commits on Jan 13, 2023

• Add to whatsnew

  hwayne

  committed
  cd509c6

  Copy full SHA for cd509c6

• Add message queues

  hwayne

  committed
  48aa297

  Copy full SHA for 48aa297

Commits on Nov 11, 2022

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committed
  d784a6d

  Copy full SHA for d784a6d

• Update whatsnew

  hwayne

  committed
  057bed6

  Copy full SHA for 057bed6

• Fix issue hwayne#23

  hwayne

  committed
  8c188b7

  Copy full SHA for 8c188b7

• Fix issue hwayne#5

  hwayne

  committed
  7ce3ac8

  Copy full SHA for 7ce3ac8

Pagination

Previous

Next