Merge pull request #396 from FStarLang/protz_rs

Preliminary support for a Rust backend
FStarLang · Nov 27, 2023 · 4ad7019 · 4ad7019
2 parents 9562dde + 6d70cce
commit 4ad7019
Show file tree

Hide file tree

Showing 168 changed files with 2,941 additions and 1,301 deletions.
diff --git a/.merlin b/.merlin
diff --git a/dune-project b/dune-project
@@ -1,3 +1,4 @@
 (lang dune 3.7)
 (name karamel)
 (using menhir 2.0)
+
diff --git a/krmllib/Makefile b/krmllib/Makefile
@@ -124,6 +124,7 @@ $(GENERIC_DIR)/Makefile.include: $(ALL_KRML_FILES) | $(GENERIC_DIR) $(wildcard c
 	  -bundle LowStar.Endianness= \
 	  -bundle FStar.Endianness,FStar.Range \
 	  -library C,C.Endianness,C.Failure,C.Loops,FStar.BitVector,FStar.Bytes,FStar.Char,FStar.Int,FStar.Krml.Endianness,FStar.Math.Lib,FStar.ModifiesGen,FStar.Monotonic.Heap,FStar.Monotonic.HyperStack,FStar.Mul,FStar.Pervasives,FStar.Pervasives.Native,FStar.ST,FStar.UInt,FStar.UInt63,LowStar.Printf \
+	  -bundle FStar.BV \
 	  $(filter-out fstar_uint128_msvc.c,$(notdir $(wildcard c/*.c))) \
 	  -o libkrmllib.a \
 	  $^

diff --git a/krmllib/dist/generic/FStar_BV.c b/krmllib/dist/generic/FStar_BV.c