William Schultz
William Schultz
Also, I am using the following version of tlapm: ``` 1.4.5 (build 33809) ``` on an M1 Macbook Air, macOS 11.4.
@johnyf Any initial thoughts on what might be causing this error?
@lemmy As far as I can recall, there were no major hiccups. I think I did the installation a few months ago (April 2021 perhaps?), using [these instructions](https://tla.msr-inria.inria.fr/tlaps/content/Download/Binaries/MacOS.html), and things...
Note: When using Z3 as a backend solver, I believe this can be worked around by manually specifying a timeout in the Z3 arguments e.g. giving a timeout of 100...
See module notes: http://lamport.azurewebsites.net/tla/newmodule.html.
Preliminary implementation in 6c12345, starting with limited support of `EXTENDS` based imports. Handling `INSTANCE` based imports is a remaining task. Will also need to handle `LOCAL INSTANCE` semantics.
> This is amazingly cool, thank you for making this. Thanks, glad you like it! > Is it something I can embed in another website? If so, how? Yes, in...
See 538d398.
Further progress towards module instantiation in 64a44dc. Does not yet include full handling of parameterized instantiation.
And initial handling of parameterized module instantiation in 799f00d. Proper support of `LOCAL` definitions also still needed.