Commit Graph

4 Commits (a574e95dcde2d3bbb399b025f515ccd062abeeca)

Author SHA1 Message Date
James Bardin 893a5336d8 don't lose warnings from static validation
4 years ago
Alisdair McDiarmid a95ad997e1 core: Document postconditions as valid use of self
4 years ago
Martin Atkins ab350289ab addrs: Rename AbsModuleCallOutput to ModuleCallInstanceOutput
5 years ago
Martin Atkins cdd9464f9a Move lang/ to internal/lang/
5 years ago