KernelInvariant #114

Merged
sb10q merged 4 commits from KernelInvariant into master 2021-11-28 12:49:31 +08:00
Contributor

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.
No reviewers
No Milestone
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.