Skip to content

Release notes for F* 0.9.5

Jump to bottom Edit New page
Catalin Hritcu edited this page Mar 29, 2017 · 26 revisions
  • Much better support for reasoning by monadic reification, including for relational verification (Kenji et al, https://arxiv.org/abs/1703.00055 )
  • Serios improvements to interactive mode: including showing the types of things, jumping to definition, and auto-complete (Nik, Clement, et al)
  • Much prettier OCaml extracted code (Victor, #857)
  • F* version bootstrapped in F# trailing less behind (Christoph, e.g. #871)
  • Support for structs in generated low-level C code (Tahina)
  • Brought back support for parallel processing using the --n_cores flag (Tomer and Christoph, #146)
Add a custom footer
Add a custom sidebar
Clone this wiki locally