Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 12, 2023

• Merge pull request #1 from simondorfman/simondorfman-patch-1

  simondorfman

  committedJul 12, 2023
  8adbaac

• Update conceptual-overview.rst

  simondorfman

  committedJul 12, 2023
  0309ca4

Commits on Jul 5, 2023

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

  

  federicobond

  and

  hwayne

  committedJul 5, 2023
  8f7d7eb

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

  hwayne

  committedJul 5, 2023
  9b2fe1b

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

  hwayne

  committedJul 5, 2023
  292f4e5

• Update README.md (hwayne#55)

  oyendrila-dobe

  committedJul 5, 2023
  04a51ef

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

  federicobond

  committedJul 5, 2023
  e3acee0

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

  federicobond

  committedJul 5, 2023
  6a4eb9d

Commits on Jun 27, 2023

• Add unbound models topic

  hwayne

  committedJun 27, 2023
  81813f5

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

  hwayne

  committedJun 27, 2023
  1768190

Commits on Apr 11, 2023

• --amend

  hwayne

  committedApr 11, 2023
  5cbed5e

• Add explanation that \X is not associative

  hwayne

  committedApr 11, 2023
  ea7efec

Commits on Mar 3, 2023

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

  hwayne

  committedMar 3, 2023
  eb196bf

• Add CHECK_DEADLOCK to cli

  hwayne

  committedMar 3, 2023
  30d08d8

Commits on Jan 27, 2023

• Fix? image caption (hwayne#51)

  bnm3k

  committedJan 27, 2023
  b0382a1

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

  pfeodrippe

  committedJan 27, 2023
  8288ac2

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

  frankshearar

  committedJan 27, 2023
  8b50ede

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

  frankshearar

  committedJan 27, 2023
  3c7fb4b

Commits on Jan 16, 2023

• Fix a TLA+ typo

  hwayne

  committedJan 16, 2023
  1cfd5b7

Commits on Jan 13, 2023

• Add to whatsnew

  hwayne

  committedJan 13, 2023
  cd509c6

• Add message queues

  hwayne

  committedJan 13, 2023
  48aa297

Commits on Nov 11, 2022

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

  hwayne

  committedNov 11, 2022
  d784a6d

• Update whatsnew

  hwayne

  committedNov 11, 2022
  057bed6

• Fix issue hwayne#23

  hwayne

  committedNov 11, 2022
  8c188b7

• Fix issue hwayne#5

  hwayne

  committedNov 11, 2022
  7ce3ac8

• Some of the requests in hwayne#37

  hwayne

  committedNov 11, 2022
  910d6e3

• Add partitions example

  hwayne

  committedNov 11, 2022
  9f34dc0

Commits on Oct 28, 2022

• core/temporal-logic: Fix typos (hwayne#42)

  amboar

  committedOct 28, 2022
  1925cc2

Commits on Sep 5, 2022

• Remove the one use of a comma switch in raw specs

  hwayne

  committedSep 5, 2022
  709ac30

Commits on Sep 4, 2022

• Fix a few typos and formatting errors (hwayne#36)

  

  Kevin Kredit

  committedSep 4, 2022
  027220c

• fix argument name in RangeStruct (hwayne#38)

  elh

  committedSep 4, 2022
  e7a2c3d

Commits on Aug 1, 2022

• Pluscal summary fixes (hwayne#33)

  amboar

  committedAug 1, 2022
  371767f

• core: invariants: Fix 'index' typo (hwayne#34)

  amboar

  committedAug 1, 2022
  f0b81ea

Commits on Jul 25, 2022

• fix inconsistencies in hourclock example (hwayne#32)

  ramz-san

  committedJul 25, 2022
  63aeb60

• Fix hwayne#30, hwayne#31

  hwayne

  committedJul 25, 2022
  fc6cb16

Pagination

PreviousNext