This has mostly been addressed in #304 but there are a few more things left to do.
[ ] rename deps/poulet4/lib/P4cub/Semantics/Climate.v into Environment.v or something similar
[ ] Split P4light/Semantics into Static/ and Dynamic/ subfolders
[ ] Rename Semantics.v into BigStep.v
[ ] Merge Typed.v and Syntax.v
[ ] Merge Util/ folder with its parent folder deps/poulet4/lib/Utils/
Furthermore it may be possible to move the architecture folder to the toplevel & to remove any dependencies it has on p4light syntax, particularly p4light values.
This has mostly been addressed in #304 but there are a few more things left to do.
Furthermore it may be possible to move the architecture folder to the toplevel & to remove any dependencies it has on
p4light
syntax, particularlyp4light
values.