hwayne/learntla-v2

Issues

• Typo in the CLI page about TLC usage

  #92 opened a month ago by fgmarand
  0

• Failing clocks example

  #91 opened a month ago by fgmarand
  0

• feature request: pluscal/tla cheatsheet

  #68 opened 2 years ago by acud
  3

• Port learntla text to VSCode

  #83 opened a year ago by sishtiaq
  7

• text seems to silently swap between examples

  #82 opened a year ago by keithb-coop
  1

• Integrate the TLA+ Web explorer

  #89 opened 4 months ago by hwayne
  0

• Let user choose between p- and c- syntax

  #88 opened 4 months ago by hwayne
  0

• A set of suggestions and confusing bits

  #37 opened 3 years ago by kkredit
  3

• Invariant checking doesn't work (?)

  #84 opened a year ago by thanhnguyen2187
  1

• Duplication checker: itself self-explanatory, text around it confusing

  #81 opened a year ago by keithb-coop
  0

• Vocabulary

  #80 opened a year ago by keithb-coop
  2

• Add Randomization.tla to Standard Modules

  #39 opened a year ago by lemmy
  1

• Typo in the number of functions when explaining function sets?

  #77 opened a year ago by all-seeing-code
  1

• feature request: all images should be clickable

  #67 opened 2 years ago by acud
  5

• Update sphinx from 4.4.0 to 7.2.2

  #76 opened 2 years ago by hwayne
  0

• clarification on efficiency of CHOOSE in introduction

  #45 opened 2 years ago by cwlucas41
  1

• Warn that a set has to be symmetric when it is declared symmetric

  #75 opened 2 years ago by lemmy
  0

• Mention operator re-definitions

  #74 opened 2 years ago by lemmy
  0

• Java module overrides are hard

  #73 opened 2 years ago by lemmy
  0

• Consider mentioning TLAPS in "Refactor Properties"

  #71 opened 2 years ago by lemmy
  0

• Reduce memory allocation Windows issue

  #72 opened 2 years ago by lemmy
  0

• syntax highlighting bug in Structured Data part

  #62 opened 2 years ago by acud
  1

• fix typo: remove "far" from "That's why concurrency errors are so far hard to find."

  #61 opened 2 years ago by simondorfman
  0

• Structured data chapter improvements

  #63 opened 2 years ago by acud
  0

• Improvements to Operators and Value chapter

  #60 opened 2 years ago by acud
  0

• confusion about the text "writing `INVARIANT P`"

  #47 opened 2 years ago by cwlucas41
  0

• clarification on EXCEPT

  #48 opened 2 years ago by cwlucas41
  2

• clarification on fairness

  #49 opened 2 years ago by cwlucas41
  0

• Bug in the LET sample sepc

  #56 opened 2 years ago by gdymind
  1

• Come up with good exercises

  #43 opened 2 years ago by hwayne
  1

• Feature Request: eBook build target

  #50 opened 2 years ago by rljacobson
  2

• clarification on model checking completion vs. system termination

  #46 opened 2 years ago by cwlucas41
  0

• confusion about labels in overview -> specification

  #44 opened 2 years ago by cwlucas41
  1

• Clarify the 8 existing TLA+ types

  #23 opened 2 years ago by jmg-duarte
  5

• On the size of `SUBSET ClockType`

  #35 opened 2 years ago by wchargin
  6

• Ever checked the https://lamport.azurewebsites.net/tla/practical-tla.html?

  #40 opened 2 years ago by leiless
  2

• Clarify model for the threads example

  #30 opened 3 years ago by ramz-san
  1

• "hundreds in thousands"

  #31 opened 3 years ago by frankshearar
  0

• "And if you’re not already testing, TLA+ isn’t the best investment.2"

  #21 opened 3 years ago by frankshearar
  2

• Error in definition of IsComposite

  #29 opened 3 years ago by ramz-san
  2

• Cutoff sentence in "Writing Specifications"

  #26 opened 3 years ago by kvakil
  2

• How to make a scratch file?

  #25 opened 3 years ago by louy2
  3

• Error in definition of IsComposite

  #28 opened 3 years ago by ramz-san
  1

• "DSL" in the FAQ

  #19 opened 3 years ago by frankshearar
  1

• "the field of computer scientist" in FAQ - "computer science"?

  #20 opened 3 years ago by frankshearar
  1

• Make a 404 page that tells people about the legacy site

  #9 opened 3 years ago by hwayne
  1

• Core->Setup: No Overdrafts in Invariants results in error

  #15 opened 3 years ago by Svintooo
  5

• Typo in example or guard semantics unclear?

  #11 opened 3 years ago by asolove
  1

• Graphviz renderings are broken

  #8 opened 3 years ago by hwayne
  1

• Stylistic choice: core/Core/The Core

  #7 opened 3 years ago by th
  1