Search results

[smt2parser] Add Theory Selection during VMT Parsing

Status: Open.

#56 In cvick32/yardbird;

· cvick32 opened on Apr 23, 2025

[scarecrow] Make clicking on graphs link to benchmark page

Status: Open.

#55 In cvick32/yardbird;

· cvick32 opened on Mar 27, 2025

Explore ADTs in yardbird

Status: Open.

#50 In cvick32/yardbird;

· cvick32 opened on Mar 4, 2025

Add support for ic3ia in garden + scarecrow

Status: Open.

#49 In cvick32/yardbird;

· cvick32 opened on Feb 28, 2025

Abstract the index sort and only quantify over that

Status: Open.

#44 In cvick32/yardbird;

· cvick32 opened on Jan 22, 2025

[coop] include bounds for rust sizes in the vmt

Status: Open.

#32 In cvick32/yardbird;

· sgpthomas opened on Jan 9, 2025

Instantiation Reduction

Status: Open.

#27 In cvick32/yardbird;

· cvick32 opened on Jan 6, 2025

Not adding else information to the e-graph

Status: Open.

#21 In cvick32/yardbird;

· sgpthomas opened on Dec 20, 2024

Notion of model progress

Status: Open.

#19 In cvick32/yardbird;

· sgpthomas opened on Dec 20, 2024

VMT -> CHC translation in smt2parser

Status: Open.

#17 In cvick32/yardbird;

· cvick32 opened on Dec 20, 2024

"Trivial" Benchmarks

Status: Open.

#16 In cvick32/yardbird;

· cvick32 opened on Dec 20, 2024

Examples with Counterexamples

Status: Open.

#14 In cvick32/yardbird;

· cvick32 opened on Dec 19, 2024