Search results

Check whole solutions

Status: Open.

#20 In FStarLang/fstar_dataset;

· gebner opened on Feb 13, 2024

Include source text for types/etc.

Status: Open.

#19 In FStarLang/fstar_dataset;

· gebner opened on Jan 12, 2024

Some files are not built with checked files

Status: Open.

#17 In FStarLang/fstar_dataset;

· gebner opened on Oct 27, 2023

Clarify duplicate definitions

Status: Open.

#16 In FStarLang/fstar_dataset;

· gebner opened on Oct 26, 2023

Classification of easy/hard problems

Status: Open.

#15 In FStarLang/fstar_dataset;

· gebner opened on Oct 20, 2023

Training/validation/test split

Status: Open.

#14 In FStarLang/fstar_dataset;

· gebner opened on Oct 20, 2023

Flag for definitions with subsingleton types

Status: Open.

#13 In FStarLang/fstar_dataset;

· gebner opened on Oct 20, 2023

Licensing information

Status: Open.

#12 In FStarLang/fstar_dataset;

· gebner opened on Oct 20, 2023

Provenance information

Status: Open.

#11 In FStarLang/fstar_dataset;

· gebner opened on Oct 20, 2023

Automatically generated val sigelt does not elaborate

Status: Open.

#9 In FStarLang/fstar_dataset;

· gebner opened on Oct 6, 2023

"Could not find source file named dummy"

Status: Open.

#8 In FStarLang/fstar_dataset;

· gebner opened on Sep 29, 2023

Multiple (decreases ...) clauses

Status: Open.

#6 In FStarLang/fstar_dataset;

· gebner opened on Sep 28, 2023