Skip to content

Add alternative qualification tasks for Project 3.2#102

Open
jaehyun1ee wants to merge 1 commit intop4lang:mainfrom
jaehyun1ee:main
Open

Add alternative qualification tasks for Project 3.2#102
jaehyun1ee wants to merge 1 commit intop4lang:mainfrom
jaehyun1ee:main

Conversation

@jaehyun1ee
Copy link
Contributor

This PR adds three alternative qualification tasks for P4-SpecTec, given that having only one prior task limited the ability of contributors to work independently on distinct features:

  • Addressing the shortcomings of non-local type inference
  • Supporting +: slices
  • Modularizing table static semantics rules

Signed-off-by: jaehyun1ee <99jaehyunlee@kaist.ac.kr>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant