SATCanonizer and ConstantPropagation are functional. Test cases for ConstantPropagation have been slightly adjusted to accommodate the order through which the Expressions are returned when serialized (e.g. changing the order of parenthesis), but the correct variables and their calculated constants will come out in correct order otherwise.
forked from wvisser/green
-
Notifications
You must be signed in to change notification settings - Fork 0
DavidBakerEffendi/green
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This repository represents a university Travis and GitHub tutorial using Prof Visser's project, Green.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Java 99.8%
- Dockerfile 0.2%