More axing the hax

Author: satiscugcat

testable-simd-models/src/abstractions/bitvec.rs

@@ -4,7 +4,6 @@ use super::funarr::*;
 
 use std::fmt::Formatter;
 
-// TODO: this module uses `u128/i128` as mathematic integers. We should use `hax_lib::int` or bigint.
 
 /// A fixed-size bit vector type.
 ///
@@ -19,7 +18,7 @@ use std::fmt::Formatter;
 #[derive(Copy, Clone, Eq, PartialEq)]
 pub struct BitVec<const N: u64>(FunArray<N, Bit>);
 
-/// Pretty prints a bit slice by group of 8#[hax_lib::exclude]
+/// Pretty prints a bit slice by group of 8
 fn bit_slice_to_string(bits: &[Bit]) -> String {
     bits.iter()
         .map(|bit| match bit {

testable-simd-models/src/core_arch/x86/tests/mod.rs

@@ -53,7 +53,7 @@ pub(crate) mod upstream {
     #[cfg(target_arch = "x86_64")]
     pub use core::arch::x86_64::*;
 }
-#[hax_lib::exclude]
+
 mod conversions {
     use super::upstream::{
         __m128i, __m256, __m256i, _mm256_castps_si256, _mm256_castsi256_ps, _mm256_loadu_si256,