annexia.org >> repositories - libguestfs-talks.git/tree

drwxr-xr-x		..
-rw-r--r--	19	.gitignore	blob \| history \| raw
-rw-r--r--	705	1000-introduction.html	blob \| history \| raw
-rwxr-xr-x	772	1500-frama-c-core-plugins.html	blob \| history \| raw
-rwxr-xr-x	439	1700-frama-c-history.html	blob \| history \| raw
-rwxr-xr-x	225	2000-range-intro.term	blob \| history \| raw
-rw-r--r--	1049	2100-range-struct.html	blob \| history \| raw
-rw-r--r--	628	2200-range-predicates.html	blob \| history \| raw
-rwxr-xr-x	203	2300-range-is-empty.term	blob \| history \| raw
-rw-r--r--	807	2400-range-is-empty.html	blob \| history \| raw
-rw-r--r--	404	2500-range-contains-1.html	blob \| history \| raw
-rw-r--r--	735	2550-range-contains-2.html	blob \| history \| raw
-rw-r--r--	568	2600-range-make-empty.html	blob \| history \| raw
-rw-r--r--	374	2700-range-size-1.html	blob \| history \| raw
-rwxr-xr-x	275	2710-range-size-2.term	blob \| history \| raw
-rw-r--r--	924	2720-range-size-3.html	blob \| history \| raw
-rwxr-xr-x	201	2730-range-size-4.term	blob \| history \| raw
-rw-r--r--	553	2800-range-init.html	blob \| history \| raw
-rw-r--r--	1465	2810-range-init.html	blob \| history \| raw
-rw-r--r--	724	2820-range-init-spec.html	blob \| history \| raw
-rw-r--r--	611	2830-range-init-spec-2.html	blob \| history \| raw
-rw-r--r--	483	2900-range-summary.html	blob \| history \| raw
-rw-r--r--	512	5200-timeval.html	blob \| history \| raw
-rw-r--r--	987	5300-timeval.html	blob \| history \| raw
-rw-r--r--	2838	5400-timeval.html	blob \| history \| raw
-rw-r--r--	2013	6000-strverscmp.html	blob \| history \| raw
-rw-r--r--	470	6100-strlen-0.html	blob \| history \| raw
-rw-r--r--	633	6200-strlen-1.html	blob \| history \| raw
-rw-r--r--	1254	6300-strlen-2.html	blob \| history \| raw
-rw-r--r--	938	6400-strlen-kernel-proof.html	blob \| history \| raw
-rwxr-xr-x	292	6500-strlen.term	blob \| history \| raw
-rw-r--r--	572	9000-conclusions-1.html	blob \| history \| raw
-rw-r--r--	481	9100-conclusions-2.html	blob \| history \| raw
-rw-r--r--	821	9200-alternatives.html	blob \| history \| raw
-rw-r--r--	1844	9300-resources.html	blob \| history \| raw
-rw-r--r--	692	bashrc	blob \| history \| raw
-rw-r--r--	0	code.js	blob \| history \| raw
-rw-r--r--	1162	functions	blob \| history \| raw
-rw-r--r--	22540	notes.txt	blob \| history \| raw
-rw-r--r--	8766	redhat.png	blob \| history \| raw
-rwxr-xr-x	27	restore	blob \| history \| raw
-rwxr-xr-x	466	run	blob \| history \| raw
drwxr-xr-x	-	slides	tree \| history
drwxr-xr-x	-	snippets	tree \| history
-rw-r--r--	1846	style.css	blob \| history \| raw