search

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.
https://distcompiler.github.io/
Apache License 2.0
173 stars 13 forks source link

Test apps #203

Closed shayanh closed 2 years ago

zgrannan commented 2 years ago

LGTM!

shizuko-akamoto commented 2 years ago

lgtm as well

shayanh commented 2 years ago

I'll merge this, but we should still continue the discussion for Zack's comment.