colo12-c703.uibk.ac.at Git - Flyspeck/.git/tree - formal_lp/old/formal

drwxr-xr-x		..
-rw-r--r--	8004	eval_interval.hl	blob \| history \| raw
drwxr-xr-x	-	interval_1d	tree \| history
drwxr-xr-x	-	interval_m	tree \| history
-rw-r--r--	21264	lin_approx.hl	blob \| history \| raw
-rw-r--r--	1970	m_examples_poly.hl	blob \| history \| raw
-rw-r--r--	73087	m_taylor.hl	blob \| history \| raw
-rw-r--r--	64665	m_taylor_arith.hl	blob \| history \| raw
-rw-r--r--	25562	m_taylor_arith2.hl	blob \| history \| raw
-rw-r--r--	38905	m_taylor_old.hl	blob \| history \| raw
-rw-r--r--	6311	m_test.hl	blob \| history \| raw
-rw-r--r--	19719	m_tests.hl	blob \| history \| raw
-rw-r--r--	17231	m_tests2.hl	blob \| history \| raw
-rw-r--r--	11399	m_tests3.hl	blob \| history \| raw
-rw-r--r--	6117	m_tests4.hl	blob \| history \| raw
-rw-r--r--	50885	m_verifier.hl	blob \| history \| raw
-rw-r--r--	3244	m_verifier0.hl	blob \| history \| raw
-rw-r--r--	18888	more_float.hl	blob \| history \| raw
-rw-r--r--	46208	second_approx.hl	blob \| history \| raw
-rw-r--r--	14525	test.hl	blob \| history \| raw
-rw-r--r--	9041	test_taylor_arith.hl	blob \| history \| raw
-rw-r--r--	4847	tests_cmp.hl	blob \| history \| raw
drwxr-xr-x	-	theory	tree \| history
-rw-r--r--	9552	verifier.hl	blob \| history \| raw