/pyTLA

A transcompiler that writes PlusCal files from python bytecode/AST

Primary LanguagePython

No issues in this repository yet.