pic - inpla.git - A fork of Inpla, a multi-threaded parallel interpreter of interaction nets

Mode	Name	Size
-rw-r--r--	add1.png	6067	log plain blame
-rw-r--r--	add2.png	6250	log plain blame
-rw-r--r--	agent.png	1406	log plain blame
-rw-r--r--	benchmark_reuse_v0.10.0.png	40609	log plain blame
-rw-r--r--	benchmark_reuse_v0.10.6.png	38912	log plain blame
-rw-r--r--	benchmark_reuse_v0.10.7.png	40501	log plain blame
-rw-r--r--	benchmark_reuse_v0.11.0.png	39117	log plain blame
-rw-r--r--	benchmark_reuse_v0.12.2.png	39329	log plain blame
-rw-r--r--	benchmark_reuse_v0.13.0.png	39722	log plain blame
-rw-r--r--	benchmark_reuse_v0.8.2-1-260K.png	29811	log plain blame
-rw-r--r--	benchmark_reuse_v0.8.2-1.png	30044	log plain blame
-rw-r--r--	benchmark_reuse_v0.8.2-2.png	30905	log plain blame
-rw-r--r--	benchmark_reuse_v0.8.2.png	29036	log plain blame
-rw-r--r--	benchmark_reuse_v0.9.2-3.png	38717	log plain blame
-rw-r--r--	dup.png	13818	log plain blame
-rw-r--r--	dup_list.png	5794	log plain blame
-rw-r--r--	eraser.png	8663	log plain blame
-rw-r--r--	flexibily_expandable.png	26483	log plain blame
-rw-r--r--	inpla-logo.png	2000	log plain blame
-rw-r--r--	isort.png	19440	log plain blame
-rw-r--r--	merger.png	16448	log plain blame
-rw-r--r--	qsort.png	29271	log plain blame