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

Mode	Name	Size
-rw-r--r--	AssociationList.chalice	2886	log plain
-rw-r--r--	AssociationList.output.txt	302	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack.chalice	2495	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack.output.txt	123	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack2.chalice	2716	log plain
-rw-r--r--	CopyLessMessagePassing-with-ack2.output.txt	124	log plain
-rw-r--r--	CopyLessMessagePassing.chalice	1794	log plain
-rw-r--r--	CopyLessMessagePassing.output.txt	114	log plain
-rw-r--r--	ForkJoin.chalice	1400	log plain
-rw-r--r--	ForkJoin.output.txt	100	log plain
-rw-r--r--	HandOverHand.chalice	3822	log plain
-rw-r--r--	HandOverHand.output.txt	104	log plain
-rw-r--r--	ImplicitLocals.chalice	496	log plain
-rw-r--r--	ImplicitLocals.output.txt	105	log plain
-rw-r--r--	LoopLockChange.chalice	2796	log plain
-rw-r--r--	LoopLockChange.output.txt	362	log plain
-rw-r--r--	OwickiGries.chalice	817	log plain
-rw-r--r--	OwickiGries.output.txt	102	log plain
-rw-r--r--	PetersonsAlgorithm.chalice	2573	log plain
-rw-r--r--	PetersonsAlgorithm.output.txt	109	log plain
-rw-r--r--	ProdConsChannel.chalice	2781	log plain
-rw-r--r--	ProdConsChannel.output.txt	348	log plain
-rw-r--r--	RockBand-automagic.chalice	1818	log plain
-rw-r--r--	RockBand-automagic.output.txt	641	log plain
-rw-r--r--	RockBand.chalice	1917	log plain
-rw-r--r--	RockBand.output.txt	589	log plain
-rw-r--r--	Sieve.chalice	1518	log plain
-rw-r--r--	Sieve.output.txt	97	log plain
-rw-r--r--	cell-defaults.chalice	2822	log plain
-rw-r--r--	cell-defaults.output.txt	841	log plain
-rw-r--r--	cell.chalice	2923	log plain
-rw-r--r--	cell.output.txt	179	log plain
-rw-r--r--	counter.chalice	3273	log plain
-rw-r--r--	counter.output.txt	642	log plain
-rw-r--r--	dining-philosophers.chalice	1955	log plain
-rw-r--r--	dining-philosophers.output.txt	111	log plain
-rw-r--r--	generate_reference.bat	41	log plain
-rw-r--r--	generate_reference_all.bat	41	log plain
-rw-r--r--	iterator.chalice	3498	log plain
-rw-r--r--	iterator.output.txt	100	log plain
-rw-r--r--	iterator2.chalice	2766	log plain
-rw-r--r--	iterator2.output.txt	101	log plain
-rw-r--r--	linkedlist.chalice	1245	log plain
-rw-r--r--	linkedlist.output.txt	200	log plain
-rw-r--r--	producer-consumer.chalice	3970	log plain
-rw-r--r--	producer-consumer.output.txt	109	log plain
-rw-r--r--	prog0.chalice	2632	log plain
-rw-r--r--	prog0.output.txt	7331	log plain
-rw-r--r--	prog1.chalice	1608	log plain
-rw-r--r--	prog1.output.txt	486	log plain
-rw-r--r--	prog2.chalice	1679	log plain
-rw-r--r--	prog2.output.txt	367	log plain
-rw-r--r--	prog3.chalice	4544	log plain
-rw-r--r--	prog3.output.txt	465	log plain
-rw-r--r--	prog4.chalice	1063	log plain
-rw-r--r--	prog4.output.txt	688	log plain
-rw-r--r--	quantifiers.chalice	1120	log plain
-rw-r--r--	quantifiers.output.txt	194	log plain
-rw-r--r--	reg_test.bat	41	log plain
-rw-r--r--	reg_test_all.bat	41	log plain
-rw-r--r--	swap.chalice	316	log plain
-rw-r--r--	swap.output.txt	95	log plain
-rw-r--r--	test.bat	41	log plain