[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Modeling a Hash

On 19.02.19 11:03, dominik.tornow@xxxxxxxxx wrote:
> Thank you Andrew for sharing your experience. I tend to prefer option 3, I guess it's time to dust off javac. I will update this thread in case I have a working solution.

Hi Dominik,

you might want to read over my response [1] to Andrew's question on
StackOverflow.  It shows how to create a TLC module overwrite.


[1] https://stackoverflow.com/a/54757162/6291195

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.