List of all items

Structs

• abstractions::bitvec::BitVec
• abstractions::funarr::FunArray

Enums

• abstractions::bit::Bit

Traits

• abstractions::bit::MachineInteger

Functions

• abstractions::bitvec::bitvec_postprocess_norm
• core_arch::x86::avx2::_mm256_abs_epi32
• core_arch::x86::avx2::_mm256_add_epi16
• core_arch::x86::avx2::_mm256_add_epi32
• core_arch::x86::avx2::_mm256_add_epi64
• core_arch::x86::avx2::_mm256_and_si256
• core_arch::x86::avx2::_mm256_andnot_si256
• core_arch::x86::avx2::_mm256_blend_epi16
• core_arch::x86::avx2::_mm256_blend_epi32
• core_arch::x86::avx2::_mm256_bsrli_epi128
• core_arch::x86::avx2::_mm256_cmpeq_epi32
• core_arch::x86::avx2::_mm256_cmpgt_epi16
• core_arch::x86::avx2::_mm256_cmpgt_epi32
• core_arch::x86::avx2::_mm256_cvtepi16_epi32
• core_arch::x86::avx2::_mm256_extracti128_si256
• core_arch::x86::avx2::_mm256_inserti128_si256
• core_arch::x86::avx2::_mm256_madd_epi16
• core_arch::x86::avx2::_mm256_mul_epi32
• core_arch::x86::avx2::_mm256_mul_epu32
• core_arch::x86::avx2::_mm256_mulhi_epi16
• core_arch::x86::avx2::_mm256_mullo_epi16
• core_arch::x86::avx2::_mm256_mullo_epi32
• core_arch::x86::avx2::_mm256_or_si256
• core_arch::x86::avx2::_mm256_packs_epi32
• core_arch::x86::avx2::_mm256_permute2x128_si256
• core_arch::x86::avx2::_mm256_permute4x64_epi64
• core_arch::x86::avx2::_mm256_permutevar8x32_epi32
• core_arch::x86::avx2::_mm256_shuffle_epi32
• core_arch::x86::avx2::_mm256_shuffle_epi8
• core_arch::x86::avx2::_mm256_sign_epi32
• core_arch::x86::avx2::_mm256_slli_epi16
• core_arch::x86::avx2::_mm256_slli_epi32
• core_arch::x86::avx2::_mm256_slli_epi64
• core_arch::x86::avx2::_mm256_sllv_epi32
• core_arch::x86::avx2::_mm256_srai_epi16
• core_arch::x86::avx2::_mm256_srai_epi32
• core_arch::x86::avx2::_mm256_srli_epi16
• core_arch::x86::avx2::_mm256_srli_epi32
• core_arch::x86::avx2::_mm256_srli_epi64
• core_arch::x86::avx2::_mm256_srlv_epi32
• core_arch::x86::avx2::_mm256_srlv_epi64
• core_arch::x86::avx2::_mm256_sub_epi16
• core_arch::x86::avx2::_mm256_sub_epi32
• core_arch::x86::avx2::_mm256_unpackhi_epi32
• core_arch::x86::avx2::_mm256_unpackhi_epi64
• core_arch::x86::avx2::_mm256_unpacklo_epi32
• core_arch::x86::avx2::_mm256_unpacklo_epi64
• core_arch::x86::avx2::_mm256_xor_si256
• core_arch::x86::avx2::_mm_sllv_epi32
• core_arch::x86::avx2::_mm_storeu_si128
• core_arch::x86::avx::_mm256_blendv_ps
• core_arch::x86::avx::_mm256_castps_si256
• core_arch::x86::avx::_mm256_castsi128_si256
• core_arch::x86::avx::_mm256_castsi256_ps
• core_arch::x86::avx::_mm256_castsi256_si128
• core_arch::x86::avx::_mm256_loadu_si256
• core_arch::x86::avx::_mm256_movemask_ps
• core_arch::x86::avx::_mm256_set1_epi16
• core_arch::x86::avx::_mm256_set1_epi32
• core_arch::x86::avx::_mm256_set1_epi64x
• core_arch::x86::avx::_mm256_set_epi16
• core_arch::x86::avx::_mm256_set_epi32
• core_arch::x86::avx::_mm256_set_epi64x
• core_arch::x86::avx::_mm256_set_epi8
• core_arch::x86::avx::_mm256_set_m128i
• core_arch::x86::avx::_mm256_setzero_si256
• core_arch::x86::avx::_mm256_storeu_si256
• core_arch::x86::avx::_mm256_testz_si256
• core_arch::x86::extra::mm256_mullo_epi16_shifts
• core_arch::x86::extra::mm256_mullo_epi16_shifts_array
• core_arch::x86::extra::mm256_permutevar8x32_epi32_u32
• core_arch::x86::extra::mm256_permutevar8x32_epi32_u32_array
• core_arch::x86::extra::mm256_shuffle_epi8_i8
• core_arch::x86::extra::mm256_shuffle_epi8_i8_array
• core_arch::x86::extra::mm256_sllv_epi32_u32
• core_arch::x86::extra::mm256_sllv_epi32_u32_array
• core_arch::x86::extra::mm256_srlv_epi32_u32
• core_arch::x86::extra::mm256_srlv_epi32_u32_array
• core_arch::x86::extra::mm_shuffle_epi8_u8
• core_arch::x86::extra::mm_shuffle_epi8_u8_array
• core_arch::x86::extra::mm_storeu_bytes_si128
• core_arch::x86::interpretations::int_vec::_mm256_abs_epi32
• core_arch::x86::interpretations::int_vec::_mm256_add_epi16
• core_arch::x86::interpretations::int_vec::_mm256_add_epi32
• core_arch::x86::interpretations::int_vec::_mm256_add_epi64
• core_arch::x86::interpretations::int_vec::_mm256_and_si256
• core_arch::x86::interpretations::int_vec::_mm256_andnot_si256
• core_arch::x86::interpretations::int_vec::_mm256_blend_epi16
• core_arch::x86::interpretations::int_vec::_mm256_blend_epi32
• core_arch::x86::interpretations::int_vec::_mm256_blendv_ps
• core_arch::x86::interpretations::int_vec::_mm256_bsrli_epi128
• core_arch::x86::interpretations::int_vec::_mm256_castps_si256
• core_arch::x86::interpretations::int_vec::_mm256_castsi128_si256
• core_arch::x86::interpretations::int_vec::_mm256_castsi256_ps
• core_arch::x86::interpretations::int_vec::_mm256_cmpeq_epi32
• core_arch::x86::interpretations::int_vec::_mm256_cmpgt_epi16
• core_arch::x86::interpretations::int_vec::_mm256_cmpgt_epi32
• core_arch::x86::interpretations::int_vec::_mm256_cvtepi16_epi32
• core_arch::x86::interpretations::int_vec::_mm256_inserti128_si256
• core_arch::x86::interpretations::int_vec::_mm256_movemask_ps
• core_arch::x86::interpretations::int_vec::_mm256_mul_epi32
• core_arch::x86::interpretations::int_vec::_mm256_mul_epu32
• core_arch::x86::interpretations::int_vec::_mm256_mulhi_epi16
• core_arch::x86::interpretations::int_vec::_mm256_mullo_epi32
• core_arch::x86::interpretations::int_vec::_mm256_or_si256
• core_arch::x86::interpretations::int_vec::_mm256_packs_epi32
• core_arch::x86::interpretations::int_vec::_mm256_permute2x128_si256
• core_arch::x86::interpretations::int_vec::_mm256_permute4x64_epi64
• core_arch::x86::interpretations::int_vec::_mm256_set1_epi16
• core_arch::x86::interpretations::int_vec::_mm256_set1_epi32
• core_arch::x86::interpretations::int_vec::_mm256_set1_epi64x
• core_arch::x86::interpretations::int_vec::_mm256_set_epi64x
• core_arch::x86::interpretations::int_vec::_mm256_set_m128i
• core_arch::x86::interpretations::int_vec::_mm256_setzero_si256
• core_arch::x86::interpretations::int_vec::_mm256_shuffle_epi32
• core_arch::x86::interpretations::int_vec::_mm256_sign_epi32
• core_arch::x86::interpretations::int_vec::_mm256_slli_epi32
• core_arch::x86::interpretations::int_vec::_mm256_slli_epi64
• core_arch::x86::interpretations::int_vec::_mm256_srai_epi16
• core_arch::x86::interpretations::int_vec::_mm256_srai_epi32
• core_arch::x86::interpretations::int_vec::_mm256_srli_epi16
• core_arch::x86::interpretations::int_vec::_mm256_srli_epi32
• core_arch::x86::interpretations::int_vec::_mm256_srlv_epi64
• core_arch::x86::interpretations::int_vec::_mm256_sub_epi16
• core_arch::x86::interpretations::int_vec::_mm256_sub_epi32
• core_arch::x86::interpretations::int_vec::_mm256_testz_si256
• core_arch::x86::interpretations::int_vec::_mm256_unpackhi_epi32
• core_arch::x86::interpretations::int_vec::_mm256_unpackhi_epi64
• core_arch::x86::interpretations::int_vec::_mm256_unpacklo_epi32
• core_arch::x86::interpretations::int_vec::_mm256_unpacklo_epi64
• core_arch::x86::interpretations::int_vec::_mm256_xor_si256
• core_arch::x86::interpretations::int_vec::_mm_add_epi16
• core_arch::x86::interpretations::int_vec::_mm_movemask_epi8
• core_arch::x86::interpretations::int_vec::_mm_mulhi_epi16
• core_arch::x86::interpretations::int_vec::_mm_mullo_epi16
• core_arch::x86::interpretations::int_vec::_mm_packs_epi16
• core_arch::x86::interpretations::int_vec::_mm_set1_epi16
• core_arch::x86::interpretations::int_vec::_mm_set_epi32
• core_arch::x86::interpretations::int_vec::_mm_sllv_epi32
• core_arch::x86::interpretations::int_vec::_mm_srli_epi64
• core_arch::x86::interpretations::int_vec::_mm_sub_epi16
• core_arch::x86::interpretations::int_vec::i32_extended64_mul
• core_arch::x86::interpretations::int_vec::lemmas::flatten_circuit
• core_arch::x86::sse2::_mm_add_epi16
• core_arch::x86::sse2::_mm_loadu_si128
• core_arch::x86::sse2::_mm_movemask_epi8
• core_arch::x86::sse2::_mm_mulhi_epi16
• core_arch::x86::sse2::_mm_mullo_epi16
• core_arch::x86::sse2::_mm_packs_epi16
• core_arch::x86::sse2::_mm_set1_epi16
• core_arch::x86::sse2::_mm_set_epi32
• core_arch::x86::sse2::_mm_set_epi8
• core_arch::x86::sse2::_mm_srli_epi64
• core_arch::x86::sse2::_mm_sub_epi16
• core_arch::x86::ssse3::_mm_shuffle_epi8

