Merge pull request #641 from hacspec/franziskus/fstar-core-arch-start

add F* core arch type
cryspen · Apr 29, 2024 · f5e8069 · f5e8069
2 parents a4e1a60 + cf0f319
commit f5e8069
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/proof-libs/fstar/core/Core.Core_arch.X86.fsti b/proof-libs/fstar/core/Core.Core_arch.X86.fsti
@@ -0,0 +1,3 @@
+module Core.Core_arch.X86
+
+val t____m256i:Type
diff --git a/proof-libs/fstar/core/Core.Core_arch.fsti b/proof-libs/fstar/core/Core.Core_arch.fsti
@@ -0,0 +1,2 @@
+module Core.Core_arch
+