From d1ed427af517cacf8dff8f8f950476a80c327194 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Mon, 11 Jan 2021 13:39:48 -0800 Subject: [PATCH] add fiat backends to Travis tests --- .travis.yml | 4 ++++ Cargo.toml | 2 +- src/lib.rs | 1 + 3 files changed, 6 insertions(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 4b61db34b..f2411e005 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,6 +9,10 @@ env: - TEST_COMMAND=test EXTRA_FLAGS='--no-default-features' FEATURES='std u32_backend' # Tests the u64 backend - TEST_COMMAND=test EXTRA_FLAGS='--no-default-features' FEATURES='std u64_backend' + # Tests the fiat_u32 backend + - TEST_COMMAND=test EXTRA_FLAGS='--no-default-features' FEATURES='std fiat_u32_backend' + # Tests the fiat_u64 backend + - TEST_COMMAND=test EXTRA_FLAGS='--no-default-features' FEATURES='std fiat_u64_backend' # Tests the simd backend - TEST_COMMAND=test EXTRA_FLAGS='--no-default-features' FEATURES='std simd_backend' # Tests serde support and default feature selection diff --git a/Cargo.toml b/Cargo.toml index d33703fe7..e39b73a45 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -63,7 +63,7 @@ u32_backend = [] u64_backend = [] # fiat-u64 backend (with formally-verified field arith) uses u64s with u128 products. fiat_u64_backend = ["fiat-crypto"] -# fiat-u32 backend (with formally-verified field arith) uses u64s with u128 products. +# fiat-u32 backend (with formally-verified field arith) uses u32s with u64 products. fiat_u32_backend = ["fiat-crypto"] # The SIMD backend uses parallel formulas, using either AVX2 or AVX512-IFMA. simd_backend = ["nightly", "u64_backend", "packed_simd"] diff --git a/src/lib.rs b/src/lib.rs index f3530850c..e15ffa0ad 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -18,6 +18,7 @@ // This means that missing docs will still fail CI, but means we can use // README.md as the crate documentation. #![cfg_attr(feature = "nightly", deny(missing_docs))] + #![cfg_attr(feature = "nightly", doc(include = "../README.md"))] #![doc(html_logo_url = "https://doc.dalek.rs/assets/dalek-logo-clear.png")] #![doc(html_root_url = "https://docs.rs/curve25519-dalek/3.0.2")]