Frederic G. MARAND

icon indicating a website link https://osinet.fr/go/en/

icon company OSInet icon location Paris, France icon location Author of "Le Langage Go - les fondamentaux du langage" (Dunod Ed.). Senior software engineer, @deliveroo Contributor/maintainer Drupal 11,10,9,8,7,6,5,4

Results 4 issues of Frederic G. MARAND

Typo in the CLI page about TLC usage

On the CLI page at https://www.learntla.com/topics/cli.html The TLC syntax is given as `$ java -jar tla2tools.jar -config configfile.cfg specfile.tla` However, this is missing the TLC class, and should instead be:...

Failing clocks example

On the TLA+ page https://www.learntla.com/core/tla.html the basic clock example and the second one work, but I had to stop the non-deterministic example at https://www.learntla.com/_downloads/148bdcbbec03267f2a9e389fc05ff863/hourclock.tla after 250M states found. Here is...

Possible error in sequence diagram in md_INTRODUCTION.html

The sequence diagram for the consumer group appears to have an error on the second rebalance the coordinator seems more likely to return a response than a request. ![Image](https://github.com/user-attachments/assets/acb74f34-8f46-484d-901f-89633197bf8f)

Plugin throws exception when not in active use

**Describe the bug** **To reproduce** 1. Install plugin to GoLand 2. Open project. Plugin has no opened chat view. 3. Run a Go test suite with coverage run configuration, with...

bug