Public Git Hosting - why3.git/tree

drwxr-xr-x		..
-rw-r--r--	457	TODO	blob \| blame \| history \| raw
drwxr-xr-x	-	WP_revisited	tree \| history
-rw-r--r--	1789	add_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	add_list	tree \| history
-rw-r--r--	1833	add_list_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	add_list_vc_sp	tree \| history
-rw-r--r--	2918	algo63.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo63	tree \| history
drwxr-xr-x	-	algo63_fastwp	tree \| history
-rw-r--r--	1690	algo64.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo64	tree \| history
-rw-r--r--	1787	algo65.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	algo65	tree \| history
-rw-r--r--	1060	all_distinct.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	all_distinct	tree \| history
-rw-r--r--	2887	arm.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	arm	tree \| history
-rw-r--r--	1119	assigning_meanings_to_programs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	assigning_meanings_to_programs	tree \| history
drwxr-xr-x	-	avl	tree \| history
-rw-r--r--	4997	bag.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bag	tree \| history
-rw-r--r--	5757	balance.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	balance	tree \| history
-rw-r--r--	12191	bellman_ford.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bellman_ford	tree \| history
-rwxr-xr-x	1644	bench.sh	blob \| blame \| history \| raw
-rw-r--r--	2126	bignum.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bignum	tree \| history
-rw-r--r--	1704	binary_multiplication.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_multiplication	tree \| history
-rw-r--r--	5183	binary_search.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_search	tree \| history
-rw-r--r--	4076	binary_search_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_search_vc_sp	tree \| history
-rw-r--r--	2358	binary_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_sort	tree \| history
-rw-r--r--	1369	binary_sqrt.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binary_sqrt	tree \| history
-rw-r--r--	8833	binomial_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	binomial_heap	tree \| history
-rw-r--r--	16595	bitcount.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitcount	tree \| history
-rw-r--r--	10078	bitvector_examples.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitvector_examples	tree \| history
drwxr-xr-x	-	bitvectors	tree \| history
-rw-r--r--	12566	bitwalker.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bitwalker	tree \| history
-rw-r--r--	6854	braun_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	braun_trees	tree \| history
-rw-r--r--	1678	bresenham.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bresenham	tree \| history
drwxr-xr-x	-	bts	tree \| history
-rw-r--r--	1600	bubble_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	bubble_sort	tree \| history
drwxr-xr-x	-	check-builtin	tree \| history
-rw-r--r--	1104	checking_a_large_routine.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	checking_a_large_routine	tree \| history
-rw-r--r--	2154	coincidence_count.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	coincidence_count	tree \| history
-rw-r--r--	2625	coincidence_count_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	coincidence_count_list	tree \| history
-rw-r--r--	3665	conjugate.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	conjugate	tree \| history
-rw-r--r--	4408	counting_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	counting_sort	tree \| history
-rw-r--r--	527	cubic_root.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	cubic_root	tree \| history
-rw-r--r--	6138	cursor_examples.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	cursor_examples	tree \| history
-rw-r--r--	1646	decrease1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	decrease1	tree \| history
-rw-r--r--	26389	defunctionalization.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	defunctionalization	tree \| history
-rw-r--r--	2609	dfa_example.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dfa_example	tree \| history
-rw-r--r--	3143	dfs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dfs	tree \| history
-rw-r--r--	6797	dijkstra.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dijkstra	tree \| history
-rw-r--r--	391	division.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	division	tree \| history
drwxr-xr-x	-	doc_examples	tree \| history
drwxr-xr-x	-	double_wp	tree \| history
-rw-r--r--	2191	dyck.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	dyck	tree \| history
-rw-r--r--	4859	edit_distance.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	edit_distance	tree \| history
-rw-r--r--	2470	esterel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	esterel	tree \| history
-rw-r--r--	4691	euler001.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler001	tree \| history
-rw-r--r--	2769	euler002.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler002	tree \| history
-rw-r--r--	7467	euler011.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	euler011	tree \| history
-rw-r--r--	468	ewd673.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	ewd673	tree \| history
-rw-r--r--	1245	f_puzzle.why	blob \| blame \| history \| raw
drwxr-xr-x	-	f_puzzle	tree \| history
-rw-r--r--	856	fact.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fact	tree \| history
-rw-r--r--	882	fact_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fact_vc_sp	tree \| history
-rw-r--r--	4354	fenwick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fenwick	tree \| history
-rw-r--r--	934	fib_memo.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fib_memo	tree \| history
-rw-r--r--	9161	fibonacci.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fibonacci	tree \| history
-rw-r--r--	954	fill.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	fill	tree \| history
-rw-r--r--	2685	find.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	find	tree \| history
-rw-r--r--	1905	finger_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	finger_trees	tree \| history
-rw-r--r--	1729	finite_tarski.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	finite_tarski	tree \| history
-rw-r--r--	1441	flag.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	flag	tree \| history
-rw-r--r--	3991	flag2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	flag2	tree \| history
drwxr-xr-x	-	foveoos11-cm	tree \| history
-rw-r--r--	706	foveoos11_challenge1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge1	tree \| history
-rw-r--r--	903	foveoos11_challenge2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge2	tree \| history
-rw-r--r--	1623	foveoos11_challenge3.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	foveoos11_challenge3	tree \| history
-rw-r--r--	2997	gcd.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd	tree \| history
-rw-r--r--	980	gcd_bezout.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_bezout	tree \| history
-rw-r--r--	989	gcd_bezout_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_bezout_vc_sp	tree \| history
-rw-r--r--	3034	gcd_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gcd_vc_sp	tree \| history
-rw-r--r--	2753	generate_all_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	generate_all_trees	tree \| history
-rw-r--r--	709	gnome_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	gnome_sort	tree \| history
-rw-r--r--	11581	hackers-delight.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hackers-delight	tree \| history
-rw-r--r--	4990	hashtbl_impl.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hashtbl_impl	tree \| history
-rw-r--r--	8382	hillel_challenge.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	hillel_challenge	tree \| history
drwxr-xr-x	-	in_progress	tree \| history
-rw-r--r--	481	incremental.mlw	blob \| blame \| history \| raw
-rw-r--r--	1868	induction.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	induction	tree \| history
-rw-r--r--	3150	insertion_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort	tree \| history
-rw-r--r--	837	insertion_sort_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort_list	tree \| history
-rw-r--r--	5335	insertion_sort_naive.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	insertion_sort_naive	tree \| history
-rw-r--r--	3099	inverse_in_place.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	inverse_in_place	tree \| history
-rw-r--r--	2016	isqrt.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	isqrt	tree \| history
-rw-r--r--	7574	isqrt_von_neumann.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	isqrt_von_neumann	tree \| history
-rw-r--r--	4930	kmp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	kmp	tree \| history
-rw-r--r--	4013	knuth_prime_numbers.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	knuth_prime_numbers	tree \| history
-rw-r--r--	19496	koda_ruskey.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	koda_ruskey	tree \| history
-rw-r--r--	2650	largest_prime_factor.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	largest_prime_factor	tree \| history
-rw-r--r--	1014	lcp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	lcp	tree \| history
-rw-r--r--	5847	leftist_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	leftist_heap	tree \| history
-rw-r--r--	11320	linear_probing.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	linear_probing	tree \| history
-rw-r--r--	11919	linked_list_rev.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	linked_list_rev	tree \| history
drwxr-xr-x	-	logic	tree \| history
-rw-r--r--	5533	max_matrix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	max_matrix	tree \| history
-rw-r--r--	9118	maximum_subarray.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	maximum_subarray	tree \| history
-rw-r--r--	7755	mccarthy.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mccarthy	tree \| history
-rw-r--r--	3716	mccarthy_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mccarthy_vc_sp	tree \| history
-rw-r--r--	9973	mergesort_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_array	tree \| history
-rw-r--r--	9522	mergesort_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_list	tree \| history
-rw-r--r--	2214	mergesort_queue.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mergesort_queue	tree \| history
-rw-r--r--	4443	mex.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mex	tree \| history
-rw-r--r--	1887	mjrty.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	mjrty	tree \| history
-rw-r--r--	797	muller.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	muller	tree \| history
drwxr-xr-x	-	multiprecision	tree \| history
-rw-r--r--	1109	my_cosine.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	my_cosine	tree \| history
-rw-r--r--	1478	nistonacci.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	nistonacci	tree \| history
-rw-r--r--	2295	optimal_replay.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	optimal_replay	tree \| history
-rw-r--r--	7292	pairing_heap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pairing_heap	tree \| history
-rw-r--r--	6088	pairing_heap_bin.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pairing_heap_bin	tree \| history
-rw-r--r--	1868	pancake_sorting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pancake_sorting	tree \| history
-rw-r--r--	28043	patience.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	patience	tree \| history
-rw-r--r--	881	pigeonhole.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	pigeonhole	tree \| history
-rw-r--r--	908	power.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	power	tree \| history
-rw-r--r--	934	power_vc_sp.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	power_vc_sp	tree \| history
drwxr-xr-x	-	prover	tree \| history
-rw-r--r--	5506	queens.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	queens	tree \| history
-rw-r--r--	11249	queens_bv.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	queens_bv	tree \| history
-rw-r--r--	5640	quicksort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	quicksort	tree \| history
-rw-r--r--	8058	random_access_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	random_access_list	tree \| history
-rw-r--r--	335	reduced_regtests.list	blob \| blame \| history \| raw
-rw-r--r--	8855	register_allocation.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	register_allocation	tree \| history
-rwxr-xr-x	2787	regtests.sh	blob \| blame \| history \| raw
-rw-r--r--	1421	relabel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	relabel	tree \| history
-rw-r--r--	2064	remove_duplicate.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	remove_duplicate	tree \| history
-rw-r--r--	2210	remove_duplicate_hash.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	remove_duplicate_hash	tree \| history
-rw-r--r--	2464	residual.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	residual	tree \| history
-rw-r--r--	4560	resizable_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	resizable_array	tree \| history
-rw-r--r--	903	rightmostbittrick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	rightmostbittrick	tree \| history
-rw-r--r--	11384	ropes.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	ropes	tree \| history
-rw-r--r--	2419	same_fringe.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	same_fringe	tree \| history
-rw-r--r--	12276	schorr_waite.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite	tree \| history
-rw-r--r--	12715	schorr_waite_via_recursion.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite_via_recursion	tree \| history
-rw-r--r--	9557	schorr_waite_with_ghost_monitor.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	schorr_waite_with_ghost_monitor	tree \| history
-rw-r--r--	1624	selection_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	selection_sort	tree \| history
-rw-r--r--	3638	sf.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sf	tree \| history
-rw-r--r--	1948	sieve.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sieve	tree \| history
-rw-r--r--	1395	simple_queue.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	simple_queue	tree \| history
-rw-r--r--	5007	skew_heaps.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	skew_heaps	tree \| history
-rw-r--r--	4082	snapshotable_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	snapshotable_trees	tree \| history
-rw-r--r--	454	sorted_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sorted_list	tree \| history
drwxr-xr-x	-	stdlib	tree \| history
-rw-r--r--	23972	sudoku.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sudoku	tree \| history
-rw-r--r--	12427	sumrange.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	sumrange	tree \| history
-rw-r--r--	1589	swap.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	swap	tree \| history
drwxr-xr-x	-	tests-provers	tree \| history
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	2657	there_and_back_again.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	there_and_back_again	tree \| history
-rw-r--r--	6569	topological_sorting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	topological_sorting	tree \| history
-rw-r--r--	5418	tortoise_and_hare.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tortoise_and_hare	tree \| history
-rw-r--r--	3092	tower_of_hanoi.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tower_of_hanoi	tree \| history
-rw-r--r--	2067	toy_compiler.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	toy_compiler	tree \| history
-rw-r--r--	7261	tree_height.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_height	tree \| history
-rw-r--r--	1177	tree_of_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_of_array	tree \| history
-rw-r--r--	1291	tree_of_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	tree_of_list	tree \| history
-rw-r--r--	3400	unraveling_a_card_trick.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	unraveling_a_card_trick	tree \| history
drwxr-xr-x	-	use_api	tree \| history
drwxr-xr-x	-	util	tree \| history
drwxr-xr-x	-	vacid_0_binary_heaps	tree \| history
-rw-r--r--	4940	vacid_0_build_maze.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_build_maze	tree \| history
-rw-r--r--	9898	vacid_0_red_black_trees.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_red_black_trees	tree \| history
-rw-r--r--	4414	vacid_0_sparse_array.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vacid_0_sparse_array	tree \| history
-rw-r--r--	3754	verifythis_2015_dancing_links.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_dancing_links	tree \| history
-rw-r--r--	7856	verifythis_2015_parallel_gcd.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_parallel_gcd	tree \| history
-rw-r--r--	4133	verifythis_2015_relaxed_prefix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2015_relaxed_prefix	tree \| history
drwxr-xr-x	-	verifythis_2016_matrix_multiplication	tree \| history
-rw-r--r--	25187	verifythis_2016_tree_traversal.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2016_tree_traversal	tree \| history
-rw-r--r--	3568	verifythis_2017_maximum_sum_submatrix.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_maximum_sum_submatrix	tree \| history
-rw-r--r--	4929	verifythis_2017_odd_even_sort_rearranging.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_odd_even_sort_rearranging	tree \| history
-rw-r--r--	3190	verifythis_2017_odd_even_transposition_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_odd_even_transposition_sort	tree \| history
-rw-r--r--	4289	verifythis_2017_pair_insertion_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_pair_insertion_sort	tree \| history
-rw-r--r--	4759	verifythis_2017_tree_buffer.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2017_tree_buffer	tree \| history
-rw-r--r--	6719	verifythis_2018_array_based_queuing_lock_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_array_based_queuing_lock_1	tree \| history
-rw-r--r--	18796	verifythis_2018_array_based_queuing_lock_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_array_based_queuing_lock_2	tree \| history
-rw-r--r--	12711	verifythis_2018_le_rouge_et_le_noir_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_le_rouge_et_le_noir_1	tree \| history
-rw-r--r--	7322	verifythis_2018_le_rouge_et_le_noir_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_le_rouge_et_le_noir_2	tree \| history
-rw-r--r--	2445	verifythis_2018_mind_the_gap_1.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_mind_the_gap_1	tree \| history
-rw-r--r--	3088	verifythis_2018_mind_the_gap_2.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_2018_mind_the_gap_2	tree \| history
-rw-r--r--	7473	verifythis_PrefixSumRec.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_PrefixSumRec	tree \| history
-rw-r--r--	15360	verifythis_fm2012_LRS.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_fm2012_LRS	tree \| history
-rw-r--r--	8035	verifythis_fm2012_treedel.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	verifythis_fm2012_treedel	tree \| history
-rw-r--r--	1534	vstte10_aqueue.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_aqueue	tree \| history
-rw-r--r--	1896	vstte10_inverting.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_inverting	tree \| history
-rw-r--r--	1964	vstte10_max_sum.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_max_sum	tree \| history
-rw-r--r--	6392	vstte10_queens.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_queens	tree \| history
-rw-r--r--	1825	vstte10_search_list.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte10_search_list	tree \| history
-rw-r--r--	4456	vstte12_bfs.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_bfs	tree \| history
-rw-r--r--	5934	vstte12_combinators.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_combinators	tree \| history
-rw-r--r--	7571	vstte12_ring_buffer.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_ring_buffer	tree \| history
-rw-r--r--	9722	vstte12_tree_reconstruction.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_tree_reconstruction	tree \| history
-rw-r--r--	1012	vstte12_two_way_sort.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	vstte12_two_way_sort	tree \| history
-rw-r--r--	1884	warshall_algorithm.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	warshall_algorithm	tree \| history
-rw-r--r--	1366	white_and_black_balls.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	white_and_black_balls	tree \| history
-rw-r--r--	2743	zeros.mlw	blob \| blame \| history \| raw
drwxr-xr-x	-	zeros	tree \| history