[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Python binding
Thanks for the reply Markus. PlusPy is in fact interesting, but I want to do the reverse, that is I want to create an AST and from that produce a TLA spec that I can run in TLC. Neverthless, the class structure of PlusPy might be useful.
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/CAL2Uge9jZ1uyNSCVQmLrkHo3ETB13%2BH7jgBvPUe4dOZL0T14zQ%40mail.gmail.com.