Closed rudynicolop closed 3 years ago
Merging the extant core-language syntax and static semantics into poulet4, a jumping off point for a new p4light branch. After this merge is completed coq-dev and the current p4light may be deleted.
poulet4
p4light
coq-dev
coq-dev has already been rebased on poulet4.
Happy Holidays!
Merging the extant core-language syntax and static semantics into
poulet4, a jumping off point for a newp4lightbranch. After this merge is completedcoq-devand the currentp4lightmay be deleted.coq-devhas already been rebased onpoulet4.Happy Holidays!