Chris Pacejo

REPL: definition support

35

Support definitions in REPL, to aid exploration of TLA by new users. Requested already in #586; here is a proposed design. The REPL should maintain a sequence of operator definitions...

HIDE X HIDE Y works but HIDE X, Y doesn't

1

This module: ``` ---- MODULE tlapmhidebug ---- AXIOM X == TRUE AXIOM Y == TRUE USE X, Y HIDE X, Y ==== ``` results in the backtrace: ``` $ tlapm...

Activity diagram input split (multi-start) doesn't work with EPS output

1

**Describe the bug** Activity diagram input split (multi-start) doesn't work with EPS output. **To Reproduce** Using the example from the manual: ``` @startuml split -[hidden]-> :A; split again -[hidden]-> :B;...

The "cancel" button only would cancel the first stop of a multistop.

typo caused set_ifelm not to work correctly

For empty waves (as can happen with a stop with repetitions) an uninitialized pointer got accessed during write to disk. (Only saw this happen on ARM.)