Search results

Prime missing from mutable axioms in SAT checker

Status: Open.

#158 In flyvy-verifier/flyvy;

· edenfrenkel opened on Dec 21, 2023

Benchmarking infrastructure improvements

Status: Open.

#153 In flyvy-verifier/flyvy;

· tchajed opened on Aug 24, 2023

Add scripts to produce performance benchmarks across all examples

Status: Open.

#118 In flyvy-verifier/flyvy;

· tchajed opened on Jul 14, 2023

Automatically generate and publish the rustdoc docs

Status: Open.

#115 In flyvy-verifier/flyvy;

· tchajed opened on Jul 13, 2023

Missing documentation for inference and temporal-verifier crates

Status: Open.

#95 In flyvy-verifier/flyvy;

· Alex-Fischman opened on Jul 7, 2023

Fix substitution in the presence of shadowing global names

Status: Open.

#54 In flyvy-verifier/flyvy;

· wilcoxjay opened on Mar 15, 2023

Proposal for cleaning up Term::Id versus Term::App and the concrete syntax of function calls with zero arguments

Status: Open.

#53 In flyvy-verifier/flyvy;

· wilcoxjay opened on Mar 15, 2023