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
500
log
plain
-rw-r--r--
channels.chalice
812
log
plain
-rw-r--r--
channels.output.txt
302
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
879
log
plain
-rw-r--r--
peculiar.chalice
1003
log
plain
-rw-r--r--
peculiar.output.txt
197
log
plain
-rw-r--r--
permarith_parser.chalice
751
log
plain
-rw-r--r--
permarith_parser.output.txt
670
log
plain
-rw-r--r--
permission_arithmetic.chalice
4560
log
plain
-rw-r--r--
permission_arithmetic.output.txt
920
log
plain
-rw-r--r--
predicate_error1.chalice
541
log
plain
-rw-r--r--
predicate_error1.output.txt
165
log
plain
-rw-r--r--
predicate_error2.chalice
545
log
plain
-rw-r--r--
predicate_error2.output.txt
165
log
plain
-rw-r--r--
predicate_error3.chalice
545
log
plain
-rw-r--r--
predicate_error3.output.txt
165
log
plain
-rw-r--r--
predicate_error4.chalice
541
log
plain
-rw-r--r--
predicate_error4.output.txt
165
log
plain
-rw-r--r--
predicates.chalice
1841
log
plain
-rw-r--r--
predicates.output.txt
456
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
728
log
plain
-rw-r--r--
sequences.chalice
2001
log
plain
-rw-r--r--
sequences.output.txt
307
log
plain
-rw-r--r--
test.bat
41
log
plain
