[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. 

Marco

On Mon, 15 Mar 2021, 20:43 Markus Kuppe, <tlaplus-google-group@xxxxxxxxxxx> wrote:
On 15.03.21 11:26, Marco Barbosa wrote:
> I need a python binding for TLA+ for my master's thesis, since I
> couldn't find anything online, I decided to develop one on my own. Just
> passing by to let you know, and check if someone would find this useful.
> Feel free to leave any suggestions.


PlusPy [1] might be interest here.

Markus

[1] https://github.com/tlaplus/PlusPy

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/okiCxO-V7jM/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2f1cf550-9f2f-f023-8e00-70a71a4ff2f4%40lemmster.de.

--
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.