diff options
| -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 |