M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 99 Pull Requests 19 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 +665 -303
pca006132 commented 2021-11-27 21:33:47 +08:00
Contributor
Copy Link

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   
future-extension

   
high-priority

   
low-priority

   
UROP0622
No Label
future-extension
high-priority
low-priority
UROP0622
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
No description provided.
Delete Branch "KernelInvariant"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?