Skip to content

Releases: FStarLang/FStar

v2024.09.05

05 Sep 18:38
Compare
Choose a tag to compare
v2024.09.05 Pre-release
Pre-release

What's Changed

New Contributors

Full Changelog: v2024.08.14...v2024.09.05

v2024.08.14

15 Aug 00:53
3a23f81
Compare
Choose a tag to compare
v2024.08.14 Pre-release
Pre-release

What's Changed

Read more

v2024.01.13

14 Jan 00:54
Compare
Choose a tag to compare
v2024.01.13 Pre-release
Pre-release

What's Changed

New Contributors

Read more

v2023.09.03

03 Sep 20:04
7363057
Compare
Choose a tag to compare

What's Changed

Read more

v2023.04.25

25 Apr 16:42
4e8f5d1
Compare
Choose a tag to compare
v2023.04.25 Pre-release
Pre-release

Steel is being split out to its own repository at https://github.com/FStarLang/steel . So, this F* release is the last one with Steel still being part of F*'s standard library.

What's Changed

Full Changelog: v2023.04.08...v2023.04.25

v2023.04.08

10 Apr 01:58
Compare
Choose a tag to compare
v2023.04.08 Pre-release
Pre-release

What's Changed

  • Release v2023.03.22 by @dzomo in #2860
  • Do not install fstar_tests.exe by default by @tahina-pro in #2863
  • Sealing pretty-printing names in the reflection API by @nikswamy in #2835
  • syntax: dsenv: reimplement shorten_lid by trimming of prefixes by @mtzguido in #2707
  • Makefile fixes to get bootstrap working with cygwin by @aseemr in #2864
  • Reducing the amount of Tm_names in checked files by @mtzguido in #2845
  • Supporting incremental parsing and additional features in the IDE protocol in support of fstar-vscode-assistant by @nikswamy in #2853
  • Removing with_type (and vcgen.optimize_bind_as_seq) by @aseemr in #2871
  • actions: unconditionally remove container after build by @mtzguido in #2875
  • Require OCaml >= 4.10 by @tahina-pro in #2865
  • Compiler.Util: do not capture stderr on start_process by @mtzguido in #2870
  • Meta DSL framework by @aseemr in #2857
  • A few more improvements to the strict positivity checker by @nikswamy in #2873
  • Advance to 2023.04.08~dev by @dzomo in #2878

New Contributors

Full Changelog: v2023.03.22...v2023.04.08

v2023.03.22

22 Mar 05:01
Compare
Choose a tag to compare
v2023.03.22 Pre-release
Pre-release

NOTE: This release mistakenly works only for Ubuntu 22.04. Other (including later) releases should also work on Ubuntu 20.04, unless explicitly stated otherwise.

What's Changed

Full Changelog: v2023.02.21...v2023.03.22

v2023.02.21

21 Feb 19:47
Compare
Choose a tag to compare
v2023.02.21 Pre-release
Pre-release

Release v2023.02.21

This is the last state before merging #2815 .

v2023.02.01

01 Feb 22:00
Compare
Choose a tag to compare
v2023.02.01 Pre-release
Pre-release

Release v2023.02.01

This is the last state before merging #2817 .

v2022.11.19

19 Nov 03:46
Compare
Choose a tag to compare
v2022.11.19 Pre-release
Pre-release

Release v2022.11.19