Skip to content

Commit 143d03f

Browse files
mtzguidomtzguido
committed
Bump stage0
1 parent d575649 commit 143d03f

82 files changed

Lines changed: 2318 additions & 3332 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎mk/generic-0.mk‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,8 @@ endif
1818

1919
maybe_touch=$(if $(TOUCH), touch $(TOUCH))
2020

21-
# This is to support both --lax and non --lax clients.
22-
EXTENSION := $(if $(findstring --lax,$(FSTAR_OPTIONS)),.checked.lax,.checked)
23-
MSG := $(if $(findstring --lax,$(FSTAR_OPTIONS)),LAXCHECK,CHECK)
21+
EXTENSION := .checked
22+
MSG := CHECK
2423

2524
ifeq ($(CODEGEN),FSharp)
2625
EEXT=fs

‎stage0/Makefile‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/dune/fstar-guts/fstarc.ml/FStarC_CheckedFiles.ml‎

Lines changed: 39 additions & 34 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/dune/fstar-guts/fstarc.ml/FStarC_Const.ml‎

Lines changed: 3 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/dune/fstar-guts/fstarc.ml/FStarC_Errors.ml‎

Lines changed: 7 additions & 13 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)