v2023.04.08

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

• @dzomo made their first contribution in #2860

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

v2023.03.22

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

• Build F* with dune instead of ocamlbuild by @tahina-pro in #2815
• Update README.md by @nikswamy in #2841
• Some assorted fixes by @mtzguido in #2839
• Use leftmost head when checking for equatable symbols in the core typechecker by @aseemr in #2846
• Normalizer fix for mutually recursive functions (#2849) by @mtzguido in #2850
• ImmutableArray: add positivity, hasEq, decreases, new qualifier by @mtzguido in #2855
• Support for limited extraction of indexed effects by @aseemr in #2851
• Preserving names in patterns during NBE by @mtzguido in #2858

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

v2023.02.21

Release v2023.02.21

This is the last state before merging #2815 .

v2023.02.01

Release v2023.02.01

This is the last state before merging #2817 .

v2022.11.19

Release v2022.11.19

v2022.11.07

Release v2022.11.07

v2022.10.07

Release v2022.10.07

v2022.08.10

Release v2022.08.10

v2022.07.13

Release v2022.07.13

v2022.05.06

Release v2022.05.06