Skip to content

Create lexicographic ordering for expressions #107

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
Open
dtarditi opened this issue Jan 14, 2017 · 1 comment
Open

Create lexicographic ordering for expressions #107

dtarditi opened this issue Jan 14, 2017 · 1 comment
Assignees
@dtarditi
Labels
work item This labels issues that are not exactly bugs but are about improvements.
Milestone
Static checking: ...

Comments

@dtarditi
Copy link
Member

For canonicalization of commutative operations in non-modifying expressions, we need a lexicographic ordering.
@dtarditi dtarditi added this to the Sprint 12 milestone Jan 14, 2017
@dtarditi dtarditi self-assigned this Jan 14, 2017
@dtarditi dtarditi added the work item This labels issues that are not exactly bugs but are about improvements. label Mar 17, 2017
@dtarditi dtarditi mentioned this issue Mar 17, 2017
Open
@dtarditi dtarditi modified the milestones: Simple static checking, Milestone 12 Mar 18, 2017
@dtarditi
Copy link
Member Author

PR #335 implements most of this. We still need to implementat a lexicographic ordering on types and a few expression.

@dtarditi dtarditi mentioned this issue Jun 29, 2017
Merged
dtarditi pushed a commit that referenced this issue Aug 12, 2020
@mwhicks1
Merge pull request #107 from plum-umd/iss106
ad6192b 
Address #106 ; will continue to investigate
dopelsunce pushed a commit to dopelsunce/checkedc-clang that referenced this issue Sep 28, 2020
@lenary
Adds non-modifying expressions check for bounds annotations (checkedc…
5dd8147 
…#107)

These are the tests to go along with checkedc#129

I've had to comment out the checked version of wctomb because the bounds use a macro that expand into a call.
This was referenced Jan 15, 2022
Closed
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dtarditi dtarditi

Labels
work item This labels issues that are not exactly bugs but are about improvements.
Projects
None yet
Milestone
Static checking: simple checking
Development

No branches or pull requests
1 participant
@dtarditi