add realistic solver

2 files changed, 21 insertions, 0 deletions

diff --git a/Domains/github-graph/bin/queries/.gitignore b/Domains/github-graph/bin/queries/.gitignore
new file mode 100644
index 00000000..e1fd9766
--- /dev/null
+++ b/Domains/github-graph/bin/queries/.gitignore
@@ -0,0 +1,10 @@
+/.DirectParent.java._trace
+/.Github.java._trace
+/.LoopInParent.java._trace
+/.MultipleClosedEvent.java._trace
+/.MultipleSubscribed.java._trace
+/DirectParent.java
+/Github.java
+/LoopInParent.java
+/MultipleClosedEvent.java
+/MultipleSubscribed.java
diff --git a/Domains/github-graph/bin/queries/github.vql b/Domains/github-graph/bin/queries/github.vql
new file mode 100644
index 00000000..10b23d40
--- /dev/null
+++ b/Domains/github-graph/bin/queries/github.vql
@@ -0,0 +1,11 @@
+package queries
+import epackage "sure.ghtorrent.github"
+
+pattern directParent(a : Commit, b: Commit) {
+        Commit.parents(a,b);
+}
+
+@Constraint(key={a}, severity="error", message="error")
+pattern loopInParent(a){
+ find directParent+(a,a);
+}
\ No newline at end of file