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
509
log
plain
-rw-r--r--
channels.chalice
812
log
plain
-rw-r--r--
channels.output.txt
313
log
plain
-rw-r--r--
generate_reference.bat
44
log
plain
-rw-r--r--
generate_reference_all.bat
44
log
plain
-rw-r--r--
locks.chalice
2545
log
plain
-rw-r--r--
locks.output.txt
1240
log
plain
-rw-r--r--
peculiar.chalice
1003
log
plain
-rw-r--r--
peculiar.output.txt
409
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
4816
log
plain
-rw-r--r--
permission_arithmetic.output.txt
1389
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
710
log
plain
-rw-r--r--
reg_test.bat
44
log
plain
-rw-r--r--
reg_test_all.bat
44
log
plain
-rw-r--r--
scaling.chalice
2272
log
plain
-rw-r--r--
scaling.output.txt
132
log
plain
-rw-r--r--
sequences.chalice
2001
log
plain
-rw-r--r--
sequences.output.txt
318
log
plain
-rw-r--r--
test.bat
44
log
plain
