raytracer « test - debian-compcert - Debian packaging for CompCert

Mode	Name	Size
-rw-r--r--	.depend	1003	log plain
-rw-r--r--	Makefile	1076	log plain
d---------	Results	35	log plain
-rw-r--r--	arrays.c	780	log plain
-rw-r--r--	arrays.h	797	log plain
-rw-r--r--	config.h	272	log plain
-rw-r--r--	eval.c	16380	log plain
-rw-r--r--	eval.h	358	log plain
-rw-r--r--	gml.h	1145	log plain
-rw-r--r--	gmllexer.c	7037	log plain
-rw-r--r--	gmllexer.h	589	log plain
-rw-r--r--	gmlparser.c	1986	log plain
-rw-r--r--	gmlparser.h	58	log plain
-rw-r--r--	intersect.c	11618	log plain
-rw-r--r--	intersect.h	480	log plain
-rw-r--r--	kal.gml	1367	log plain
-rw-r--r--	light.c	3577	log plain
-rw-r--r--	light.h	963	log plain
-rw-r--r--	main.c	221	log plain
-rw-r--r--	matrix.c	3219	log plain
-rw-r--r--	matrix.h	585	log plain
-rw-r--r--	memory.c	1115	log plain
-rw-r--r--	object.c	5618	log plain
-rw-r--r--	object.h	1423	log plain
-rw-r--r--	point.h	217	log plain
-rw-r--r--	render.c	3571	log plain
-rw-r--r--	render.h	245	log plain
-rw-r--r--	simplify.c	4825	log plain
-rw-r--r--	simplify.h	118	log plain
-rw-r--r--	surface.c	3591	log plain
-rw-r--r--	surface.h	281	log plain
-rw-r--r--	vector.c	1528	log plain
-rw-r--r--	vector.h	768	log plain