Python binding

[Marco Barbosa]

Hi guys,

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.

Thanks,

Marco

[Isaac DeFrain]

Hey Marco,

Do you have a public repo somewhere?

Best,

Isaac

--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0c38edea-a9d6-4bde-9dfc-db47ca604e69n%40googlegroups.com.

--

Isaac DeFrain

[Marco Barbosa]

https://github.com/barbosamarco4/PyLA

Sorry, I forgot to leave the link, here you have. Keep I'm mind this is in a very early stage.

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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAM3xQxG1fRiAM3uPZELJY7b6LFcd%2BF4OO6Tg8m7HQxVqay%3Dpaw%40mail.gmail.com.

[Markus Kuppe]

PlusPy [1] might be interest here.

Markus

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

[Marco Barbosa]

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

--
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+u...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2f1cf550-9f2f-f023-8e00-70a71a4ff2f4%40lemmster.de.