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

Mode	Name	Size
-rw-r--r--	Answer	13497	log plain
-rw-r--r--	AssociationList.chalice	2886	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack.chalice	2470	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack2.chalice	2691	log plain
-rw-r--r--	CopyLessMessagePassing.chalice	1769	log plain
-rw-r--r--	ForkJoin.chalice	1400	log plain
-rw-r--r--	HandOverHand.chalice	3785	log plain
-rw-r--r--	ImplicitLocals.chalice	496	log plain
-rw-r--r--	LoopLockChange.chalice	2796	log plain
-rw-r--r--	OwickiGries.chalice	817	log plain
-rw-r--r--	PetersonsAlgorithm.chalice	2573	log plain
-rw-r--r--	ProdConsChannel.chalice	2781	log plain
-rw-r--r--	RockBand-automagic.chalice	1818	log plain
-rw-r--r--	RockBand.chalice	1917	log plain
-rw-r--r--	Sieve.chalice	1517	log plain
-rw-r--r--	cell-defaults.chalice	2822	log plain
-rw-r--r--	cell.chalice	2923	log plain
-rw-r--r--	counter.chalice	3273	log plain
-rw-r--r--	dining-philosophers.chalice	1955	log plain
-rw-r--r--	iterator.chalice	3498	log plain
-rw-r--r--	iterator2.chalice	2727	log plain
-rw-r--r--	linkedlist.chalice	1245	log plain
-rw-r--r--	producer-consumer.chalice	3970	log plain
-rw-r--r--	prog0.chalice	2632	log plain
-rw-r--r--	prog1.chalice	1608	log plain
-rw-r--r--	prog2.chalice	1679	log plain
-rw-r--r--	prog3.chalice	4568	log plain
-rw-r--r--	prog4.chalice	1063	log plain
-rw-r--r--	quantifiers.chalice	1120	log plain
-rw-r--r--	swap.chalice	316	log plain