aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/MemberIsItsOwnParent.java
Commit message (Expand)AuthorAge
* rebase dreal-integ on models20-measurementsLibravatar Aren Babikian2021-01-06
* Config language WIPLibravatar Kristóf Marussy2020-05-19
* Adjust FamilyTree Case StudyLibravatar ArenBabikian2020-05-08
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* rename Pledge Case Studies and add familyTree case studyLibravatar ArenBabikian2020-04-27