Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

VeyMont: parameterization syntax & AST changes #1281

Draft
wants to merge 35 commits into
base: dev
Choose a base branch
from
Draft

VeyMont: parameterization syntax & AST changes #1281

wants to merge 35 commits into from

Conversation

bobismijnnaam
Copy link
Contributor

Checklist:

  • The wiki is updated in accordance with the changes in this PR. For example: syntax changes, semantics changes, VerCors flags changes, etc.

PR description

@bobismijnnaam bobismijnnaam marked this pull request as draft November 19, 2024 16:08
@bobismijnnaam
Improve parser general error message
6ea3d61
@bobismijnnaam
Start integrating the pvl endpoint family nodes
1388686
@bobismijnnaam
Enable endpoint ranges in endpoint exprs
af2ea3e
@bobismijnnaam
Start working on subscript operation for endpoint families
8ab0c9d
@bobismijnnaam
AmbiguousSubscript now knows about EndpointFamilies
c13d809
@bobismijnnaam
Next up, teaching scopes about rangedbinder. also, maybe check for un…
0507248 
…sorted impls in the ci?
@bobismijnnaam
Tie PVLEndpoint into Endpoint
392fa50
@bobismijnnaam
Make progress towards tying PVLCommunicate into core col
dedbbef
@bobismijnnaam
forgot some files
e9561b8
@bobismijnnaam
Nice progress on refactoring towards (PVL)CommunicateTarget et al."
287390c
@bobismijnnaam
Commit before doing InferEndpointContexts refactor
c9a4acb
@bobismijnnaam
Outline how we will move away from EndpointName, and instead reuse Co…
a7ce7d0 
…mmunicateTarget within Expr for consistency
@bobismijnnaam
Before StratifyUnpointed refactor
23089c5
@bobismijnnaam
Finish full integration of CommunicateTarget migration
0ff72ed
@bobismijnnaam
Not sure why it is failing now
9401d0e
@bobismijnnaam
Add TraceOrigin. Get almost the entire technical veymont test suite w…
d722c64 
…orking again, barring one test. Finish up the last bits from the commtarget refactor.
@bobismijnnaam
Revert changes to add asserting/assuming expressions. This is now imp…
7ba053f 
…lemented in #1277.
@bobismijnnaam
Add reformat commits from me, philip
f6ab8ab
@bobismijnnaam
Get started on intersect
fde1216
@bobismijnnaam
Making progress on endpoint projection
19bbf72
@bobismijnnaam
Branch unanimity is closed to finished
ec820f1
@bobismijnnaam
Started working on the simplified (though less user-friendly) version…
44c2442 
… of branch unanimity
@bobismijnnaam
First run of branch unanimity works
3ea5010
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@bobismijnnaam