summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Test/civl/DeviceCache.bpl (renamed from Test/og/DeviceCache.bpl)0
-rw-r--r--Test/civl/DeviceCache.bpl.expect (renamed from Test/og/DeviceCache.bpl.expect)0
-rw-r--r--Test/civl/FlanaganQadeer.bpl (renamed from Test/og/FlanaganQadeer.bpl)0
-rw-r--r--Test/civl/FlanaganQadeer.bpl.expect (renamed from Test/og/FlanaganQadeer.bpl.expect)0
-rw-r--r--Test/civl/Program1.bpl (renamed from Test/og/Program1.bpl)0
-rw-r--r--Test/civl/Program1.bpl.expect (renamed from Test/og/Program1.bpl.expect)0
-rw-r--r--Test/civl/Program2.bpl (renamed from Test/og/Program2.bpl)0
-rw-r--r--Test/civl/Program2.bpl.expect (renamed from Test/og/Program2.bpl.expect)0
-rw-r--r--Test/civl/Program3.bpl (renamed from Test/og/Program3.bpl)0
-rw-r--r--Test/civl/Program3.bpl.expect (renamed from Test/og/Program3.bpl.expect)0
-rw-r--r--Test/civl/Program4.bpl (renamed from Test/og/Program4.bpl)0
-rw-r--r--Test/civl/Program4.bpl.expect (renamed from Test/og/Program4.bpl.expect)0
-rw-r--r--Test/civl/Program5.bpl (renamed from Test/og/Program5.bpl)0
-rw-r--r--Test/civl/Program5.bpl.expect (renamed from Test/og/Program5.bpl.expect)0
-rw-r--r--Test/civl/akash.bpl (renamed from Test/og/akash.bpl)0
-rw-r--r--Test/civl/akash.bpl.expect (renamed from Test/og/akash.bpl.expect)0
-rw-r--r--Test/civl/bar.bpl (renamed from Test/og/bar.bpl)0
-rw-r--r--Test/civl/bar.bpl.expect (renamed from Test/og/bar.bpl.expect)0
-rw-r--r--Test/civl/chris.bpl (renamed from Test/og/chris.bpl)0
-rw-r--r--Test/civl/chris.bpl.expect (renamed from Test/og/chris.bpl.expect)0
-rw-r--r--Test/civl/chris2.bpl (renamed from Test/og/chris2.bpl)0
-rw-r--r--Test/civl/chris2.bpl.expect (renamed from Test/og/chris2.bpl.expect)0
-rw-r--r--Test/civl/civl-paper.bpl (renamed from Test/og/civl-paper.bpl)0
-rw-r--r--Test/civl/civl-paper.bpl.expect (renamed from Test/og/civl-paper.bpl.expect)0
-rw-r--r--Test/civl/foo.bpl (renamed from Test/og/foo.bpl)0
-rw-r--r--Test/civl/foo.bpl.expect (renamed from Test/og/foo.bpl.expect)0
-rw-r--r--Test/civl/ghost.bpl (renamed from Test/og/ghost.bpl)0
-rw-r--r--Test/civl/ghost.bpl.expect (renamed from Test/og/ghost.bpl.expect)0
-rw-r--r--Test/civl/linear-set.bpl (renamed from Test/og/linear-set.bpl)0
-rw-r--r--Test/civl/linear-set.bpl.expect (renamed from Test/og/linear-set.bpl.expect)0
-rw-r--r--Test/civl/linear-set2.bpl (renamed from Test/og/linear-set2.bpl)0
-rw-r--r--Test/civl/linear-set2.bpl.expect (renamed from Test/og/linear-set2.bpl.expect)0
-rw-r--r--Test/civl/lock-introduced.bpl (renamed from Test/og/lock-introduced.bpl)0
-rw-r--r--Test/civl/lock-introduced.bpl.expect (renamed from Test/og/lock-introduced.bpl.expect)0
-rw-r--r--Test/civl/lock.bpl (renamed from Test/og/lock.bpl)0
-rw-r--r--Test/civl/lock.bpl.expect (renamed from Test/og/lock.bpl.expect)0
-rw-r--r--Test/civl/lock2.bpl (renamed from Test/og/lock2.bpl)0
-rw-r--r--Test/civl/lock2.bpl.expect (renamed from Test/og/lock2.bpl.expect)0
-rw-r--r--Test/civl/multiset.bpl (renamed from Test/og/multiset.bpl)0
-rw-r--r--Test/civl/multiset.bpl.expect (renamed from Test/og/multiset.bpl.expect)0
-rw-r--r--Test/civl/new1.bpl (renamed from Test/og/new1.bpl)0
-rw-r--r--Test/civl/new1.bpl.expect (renamed from Test/og/new1.bpl.expect)0
-rw-r--r--Test/civl/one.bpl (renamed from Test/og/one.bpl)0
-rw-r--r--Test/civl/one.bpl.expect (renamed from Test/og/one.bpl.expect)0
-rw-r--r--Test/civl/par-incr.bpl (renamed from Test/og/par-incr.bpl)0
-rw-r--r--Test/civl/par-incr.bpl.expect (renamed from Test/og/par-incr.bpl.expect)0
-rw-r--r--Test/civl/parallel1.bpl (renamed from Test/og/parallel1.bpl)0
-rw-r--r--Test/civl/parallel1.bpl.expect (renamed from Test/og/parallel1.bpl.expect)0
-rw-r--r--Test/civl/parallel2.bpl (renamed from Test/og/parallel2.bpl)0
-rw-r--r--Test/civl/parallel2.bpl.expect (renamed from Test/og/parallel2.bpl.expect)0
-rw-r--r--Test/civl/parallel4.bpl (renamed from Test/og/parallel4.bpl)0
-rw-r--r--Test/civl/parallel4.bpl.expect (renamed from Test/og/parallel4.bpl.expect)0
-rw-r--r--Test/civl/parallel5.bpl (renamed from Test/og/parallel5.bpl)0
-rw-r--r--Test/civl/parallel5.bpl.expect (renamed from Test/og/parallel5.bpl.expect)0
-rw-r--r--Test/civl/perm.bpl (renamed from Test/og/perm.bpl)0
-rw-r--r--Test/civl/perm.bpl.expect (renamed from Test/og/perm.bpl.expect)0
-rw-r--r--Test/civl/t1.bpl (renamed from Test/og/t1.bpl)0
-rw-r--r--Test/civl/t1.bpl.expect (renamed from Test/og/t1.bpl.expect)0
-rw-r--r--Test/civl/termination.bpl (renamed from Test/og/termination.bpl)0
-rw-r--r--Test/civl/termination.bpl.expect (renamed from Test/og/termination.bpl.expect)0
-rw-r--r--Test/civl/termination2.bpl (renamed from Test/og/termination2.bpl)0
-rw-r--r--Test/civl/termination2.bpl.expect (renamed from Test/og/termination2.bpl.expect)0
-rw-r--r--Test/civl/ticket.bpl (renamed from Test/og/ticket.bpl)0
-rw-r--r--Test/civl/ticket.bpl.expect (renamed from Test/og/ticket.bpl.expect)0
-rw-r--r--Test/civl/treiber-stack.bpl (renamed from Test/og/treiber-stack.bpl)0
-rw-r--r--Test/civl/treiber-stack.bpl.expect (renamed from Test/og/treiber-stack.bpl.expect)0
-rw-r--r--Test/civl/wsq.bpl (renamed from Test/og/wsq.bpl)0
-rw-r--r--Test/civl/wsq.bpl.expect (renamed from Test/og/wsq.bpl.expect)0
68 files changed, 0 insertions, 0 deletions
diff --git a/Test/og/DeviceCache.bpl b/Test/civl/DeviceCache.bpl
index f439b607..f439b607 100644
--- a/Test/og/DeviceCache.bpl
+++ b/Test/civl/DeviceCache.bpl
diff --git a/Test/og/DeviceCache.bpl.expect b/Test/civl/DeviceCache.bpl.expect
index 9ec7a92d..9ec7a92d 100644
--- a/Test/og/DeviceCache.bpl.expect
+++ b/Test/civl/DeviceCache.bpl.expect
diff --git a/Test/og/FlanaganQadeer.bpl b/Test/civl/FlanaganQadeer.bpl
index 7345b5b2..7345b5b2 100644
--- a/Test/og/FlanaganQadeer.bpl
+++ b/Test/civl/FlanaganQadeer.bpl
diff --git a/Test/og/FlanaganQadeer.bpl.expect b/Test/civl/FlanaganQadeer.bpl.expect
index fef5ddc0..fef5ddc0 100644
--- a/Test/og/FlanaganQadeer.bpl.expect
+++ b/Test/civl/FlanaganQadeer.bpl.expect
diff --git a/Test/og/Program1.bpl b/Test/civl/Program1.bpl
index f405b92a..f405b92a 100644
--- a/Test/og/Program1.bpl
+++ b/Test/civl/Program1.bpl
diff --git a/Test/og/Program1.bpl.expect b/Test/civl/Program1.bpl.expect
index 3de74d3e..3de74d3e 100644
--- a/Test/og/Program1.bpl.expect
+++ b/Test/civl/Program1.bpl.expect
diff --git a/Test/og/Program2.bpl b/Test/civl/Program2.bpl
index 75c83c67..75c83c67 100644
--- a/Test/og/Program2.bpl
+++ b/Test/civl/Program2.bpl
diff --git a/Test/og/Program2.bpl.expect b/Test/civl/Program2.bpl.expect
index 5b2909f1..5b2909f1 100644
--- a/Test/og/Program2.bpl.expect
+++ b/Test/civl/Program2.bpl.expect
diff --git a/Test/og/Program3.bpl b/Test/civl/Program3.bpl
index f8c4e132..f8c4e132 100644
--- a/Test/og/Program3.bpl
+++ b/Test/civl/Program3.bpl
diff --git a/Test/og/Program3.bpl.expect b/Test/civl/Program3.bpl.expect
index 5b2909f1..5b2909f1 100644
--- a/Test/og/Program3.bpl.expect
+++ b/Test/civl/Program3.bpl.expect
diff --git a/Test/og/Program4.bpl b/Test/civl/Program4.bpl
index 7f2f9c44..7f2f9c44 100644
--- a/Test/og/Program4.bpl
+++ b/Test/civl/Program4.bpl
diff --git a/Test/og/Program4.bpl.expect b/Test/civl/Program4.bpl.expect
index 5b2909f1..5b2909f1 100644
--- a/Test/og/Program4.bpl.expect
+++ b/Test/civl/Program4.bpl.expect
diff --git a/Test/og/Program5.bpl b/Test/civl/Program5.bpl
index 7ede3124..7ede3124 100644
--- a/Test/og/Program5.bpl
+++ b/Test/civl/Program5.bpl
diff --git a/Test/og/Program5.bpl.expect b/Test/civl/Program5.bpl.expect
index d7c0ff95..d7c0ff95 100644
--- a/Test/og/Program5.bpl.expect
+++ b/Test/civl/Program5.bpl.expect
diff --git a/Test/og/akash.bpl b/Test/civl/akash.bpl
index c826b810..c826b810 100644
--- a/Test/og/akash.bpl
+++ b/Test/civl/akash.bpl
diff --git a/Test/og/akash.bpl.expect b/Test/civl/akash.bpl.expect
index fef5ddc0..fef5ddc0 100644
--- a/Test/og/akash.bpl.expect
+++ b/Test/civl/akash.bpl.expect
diff --git a/Test/og/bar.bpl b/Test/civl/bar.bpl
index 4eef8378..4eef8378 100644
--- a/Test/og/bar.bpl
+++ b/Test/civl/bar.bpl
diff --git a/Test/og/bar.bpl.expect b/Test/civl/bar.bpl.expect
index 8999ae7f..8999ae7f 100644
--- a/Test/og/bar.bpl.expect
+++ b/Test/civl/bar.bpl.expect
diff --git a/Test/og/chris.bpl b/Test/civl/chris.bpl
index b54292ef..b54292ef 100644
--- a/Test/og/chris.bpl
+++ b/Test/civl/chris.bpl
diff --git a/Test/og/chris.bpl.expect b/Test/civl/chris.bpl.expect
index be6b95ba..be6b95ba 100644
--- a/Test/og/chris.bpl.expect
+++ b/Test/civl/chris.bpl.expect
diff --git a/Test/og/chris2.bpl b/Test/civl/chris2.bpl
index 73f112ed..73f112ed 100644
--- a/Test/og/chris2.bpl
+++ b/Test/civl/chris2.bpl
diff --git a/Test/og/chris2.bpl.expect b/Test/civl/chris2.bpl.expect
index 2bf339f7..2bf339f7 100644
--- a/Test/og/chris2.bpl.expect
+++ b/Test/civl/chris2.bpl.expect
diff --git a/Test/og/civl-paper.bpl b/Test/civl/civl-paper.bpl
index a7042c6a..a7042c6a 100644
--- a/Test/og/civl-paper.bpl
+++ b/Test/civl/civl-paper.bpl
diff --git a/Test/og/civl-paper.bpl.expect b/Test/civl/civl-paper.bpl.expect
index 4bcd03fb..4bcd03fb 100644
--- a/Test/og/civl-paper.bpl.expect
+++ b/Test/civl/civl-paper.bpl.expect
diff --git a/Test/og/foo.bpl b/Test/civl/foo.bpl
index 7eeab890..7eeab890 100644
--- a/Test/og/foo.bpl
+++ b/Test/civl/foo.bpl
diff --git a/Test/og/foo.bpl.expect b/Test/civl/foo.bpl.expect
index 0d9de9db..0d9de9db 100644
--- a/Test/og/foo.bpl.expect
+++ b/Test/civl/foo.bpl.expect
diff --git a/Test/og/ghost.bpl b/Test/civl/ghost.bpl
index 74d16acf..74d16acf 100644
--- a/Test/og/ghost.bpl
+++ b/Test/civl/ghost.bpl
diff --git a/Test/og/ghost.bpl.expect b/Test/civl/ghost.bpl.expect
index 9823d44a..9823d44a 100644
--- a/Test/og/ghost.bpl.expect
+++ b/Test/civl/ghost.bpl.expect
diff --git a/Test/og/linear-set.bpl b/Test/civl/linear-set.bpl
index e481291a..e481291a 100644
--- a/Test/og/linear-set.bpl
+++ b/Test/civl/linear-set.bpl
diff --git a/Test/og/linear-set.bpl.expect b/Test/civl/linear-set.bpl.expect
index fef5ddc0..fef5ddc0 100644
--- a/Test/og/linear-set.bpl.expect
+++ b/Test/civl/linear-set.bpl.expect
diff --git a/Test/og/linear-set2.bpl b/Test/civl/linear-set2.bpl
index 24d8a13a..24d8a13a 100644
--- a/Test/og/linear-set2.bpl
+++ b/Test/civl/linear-set2.bpl
diff --git a/Test/og/linear-set2.bpl.expect b/Test/civl/linear-set2.bpl.expect
index fef5ddc0..fef5ddc0 100644
--- a/Test/og/linear-set2.bpl.expect
+++ b/Test/civl/linear-set2.bpl.expect
diff --git a/Test/og/lock-introduced.bpl b/Test/civl/lock-introduced.bpl
index c9650215..c9650215 100644
--- a/Test/og/lock-introduced.bpl
+++ b/Test/civl/lock-introduced.bpl
diff --git a/Test/og/lock-introduced.bpl.expect b/Test/civl/lock-introduced.bpl.expect
index f62a8f46..f62a8f46 100644
--- a/Test/og/lock-introduced.bpl.expect
+++ b/Test/civl/lock-introduced.bpl.expect
diff --git a/Test/og/lock.bpl b/Test/civl/lock.bpl
index 9341591f..9341591f 100644
--- a/Test/og/lock.bpl
+++ b/Test/civl/lock.bpl
diff --git a/Test/og/lock.bpl.expect b/Test/civl/lock.bpl.expect
index 05d394c7..05d394c7 100644
--- a/Test/og/lock.bpl.expect
+++ b/Test/civl/lock.bpl.expect
diff --git a/Test/og/lock2.bpl b/Test/civl/lock2.bpl
index 4809a8f5..4809a8f5 100644
--- a/Test/og/lock2.bpl
+++ b/Test/civl/lock2.bpl
diff --git a/Test/og/lock2.bpl.expect b/Test/civl/lock2.bpl.expect
index 05d394c7..05d394c7 100644
--- a/Test/og/lock2.bpl.expect
+++ b/Test/civl/lock2.bpl.expect
diff --git a/Test/og/multiset.bpl b/Test/civl/multiset.bpl
index 7fb0a081..7fb0a081 100644
--- a/Test/og/multiset.bpl
+++ b/Test/civl/multiset.bpl
diff --git a/Test/og/multiset.bpl.expect b/Test/civl/multiset.bpl.expect
index d72077a6..d72077a6 100644
--- a/Test/og/multiset.bpl.expect
+++ b/Test/civl/multiset.bpl.expect
diff --git a/Test/og/new1.bpl b/Test/civl/new1.bpl
index b80b6315..b80b6315 100644
--- a/Test/og/new1.bpl
+++ b/Test/civl/new1.bpl
diff --git a/Test/og/new1.bpl.expect b/Test/civl/new1.bpl.expect
index 3de74d3e..3de74d3e 100644
--- a/Test/og/new1.bpl.expect
+++ b/Test/civl/new1.bpl.expect
diff --git a/Test/og/one.bpl b/Test/civl/one.bpl
index 663b2da0..663b2da0 100644
--- a/Test/og/one.bpl
+++ b/Test/civl/one.bpl
diff --git a/Test/og/one.bpl.expect b/Test/civl/one.bpl.expect
index 6abb715b..6abb715b 100644
--- a/Test/og/one.bpl.expect
+++ b/Test/civl/one.bpl.expect
diff --git a/Test/og/par-incr.bpl b/Test/civl/par-incr.bpl
index 7be8f561..7be8f561 100644
--- a/Test/og/par-incr.bpl
+++ b/Test/civl/par-incr.bpl
diff --git a/Test/og/par-incr.bpl.expect b/Test/civl/par-incr.bpl.expect
index 00ddb38b..00ddb38b 100644
--- a/Test/og/par-incr.bpl.expect
+++ b/Test/civl/par-incr.bpl.expect
diff --git a/Test/og/parallel1.bpl b/Test/civl/parallel1.bpl
index 20dd3c79..20dd3c79 100644
--- a/Test/og/parallel1.bpl
+++ b/Test/civl/parallel1.bpl
diff --git a/Test/og/parallel1.bpl.expect b/Test/civl/parallel1.bpl.expect
index 588c9c5b..588c9c5b 100644
--- a/Test/og/parallel1.bpl.expect
+++ b/Test/civl/parallel1.bpl.expect
diff --git a/Test/og/parallel2.bpl b/Test/civl/parallel2.bpl
index c28edf2b..c28edf2b 100644
--- a/Test/og/parallel2.bpl
+++ b/Test/civl/parallel2.bpl
diff --git a/Test/og/parallel2.bpl.expect b/Test/civl/parallel2.bpl.expect
index 05d394c7..05d394c7 100644
--- a/Test/og/parallel2.bpl.expect
+++ b/Test/civl/parallel2.bpl.expect
diff --git a/Test/og/parallel4.bpl b/Test/civl/parallel4.bpl
index f06ff4b8..f06ff4b8 100644
--- a/Test/og/parallel4.bpl
+++ b/Test/civl/parallel4.bpl
diff --git a/Test/og/parallel4.bpl.expect b/Test/civl/parallel4.bpl.expect
index 25ad398c..25ad398c 100644
--- a/Test/og/parallel4.bpl.expect
+++ b/Test/civl/parallel4.bpl.expect
diff --git a/Test/og/parallel5.bpl b/Test/civl/parallel5.bpl
index 87afc888..87afc888 100644
--- a/Test/og/parallel5.bpl
+++ b/Test/civl/parallel5.bpl
diff --git a/Test/og/parallel5.bpl.expect b/Test/civl/parallel5.bpl.expect
index 05d394c7..05d394c7 100644
--- a/Test/og/parallel5.bpl.expect
+++ b/Test/civl/parallel5.bpl.expect
diff --git a/Test/og/perm.bpl b/Test/civl/perm.bpl
index 5bc75324..5bc75324 100644
--- a/Test/og/perm.bpl
+++ b/Test/civl/perm.bpl
diff --git a/Test/og/perm.bpl.expect b/Test/civl/perm.bpl.expect
index 3de74d3e..3de74d3e 100644
--- a/Test/og/perm.bpl.expect
+++ b/Test/civl/perm.bpl.expect
diff --git a/Test/og/t1.bpl b/Test/civl/t1.bpl
index 675b3842..675b3842 100644
--- a/Test/og/t1.bpl
+++ b/Test/civl/t1.bpl
diff --git a/Test/og/t1.bpl.expect b/Test/civl/t1.bpl.expect
index 0b0c936e..0b0c936e 100644
--- a/Test/og/t1.bpl.expect
+++ b/Test/civl/t1.bpl.expect
diff --git a/Test/og/termination.bpl b/Test/civl/termination.bpl
index 2d5542dd..2d5542dd 100644
--- a/Test/og/termination.bpl
+++ b/Test/civl/termination.bpl
diff --git a/Test/og/termination.bpl.expect b/Test/civl/termination.bpl.expect
index d216a01d..d216a01d 100644
--- a/Test/og/termination.bpl.expect
+++ b/Test/civl/termination.bpl.expect
diff --git a/Test/og/termination2.bpl b/Test/civl/termination2.bpl
index 840c27c1..840c27c1 100644
--- a/Test/og/termination2.bpl
+++ b/Test/civl/termination2.bpl
diff --git a/Test/og/termination2.bpl.expect b/Test/civl/termination2.bpl.expect
index 6abb715b..6abb715b 100644
--- a/Test/og/termination2.bpl.expect
+++ b/Test/civl/termination2.bpl.expect
diff --git a/Test/og/ticket.bpl b/Test/civl/ticket.bpl
index 91863e1a..91863e1a 100644
--- a/Test/og/ticket.bpl
+++ b/Test/civl/ticket.bpl
diff --git a/Test/og/ticket.bpl.expect b/Test/civl/ticket.bpl.expect
index 28c26eab..28c26eab 100644
--- a/Test/og/ticket.bpl.expect
+++ b/Test/civl/ticket.bpl.expect
diff --git a/Test/og/treiber-stack.bpl b/Test/civl/treiber-stack.bpl
index e1c509ab..e1c509ab 100644
--- a/Test/og/treiber-stack.bpl
+++ b/Test/civl/treiber-stack.bpl
diff --git a/Test/og/treiber-stack.bpl.expect b/Test/civl/treiber-stack.bpl.expect
index be6b95ba..be6b95ba 100644
--- a/Test/og/treiber-stack.bpl.expect
+++ b/Test/civl/treiber-stack.bpl.expect
diff --git a/Test/og/wsq.bpl b/Test/civl/wsq.bpl
index f4964258..f4964258 100644
--- a/Test/og/wsq.bpl
+++ b/Test/civl/wsq.bpl
diff --git a/Test/og/wsq.bpl.expect b/Test/civl/wsq.bpl.expect
index 5b2909f1..5b2909f1 100644
--- a/Test/og/wsq.bpl.expect
+++ b/Test/civl/wsq.bpl.expect