Pulse.Steel.Wrapper long gone

FStarLang · Feb 8, 2024 · 7692a58 · 7692a58
1 parent 4e3aa8a
commit 7692a58
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 371 deletions.
diff --git a/lib/steel/pulse/Makefile b/lib/steel/pulse/Makefile
@@ -14,8 +14,6 @@ include ../runlim.mk
 
 MY_FSTAR=$(RUNLIM) $(FSTAR) $(SIL) $(FSTAR_OPTIONS)
 
-Pulse.Steel.Wrapper.fst.checked: FSTAR_OPTIONS+=--load_cmxs steel
-
 %.checked:
 	$(call msg, "CHECK", $(basename $(notdir $@)))
 	@# You can debug with --debug $(basename $(notdir $<))

diff --git a/lib/steel/pulse/Pulse.Steel.Wrapper.fst.hints b/lib/steel/pulse/Pulse.Steel.Wrapper.fst.hints
diff --git a/lib/steel/pulse/Pulse.Steel.Wrapper.fsti.hints b/lib/steel/pulse/Pulse.Steel.Wrapper.fsti.hints