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