Search results

A conflict between Z3 and FStar

Status: Open.

#3874 In FStarLang/FStar;

· AnonymousPlayer2000 opened on Jun 23, 2025

top-level ghost effect accepted

Status: Open.

#3863 In FStarLang/FStar;

· mtzguido opened on Jun 9, 2025

"Hint: did you mean …" weirdly suggests undefined values (with <code>val</code> but no <code>let</code>)

Status: Open.

#3856 In FStarLang/FStar;

· TWal opened on May 25, 2025

Warn on unused variables during validation not just in SMTPat

Status: Open.

#3833 In FStarLang/FStar;

· briangmilnes opened on Apr 4, 2025

Reconcile classical connectives parsing with Lemma/Prop parsing

Status: Open.

#3813 In FStarLang/FStar;

· briangmilnes opened on Mar 26, 2025

Binding environment in Lemmas

Status: Open.

#3812 In FStarLang/FStar;

· briangmilnes opened on Mar 26, 2025

Typechecking of applications ignores expected type

Status: Open.

#3804 In FStarLang/FStar;

· mtzguido opened on Mar 24, 2025

Performance blow up

Status: Open.

#3800 In FStarLang/FStar;

· W95Psp opened on Mar 18, 2025

Failing verification conditions are shown as type-class resolution errors

Status: Open.

#3797 In FStarLang/FStar;

· gebner opened on Mar 4, 2025

<code>include</code> seems to leak val declarations

Status: Open.

#3778 In FStarLang/FStar;

· mtzguido opened on Feb 20, 2025

Assertion failure on forgotten 'rec'

Status: Open.

#3771 In FStarLang/FStar;

· mtzguido opened on Feb 17, 2025

Bad range on error

Status: Open.

#3765 In FStarLang/FStar;

· mtzguido opened on Feb 16, 2025