DistCompiler/pgo
View on GitHub ↗ ★ 212 TLA
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2018-03-13 · latest 2021-03-31
20082026
-
The other one I know about is PGo, which is a bidirectional go-pluscal compiler: https://github.com/UBC-NSS/pgo
comment by hwayne · 2021-03-31 · in TLA+ Action Properties -
▲ 1
PGo is a source to source compiler to compile PlusCal into Go/TLA+story by ngaut · 2018-08-30 · 1 comment
-
…it has never been achieved for any but very small programs (and even then at great cost). [1]: https://github.com/UBC-NSS/pgo
comment by pron · 2018-03-13 · in Modeling Redux with TLA+