Merge pull request #4205 from mtzguido/release

Prepare for release

Author: mtzguido

fstar.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "2026.03.24~dev"
+version: "2026.04.17~dev"
 maintainer: "guimartinez@microsoft.com"
 authors: "Nik Swamy <nswamy@microsoft.com>,Jonathan Protzenko <protz@microsoft.com>,Tahina Ramananandro <taramana@microsoft.com>"
 homepage: "http://fstar-lang.org"

mk/generic-0.mk

@@ -18,9 +18,8 @@ endif
 
 maybe_touch=$(if $(TOUCH), touch $(TOUCH))
 
-# This is to support both --lax and non --lax clients.
-EXTENSION := $(if $(findstring --lax,$(FSTAR_OPTIONS)),.checked.lax,.checked)
-MSG := $(if $(findstring --lax,$(FSTAR_OPTIONS)),LAXCHECK,CHECK)
+EXTENSION := .checked
+MSG := CHECK
 
 ifeq ($(CODEGEN),FSharp)
 EEXT=fs