Revision cef6a8e821f55e71b791555d22b45bd3debc2596 authored by Jonathan Protzenko on 08 May 2020, 16:26:29 UTC, committed by GitHub on 08 May 2020, 16:26:29 UTC
OCaml API: Don't run unit tests which require unsupported features
Vale.Math.Poly2.Galois.Lemmas.fst.hints
[
"�\u000f\u001e��\u0014�\u00061U\u001d���.�",
[
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_eq_to_poly",
1,
1,
0,
[ "@query" ],
0,
"12d5243bd94a49888b6eb55b7a527b3e"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_zero",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_Spec.GaloisField.field",
"function_token_typing_Vale.Math.Poly2.Lemmas.lemma_zero_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_irred_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_mul",
"lemma_Vale.Math.Poly2.Galois.lemma_to_poly_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_zero",
"lemma_Vale.Math.Poly2.lemma_degree_at_least",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_6c3579831eb81025494abc2bedea1303",
"typing_Spec.GaloisField.zero",
"typing_Vale.Math.Poly2.Galois.to_poly"
],
0,
"5ab20a8763b1e2fdeac0f0da9538cb3f"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_one",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_Spec.GaloisField.field",
"lemma_Vale.Math.Poly2.Galois.lemma_irred_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_mul",
"lemma_Vale.Math.Poly2.Galois.lemma_one",
"lemma_Vale.Math.Poly2.Galois.lemma_to_poly_degree",
"lemma_Vale.Math.Poly2.lemma_degree_at_least",
"typing_Spec.GaloisField.one",
"typing_Vale.Math.Poly2.Galois.to_poly"
],
0,
"4ed36d586044c43042ec271a38847643"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_commute",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_Spec.GaloisField.field",
"lemma_Vale.Math.Poly2.Galois.lemma_mul"
],
0,
"424f11a095b9631bd1583e19baec9451"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_associate",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_Spec.GaloisField.field",
"lemma_Vale.Math.Poly2.Galois.lemma_irred_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_mul",
"lemma_Vale.Math.Poly2.Galois.lemma_to_poly_degree",
"lemma_Vale.Math.Poly2.lemma_degree_at_least",
"typing_Spec.GaloisField.fmul",
"typing_Vale.Math.Poly2.Galois.to_poly"
],
0,
"5d4de36d95acaaedc21a91b2d8cd0c8d"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_distribute_left",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_Spec.GaloisField.field",
"lemma_Vale.Math.Poly2.Galois.lemma_add",
"lemma_Vale.Math.Poly2.Galois.lemma_irred_degree",
"lemma_Vale.Math.Poly2.Galois.lemma_mul",
"lemma_Vale.Math.Poly2.Galois.lemma_to_poly_degree",
"lemma_Vale.Math.Poly2.lemma_degree_at_least",
"typing_Spec.GaloisField.fadd", "typing_Spec.GaloisField.fmul",
"typing_Vale.Math.Poly2.Galois.to_poly"
],
0,
"7bb11dbf920c6f978be7d23ee0919f55"
],
[
"Vale.Math.Poly2.Galois.Lemmas.lemma_mul_distribute_right",
1,
1,
0,
[ "@query" ],
0,
"1c217b73038ad455af11947de35ae126"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...