Search results

Inference with nested refinements

Status: Open.

#223 In FStarLang/pulse;

· nikswamy opened on Oct 2, 2024

with takes arg qualifiers

Status: Open.

#222 In FStarLang/pulse;

· mtzguido opened on Sep 30, 2024

Support calc proofs

Status: Open.

#218 In FStarLang/pulse;

· mtzguido opened on Sep 18, 2024

Extraction ignores preconditions

Status: Open.

#217 In FStarLang/pulse;

· gebner opened on Sep 18, 2024

Cannot call functions taking effectful thunks as arguments

Status: Open.

#216 In FStarLang/pulse;

· mtzguido opened on Sep 17, 2024

Do not recheck postconditions for lemmas

Status: Open.

#214 In FStarLang/pulse;

· mtzguido opened on Sep 17, 2024

Unfolding predicates with implicits tagged with default arguments

Status: Open.

#205 In FStarLang/pulse;

· nikswamy opened on Sep 10, 2024

gen-rust-bindging.sh its allowlist-function not allowlist-file

Status: Open.

#186 In FStarLang/pulse;

· briangmilnes opened on Aug 27, 2024

Type inference for int constants worse in pulse functions

Status: Open.

#185 In FStarLang/pulse;

· JonasAlaif opened on Aug 27, 2024

Type-class implicits are not eager enough

Status: Open.

#183 In FStarLang/pulse;

· gebner opened on Aug 22, 2024

Need spurious bind to make function check

Status: Open.

#181 In FStarLang/pulse;

· mtzguido opened on Aug 21, 2024

Assume (pure part of) pre in typechecking post

Status: Open.

#179 In FStarLang/pulse;

· mtzguido opened on Aug 20, 2024