examples « Chalice - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	Answer	12525	log plain
-rw-r--r--	AssociationList.chalice	2874	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack.chalice	2462	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack2.chalice	2683	log plain
-rw-r--r--	CopyLessMessagePassing.chalice	1765	log plain
-rw-r--r--	ForkJoin.chalice	1400	log plain
-rw-r--r--	HandOverHand.chalice	3665	log plain
-rw-r--r--	OwickiGries.chalice	815	log plain
-rw-r--r--	ProdConsChannel.chalice	2769	log plain
-rw-r--r--	RockBand-automagic.chalice	1818	log plain
-rw-r--r--	RockBand.chalice	1915	log plain
-rw-r--r--	cell-defaults.chalice	2822	log plain
-rw-r--r--	cell.chalice	2920	log plain
-rw-r--r--	counter.chalice	3257	log plain
-rw-r--r--	dining-philosophers.chalice	1947	log plain
-rw-r--r--	iterator.chalice	3497	log plain
-rw-r--r--	iterator2.chalice	2726	log plain
-rw-r--r--	linkedlist.chalice	1245	log plain
-rw-r--r--	producer-consumer.chalice	3963	log plain
-rw-r--r--	prog0.chalice	1556	log plain
-rw-r--r--	prog1.chalice	1608	log plain
-rw-r--r--	prog2.chalice	1679	log plain
-rw-r--r--	prog3.chalice	4528	log plain
-rw-r--r--	prog4.chalice	990	log plain
-rw-r--r--	swap.chalice	316	log plain