Merge pull request #647 from hacspec/franziskus/fstar-core-neon-types

add neon types to F* core model
hacspec · Apr 30, 2024 · 80f632a · 80f632a
2 parents ea3975d + 995a54b
commit 80f632a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/proof-libs/fstar/core/Core.Core_arch.Arm_shared.Neon.fsti b/proof-libs/fstar/core/Core.Core_arch.Arm_shared.Neon.fsti
@@ -0,0 +1,8 @@
+module Core.Core_arch.Arm_shared.Neon
+
+val t_int16x4_t:Type0
+val t_int32x2_t:Type0
+val t_int32x4_t:Type0
+val t_int64x2_t:Type0
+val t_uint32x4_t:Type0
+val t_uint8x16_t:Type0