1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
//! Tests written alongside the 0.49 type-architecture refactor
//! (`tests/v36/*.rs`): one file per workstream. Every reference value
//! cites the oracle call that produced it.
#[path = "perf_assert/mod.rs"]
mod perf_assert;
#[path = "v36/v36_b1_definite.rs"]
mod v36_b1_definite;
#[path = "v36/v36_b2_limits.rs"]
mod v36_b2_limits;
#[path = "v36/v36_b3_canon_solve.rs"]
mod v36_b3_canon_solve;
#[path = "v36/v36_s14c_residue.rs"]
mod v36_s14c_residue;
#[path = "v36/v36_s14d_assume.rs"]
mod v36_s14d_assume;
#[path = "v36/v36_s14e_solve.rs"]
mod v36_s14e_solve;
#[path = "v36/v36_s14f1_constants.rs"]
mod v36_s14f1_constants;
#[path = "v36/v36_s14f2_limits.rs"]
mod v36_s14f2_limits;
#[path = "v36/v36_s14f3_definite.rs"]
mod v36_s14f3_definite;
#[path = "v36/v36_s14f4_solve.rs"]
mod v36_s14f4_solve;
#[path = "v36/v36_s14f5_matrix_ode.rs"]
mod v36_s14f5_matrix_ode;
#[path = "v36/v36_s15g1_undefined.rs"]
mod v36_s15g1_undefined;
#[path = "v36/v36_s15g2_solve.rs"]
mod v36_s15g2_solve;
#[path = "v36/v36_s15g3_quadrature.rs"]
mod v36_s15g3_quadrature;
#[path = "v36/v36_s15g4_float_evidence.rs"]
mod v36_s15g4_float_evidence;
#[path = "v36/v36_s15g5_conventions.rs"]
mod v36_s15g5_conventions;
#[path = "v36/v36_s15h1_infinity.rs"]
mod v36_s15h1_infinity;
#[path = "v36/v36_s15h2_evalf.rs"]
mod v36_s15h2_evalf;
#[path = "v36/v36_s15h3_integration.rs"]
mod v36_s15h3_integration;
#[path = "v36/v36_s15h4_constants.rs"]
mod v36_s15h4_constants;
#[path = "v36/v36_s15h5_float_evidence.rs"]
mod v36_s15h5_float_evidence;
#[path = "v36/v36_s15j1_solve.rs"]
mod v36_s15j1_solve;
#[path = "v36/v36_s15j2_summation.rs"]
mod v36_s15j2_summation;
#[path = "v36/v36_s15j3_evalf.rs"]
mod v36_s15j3_evalf;
#[path = "v36/v36_s15j4_float_evidence.rs"]
mod v36_s15j4_float_evidence;
#[path = "v36/v36_s15j5_integration.rs"]
mod v36_s15j5_integration;
#[path = "v36/v36_s15k1_silent.rs"]
mod v36_s15k1_silent;
#[path = "v36/v36_s15k2_products.rs"]
mod v36_s15k2_products;
#[path = "v36/v36_s15k3_stats.rs"]
mod v36_s15k3_stats;
#[path = "v36/v36_s15k4_functions.rs"]
mod v36_s15k4_functions;
#[path = "v36/v36_s15k5_integration.rs"]
mod v36_s15k5_integration;
#[path = "v36/v36_s15l1_fuzz_stats.rs"]
mod v36_s15l1_fuzz_stats;
#[path = "v36/v36_s15l2_families.rs"]
mod v36_s15l2_families;
#[path = "v36/v36_s15l3_tests.rs"]
mod v36_s15l3_tests;
#[path = "v36/v36_s15l4_models.rs"]
mod v36_s15l4_models;
#[path = "v36/v36_s15l5_numerics.rs"]
mod v36_s15l5_numerics;
#[path = "v36/v36_s15m1_value_class.rs"]
mod v36_s15m1_value_class;
#[path = "v36/v36_s15m2_divisors.rs"]
mod v36_s15m2_divisors;
#[path = "v36/v36_s15m3_alloc.rs"]
mod v36_s15m3_alloc;
#[path = "v36/v36_s15m4_perf.rs"]
mod v36_s15m4_perf;
#[path = "v36/v36_s15m5_values.rs"]
mod v36_s15m5_values;
#[path = "v36/v36_s15n1_limit_power.rs"]
mod v36_s15n1_limit_power;
#[path = "v36/v36_w10_poly.rs"]
mod v36_w10_poly;
#[path = "v36/v36_w10b_domains.rs"]
mod v36_w10b_domains;
#[path = "v36/v36_w10c_domains.rs"]
mod v36_w10c_domains;
#[path = "v36/v36_w11_evalf.rs"]
mod v36_w11_evalf;
#[path = "v36/v36_w11b_evalf.rs"]
mod v36_w11b_evalf;
#[path = "v36/v36_w12_perf.rs"]
mod v36_w12_perf;
#[path = "v36/v36_w1_ids.rs"]
mod v36_w1_ids;
#[path = "v36/v36_w2_truth.rs"]
mod v36_w2_truth;
#[path = "v36/v36_w3_solve.rs"]
mod v36_w3_solve;
#[path = "v36/v36_w3b_solve.rs"]
mod v36_w3b_solve;
#[path = "v36/v36_w3c_solve.rs"]
mod v36_w3c_solve;
#[path = "v36/v36_w4_numerics.rs"]
mod v36_w4_numerics;
#[path = "v36/v36_w5_func.rs"]
mod v36_w5_func;
#[path = "v36/v36_w6_facets.rs"]
mod v36_w6_facets;
#[path = "v36/v36_w6b_codegen.rs"]
mod v36_w6b_codegen;
#[path = "v36/v36_w6c_lib.rs"]
mod v36_w6c_lib;
#[path = "v36/v36_w6d_funcs.rs"]
mod v36_w6d_funcs;
#[path = "v36/v36_w7_nodes.rs"]
mod v36_w7_nodes;
#[path = "v36/v36_w8_truth.rs"]
mod v36_w8_truth;
#[path = "v36/v36_w8b_deciders.rs"]
mod v36_w8b_deciders;
#[path = "v36/v36_w8c_truth.rs"]
mod v36_w8c_truth;
#[path = "v36/v36_w9_budgets.rs"]
mod v36_w9_budgets;