Skip to content

Commit 70671ff

Browse files
mtzguidomtzguido
authored
Merge pull request #4137 from mtzguido/release
Prepare for release
2 parents 0b45032 + ca7a793 commit 70671ff

99 files changed

Lines changed: 3747 additions & 1092 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.

‎fstar.opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
opam-version: "2.0"
2-
version: "2025.12.15~dev"
2+
version: "2026.03.24~dev"
33
maintainer: "guimartinez@microsoft.com"
44
authors: "Nik Swamy <nswamy@microsoft.com>,Jonathan Protzenko <protz@microsoft.com>,Tahina Ramananandro <taramana@microsoft.com>"
55
homepage: "http://fstar-lang.org"

‎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/app/FStar_Parse.ml‎

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

‎stage0/dune/fstar-guts/app/FStar_UInt8.ml‎

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

‎stage0/dune/fstar-guts/app/ints/FStar_Ints.ml.body‎

Lines changed: 12 additions & 0 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_Class_Binders.ml‎

Lines changed: 10 additions & 10 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_Common.ml‎

Lines changed: 4 additions & 3 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: 1 addition & 1 deletion
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_Extraction_ML_Code.ml‎

Lines changed: 1 addition & 18 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_Extraction_ML_Modul.ml‎

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

0 commit comments

Comments
 (0)