Evaluation tool for honours report.
- Breakdown loop invariants of a Whiley program
- Minimize the total number of loop invariants to what is required to compile successfully.
- Report the results
-
Notifications
You must be signed in to change notification settings - Fork 0
Evaulation tool for honours report
License
dbanetto/WyEval
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Evaulation tool for honours report
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published