index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Chalice
/
tests
/
permission-model
Mode
Name
Size
-rw-r--r--
basic.chalice
4265
log
plain
-rw-r--r--
basic.output.txt
480
log
plain
-rw-r--r--
channels.chalice
812
log
plain
-rw-r--r--
channels.output.txt
282
log
plain
-rw-r--r--
generate_reference.bat
41
log
plain
-rw-r--r--
generate_reference_all.bat
41
log
plain
-rw-r--r--
locks.chalice
2545
log
plain
-rw-r--r--
locks.output.txt
859
log
plain
-rw-r--r--
peculiar.chalice
1003
log
plain
-rw-r--r--
peculiar.output.txt
177
log
plain
-rw-r--r--
permarith_parser.chalice
751
log
plain
-rw-r--r--
permarith_parser.output.txt
650
log
plain
-rw-r--r--
permission_arithmetic.chalice
3899
log
plain
-rw-r--r--
permission_arithmetic.output.txt
856
log
plain
-rw-r--r--
predicate_error1.chalice
541
log
plain
-rw-r--r--
predicate_error1.output.txt
145
log
plain
-rw-r--r--
predicate_error2.chalice
545
log
plain
-rw-r--r--
predicate_error2.output.txt
145
log
plain
-rw-r--r--
predicate_error3.chalice
545
log
plain
-rw-r--r--
predicate_error3.output.txt
145
log
plain
-rw-r--r--
predicate_error4.chalice
541
log
plain
-rw-r--r--
predicate_error4.output.txt
145
log
plain
-rw-r--r--
predicates.chalice
1841
log
plain
-rw-r--r--
predicates.output.txt
436
log
plain
-rw-r--r--
reg_test.bat
41
log
plain
-rw-r--r--
reg_test_all.bat
41
log
plain
-rw-r--r--
scaling.chalice
2129
log
plain
-rw-r--r--
scaling.output.txt
708
log
plain
-rw-r--r--
sequences.chalice
2001
log
plain
-rw-r--r--
sequences.output.txt
287
log
plain
-rw-r--r--
test.bat
41
log
plain