M-Labs
/
nac3
8
0
Fork 5
Code Issues 87 Pull Requests 3 Releases Wiki Activity

KernelInvariant #114

Merged
sb10q merged 4 commits from KernelInvariant into master 2021-11-28 12:49:31 +08:00
Conversation 0 Commits 4 Files Changed 13
pca006132 commented 2021-11-27 21:33:47 +08:00

Kernel invariant support. Module type support is not included yet.

This includes both type checking that makes sure invariants are not modified, and codegen that does constant folding. Invariants that cannot be folded will not be warned for now.

Kernel invariant support. Module type support is not included yet. This includes both type checking that makes sure invariants are not modified, and codegen that does constant folding. Invariants that cannot be folded will not be warned for now.
pca006132 added 4 commits 2021-11-27 21:33:48 +08:00
sb10q merged commit 14119a2c80 into master 2021-11-28 12:49:31 +08:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
UROP0622
   
future-extension
   
high-priority
   
low-priority
No Label
UROP0622
future-extension
high-priority
low-priority
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: M-Labs/nac3#114
There is no content yet.
Delete Branch "KernelInvariant"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?