A transcompiler that writes PlusCal files from python bytecode/AST
Primary LanguagePython
No issues in this repository yet.