inference code with newer type definitions in inference.v
synthesis code with older type definitions in synthesis.v
read my thesis, PbE^2, for more details
expect progress and cleaner file structure soon™
-
Notifications
You must be signed in to change notification settings - Fork 0
gtanzer/verse
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published