Part II Project at the University of Cambridge - an incremental type checker for a subset of C using DDlog. A full description of the project can be found in the accompanying dissertation. Highly experimental at the moment so especially the tree differencing is not entirely correct (especially in edge cases since sufficient testing is missing).
-
Notifications
You must be signed in to change notification settings - Fork 0
An incremental type checker for a subset of C using DDlog.
License
tatiana-s/cerium
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An incremental type checker for a subset of C using DDlog.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published