Type Aliases

• abstractions::bitvec::int_vec_interp::i128x1
• abstractions::bitvec::int_vec_interp::i128x2
• abstractions::bitvec::int_vec_interp::i16x16
• abstractions::bitvec::int_vec_interp::i16x8
• abstractions::bitvec::int_vec_interp::i32x4
• abstractions::bitvec::int_vec_interp::i32x8
• abstractions::bitvec::int_vec_interp::i64x2
• abstractions::bitvec::int_vec_interp::i64x4
• abstractions::bitvec::int_vec_interp::i8x16
• abstractions::bitvec::int_vec_interp::i8x32
• abstractions::bitvec::int_vec_interp::u16x16
• abstractions::bitvec::int_vec_interp::u16x8
• abstractions::bitvec::int_vec_interp::u32x4
• abstractions::bitvec::int_vec_interp::u32x8
• abstractions::bitvec::int_vec_interp::u64x2
• abstractions::bitvec::int_vec_interp::u64x4
• core_arch::x86::__m128i
• core_arch::x86::__m256
• core_arch::x86::__m256i

Constants

• abstractions::bitvec::REWRITE_RULE
• abstractions::bitvec::int_vec_interp::SIMPLIFICATION_LEMMA
• core_arch::x86::interpretations::int_vec::lemmas::ETA_MATCH_EXPAND
• core_arch::x86::interpretations::int_vec::lemmas::LIFT_LEMMA