Skip to content

Re-implement proto-translation based on newer alloy specifications#232

Merged
Baccata merged 7 commits intomainfrom rework-proto-translation-2Feb 21, 2024

Commits

Commits on Feb 1, 2024

Commits on Feb 2, 2024

Commits on Feb 6, 2024

Commits on Feb 20, 2024

Commits on Feb 21, 2024