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

[tlaplus] TLC Development


I was trying to have a look at the source code of TLC to understand a bit more about the inner part of the model checking, but found it a bit overwhelming.

Is there any guide with how to configure the development environment, and how the code is structured?


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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/23f4912b-a5d6-4991-bc03-8f9202a60fd7n%40googlegroups.com.