matita.cs.unibo.it Git - pkg-cerco/acc.git/tree

drwxr-xr-x		..
-rw-r--r--	2431	Makefile	blob \| history \| raw
-rw-r--r--	15700	array.ASM.expected	blob \| history \| raw
-rw-r--r--	8015	array.Clight.expected	blob \| history \| raw
-rw-r--r--	8381	array.Cminor.expected	blob \| history \| raw
-rw-r--r--	50877	array.ERTL.expected	blob \| history \| raw
-rw-r--r--	10532	array.LIN.expected	blob \| history \| raw
-rw-r--r--	50396	array.LTL.expected	blob \| history \| raw
-rw-r--r--	43650	array.RTL.expected	blob \| history \| raw
-rw-r--r--	24488	array.RTLabs.expected	blob \| history \| raw
-rw-r--r--	783	array.c	blob \| history \| raw
-rw-r--r--	778	array.c.expected	blob \| history \| raw
-rw-r--r--	68	array.log.expected	blob \| history \| raw
-rw-r--r--	10115	binop.ASM.expected	blob \| history \| raw
-rw-r--r--	7041	binop.Clight.expected	blob \| history \| raw
-rw-r--r--	6690	binop.Cminor.expected	blob \| history \| raw
-rw-r--r--	7932	binop.ERTL.expected	blob \| history \| raw
-rw-r--r--	5306	binop.LIN.expected	blob \| history \| raw
-rw-r--r--	8007	binop.LTL.expected	blob \| history \| raw
-rw-r--r--	6924	binop.RTL.expected	blob \| history \| raw
-rw-r--r--	7054	binop.RTLabs.expected	blob \| history \| raw
-rw-r--r--	401	binop.c	blob \| history \| raw
-rw-r--r--	375	binop.c.expected	blob \| history \| raw
-rw-r--r--	74	binop.log.expected	blob \| history \| raw
-rw-r--r--	25862	complets.ASM.expected	blob \| history \| raw
-rw-r--r--	11488	complets.Clight.expected	blob \| history \| raw
-rw-r--r--	14632	complets.Cminor.expected	blob \| history \| raw
-rw-r--r--	131637	complets.ERTL.expected	blob \| history \| raw
-rw-r--r--	20130	complets.LIN.expected	blob \| history \| raw
-rw-r--r--	127514	complets.LTL.expected	blob \| history \| raw
-rw-r--r--	114375	complets.RTL.expected	blob \| history \| raw
-rw-r--r--	50976	complets.RTLabs.expected	blob \| history \| raw
-rw-r--r--	2420	complets.c	blob \| history \| raw
-rw-r--r--	2420	complets.c.expected	blob \| history \| raw
-rw-r--r--	68	complets.log.expected	blob \| history \| raw
-rw-r--r--	1261	fib.ASM.expected	blob \| history \| raw
-rw-r--r--	6849	fib.Clight.expected	blob \| history \| raw
-rw-r--r--	6573	fib.Cminor.expected	blob \| history \| raw
-rw-r--r--	3751	fib.ERTL.expected	blob \| history \| raw
-rw-r--r--	586	fib.LIN.expected	blob \| history \| raw
-rw-r--r--	3847	fib.LTL.expected	blob \| history \| raw
-rw-r--r--	1516	fib.RTL.expected	blob \| history \| raw
-rw-r--r--	6559	fib.RTLabs.expected	blob \| history \| raw
-rw-r--r--	128	fib.c	blob \| history \| raw
-rw-r--r--	128	fib.c.expected	blob \| history \| raw
-rw-r--r--	111845	fib.log.expected	blob \| history \| raw
-rw-r--r--	10402	fib.s.expected	blob \| history \| raw
-rw-r--r--	16870	fir4.ASM.expected	blob \| history \| raw
-rw-r--r--	8107	fir4.Clight.expected	blob \| history \| raw
-rw-r--r--	8431	fir4.Cminor.expected	blob \| history \| raw
-rw-r--r--	43744	fir4.ERTL.expected	blob \| history \| raw
-rw-r--r--	11615	fir4.LIN.expected	blob \| history \| raw
-rw-r--r--	43110	fir4.LTL.expected	blob \| history \| raw
-rw-r--r--	41126	fir4.RTL.expected	blob \| history \| raw
-rw-r--r--	20002	fir4.RTLabs.expected	blob \| history \| raw
-rw-r--r--	1101	fir4.c	blob \| history \| raw
-rw-r--r--	1092	fir4.c.expected	blob \| history \| raw
-rw-r--r--	74	fir4.log.expected	blob \| history \| raw
-rw-r--r--	14495	fir_complexe.ASM.expected	blob \| history \| raw
-rw-r--r--	8224	fir_complexe.Clight.expected	blob \| history \| raw
-rw-r--r--	8945	fir_complexe.Cminor.expected	blob \| history \| raw
-rw-r--r--	41825	fir_complexe.ERTL.expected	blob \| history \| raw
-rw-r--r--	9444	fir_complexe.LIN.expected	blob \| history \| raw
-rw-r--r--	41640	fir_complexe.LTL.expected	blob \| history \| raw
-rw-r--r--	35242	fir_complexe.RTL.expected	blob \| history \| raw
-rw-r--r--	17530	fir_complexe.RTLabs.expected	blob \| history \| raw
-rw-r--r--	1061	fir_complexe.c	blob \| history \| raw
-rw-r--r--	1061	fir_complexe.c.expected	blob \| history \| raw
-rw-r--r--	70	fir_complexe.log.expected	blob \| history \| raw
-rw-r--r--	15279	for.ASM.expected	blob \| history \| raw
-rw-r--r--	9749	for.Clight.expected	blob \| history \| raw
-rw-r--r--	11040	for.Cminor.expected	blob \| history \| raw
-rw-r--r--	55685	for.ERTL.expected	blob \| history \| raw
-rw-r--r--	10266	for.LIN.expected	blob \| history \| raw
-rw-r--r--	55987	for.LTL.expected	blob \| history \| raw
-rw-r--r--	37496	for.RTL.expected	blob \| history \| raw
-rw-r--r--	22314	for.RTLabs.expected	blob \| history \| raw
-rw-r--r--	1634	for.c	blob \| history \| raw
-rw-r--r--	1634	for.c.expected	blob \| history \| raw
-rw-r--r--	74	for.log.expected	blob \| history \| raw
-rw-r--r--	4953	ifthenelse.ASM.expected	blob \| history \| raw
-rw-r--r--	9494	ifthenelse.Clight.expected	blob \| history \| raw
-rw-r--r--	9815	ifthenelse.Cminor.expected	blob \| history \| raw
-rw-r--r--	38267	ifthenelse.ERTL.expected	blob \| history \| raw
-rw-r--r--	4346	ifthenelse.LIN.expected	blob \| history \| raw
-rw-r--r--	37999	ifthenelse.LTL.expected	blob \| history \| raw
-rw-r--r--	24780	ifthenelse.RTL.expected	blob \| history \| raw
-rw-r--r--	19255	ifthenelse.RTLabs.expected	blob \| history \| raw
-rw-r--r--	1952	ifthenelse.c	blob \| history \| raw
-rw-r--r--	1952	ifthenelse.c.expected	blob \| history \| raw
-rw-r--r--	13080	ifthenelse.log.expected	blob \| history \| raw
-rw-r--r--	12372	testCOMP_tri.ASM.expected	blob \| history \| raw
-rw-r--r--	7261	testCOMP_tri.Clight.expected	blob \| history \| raw
-rw-r--r--	7595	testCOMP_tri.Cminor.expected	blob \| history \| raw
-rw-r--r--	20482	testCOMP_tri.ERTL.expected	blob \| history \| raw
-rw-r--r--	7457	testCOMP_tri.LIN.expected	blob \| history \| raw
-rw-r--r--	20395	testCOMP_tri.LTL.expected	blob \| history \| raw
-rw-r--r--	17693	testCOMP_tri.RTL.expected	blob \| history \| raw
-rw-r--r--	11619	testCOMP_tri.RTLabs.expected	blob \| history \| raw
-rw-r--r--	318	testCOMP_tri.c	blob \| history \| raw
-rw-r--r--	318	testCOMP_tri.c.expected	blob \| history \| raw
-rw-r--r--	68	testCOMP_tri.log.expected	blob \| history \| raw
-rw-r--r--	11764	testTB_Array_LE.ASM.expected	blob \| history \| raw
-rw-r--r--	7006	testTB_Array_LE.Clight.expected	blob \| history \| raw
-rw-r--r--	6909	testTB_Array_LE.Cminor.expected	blob \| history \| raw
-rw-r--r--	17594	testTB_Array_LE.ERTL.expected	blob \| history \| raw
-rw-r--r--	6887	testTB_Array_LE.LIN.expected	blob \| history \| raw
-rw-r--r--	17460	testTB_Array_LE.LTL.expected	blob \| history \| raw
-rw-r--r--	16839	testTB_Array_LE.RTL.expected	blob \| history \| raw
-rw-r--r--	10396	testTB_Array_LE.RTLabs.expected	blob \| history \| raw
-rw-r--r--	213	testTB_Array_LE.c	blob \| history \| raw
-rw-r--r--	213	testTB_Array_LE.c.expected	blob \| history \| raw
-rw-r--r--	68	testTB_Array_LE.log.expected	blob \| history \| raw
-rw-r--r--	11214	testTB_Array_double.ASM.expected	blob \| history \| raw
-rw-r--r--	6994	testTB_Array_double.Clight.expected	blob \| history \| raw
-rw-r--r--	6828	testTB_Array_double.Cminor.expected	blob \| history \| raw
-rw-r--r--	15774	testTB_Array_double.ERTL.expected	blob \| history \| raw
-rw-r--r--	6351	testTB_Array_double.LIN.expected	blob \| history \| raw
-rw-r--r--	15358	testTB_Array_double.LTL.expected	blob \| history \| raw
-rw-r--r--	13099	testTB_Array_double.RTL.expected	blob \| history \| raw
-rw-r--r--	9207	testTB_Array_double.RTLabs.expected	blob \| history \| raw
-rw-r--r--	271	testTB_Array_double.c	blob \| history \| raw
-rw-r--r--	271	testTB_Array_double.c.expected	blob \| history \| raw
-rw-r--r--	68	testTB_Array_double.log.expected	blob \| history \| raw
-rw-r--r--	10520	testTB_Array_ecriture.ASM.expected	blob \| history \| raw
-rw-r--r--	6828	testTB_Array_ecriture.Clight.expected	blob \| history \| raw
-rw-r--r--	6582	testTB_Array_ecriture.Cminor.expected	blob \| history \| raw
-rw-r--r--	11857	testTB_Array_ecriture.ERTL.expected	blob \| history \| raw
-rw-r--r--	5693	testTB_Array_ecriture.LIN.expected	blob \| history \| raw
-rw-r--r--	11604	testTB_Array_ecriture.LTL.expected	blob \| history \| raw
-rw-r--r--	8687	testTB_Array_ecriture.RTL.expected	blob \| history \| raw
-rw-r--r--	7463	testTB_Array_ecriture.RTLabs.expected	blob \| history \| raw
-rw-r--r--	197	testTB_Array_ecriture.c	blob \| history \| raw
-rw-r--r--	197	testTB_Array_ecriture.c.expected	blob \| history \| raw
-rw-r--r--	69	testTB_Array_ecriture.log.expected	blob \| history \| raw
-rw-r--r--	10447	testTB_Array_lecture.ASM.expected	blob \| history \| raw
-rw-r--r--	6854	testTB_Array_lecture.Clight.expected	blob \| history \| raw
-rw-r--r--	6587	testTB_Array_lecture.Cminor.expected	blob \| history \| raw
-rw-r--r--	11144	testTB_Array_lecture.ERTL.expected	blob \| history \| raw
-rw-r--r--	5623	testTB_Array_lecture.LIN.expected	blob \| history \| raw
-rw-r--r--	10911	testTB_Array_lecture.LTL.expected	blob \| history \| raw
-rw-r--r--	8150	testTB_Array_lecture.RTL.expected	blob \| history \| raw
-rw-r--r--	7159	testTB_Array_lecture.RTLabs.expected	blob \| history \| raw
-rw-r--r--	193	testTB_Array_lecture.c	blob \| history \| raw
-rw-r--r--	193	testTB_Array_lecture.c.expected	blob \| history \| raw
-rw-r--r--	68	testTB_Array_lecture.log.expected	blob \| history \| raw
-rw-r--r--	11704	testTB_boucle.ASM.expected	blob \| history \| raw
-rw-r--r--	7086	testTB_boucle.Clight.expected	blob \| history \| raw
-rw-r--r--	7013	testTB_boucle.Cminor.expected	blob \| history \| raw
-rw-r--r--	18373	testTB_boucle.ERTL.expected	blob \| history \| raw
-rw-r--r--	6816	testTB_boucle.LIN.expected	blob \| history \| raw
-rw-r--r--	18323	testTB_boucle.LTL.expected	blob \| history \| raw
-rw-r--r--	15856	testTB_boucle.RTL.expected	blob \| history \| raw
-rw-r--r--	10117	testTB_boucle.RTLabs.expected	blob \| history \| raw
-rw-r--r--	322	testTB_boucle.c	blob \| history \| raw
-rw-r--r--	322	testTB_boucle.c.expected	blob \| history \| raw
-rw-r--r--	68	testTB_boucle.log.expected	blob \| history \| raw