Commit message (Expand) | Author | Age | |
---|---|---|---|
* | reformulating (potentially inconsistent) inv49 | 2020-05-12 | |
* | Add Satellite Case Study to testing framework | 2020-05-11 | |
* | Fix PLEDGE Case Study File | 2020-05-10 | |
* | Adjust PLEDEG Java Case Study file | 2020-05-09 | |
* | Adjustments to FamilyTree and Pledge Case studies | 2020-05-06 | |
* | Able to run Pledge Case Study | 2020-04-28 |