Search results

Add sanity test for Halide division

Status: Open.

#169 In ninehusky/chompy;

· ninehusky opened on Aug 31, 2025

Fix score function

Status: Open.

#167 In ninehusky/chompy;

· ninehusky opened on Aug 29, 2025

Update egg?

Status: Open.

#165 In ninehusky/chompy;

· ninehusky opened on Aug 16, 2025

Make struct for <code>run_workload</code> arguments

good first issueGood for newcomersGood for newcomers

Status: Open.

#163 In ninehusky/chompy;

· ninehusky opened on Aug 15, 2025

Make <code>build_pvec_to_patterns</code> actually work with conditions

good first issueGood for newcomersGood for newcomers

Status: Open.

#161 In ninehusky/chompy;

· ninehusky opened on Aug 15, 2025

Make the <code>most_recent_condition</code> plural, and search for the instantiated condition

Status: Open.

#157 In ninehusky/chompy;

· ninehusky opened on Aug 12, 2025

Differentiate between <code>Unknown</code> and <code>Invalid</code> while validating rules

Status: Open.

#156 In ninehusky/chompy;

· ninehusky opened on Aug 12, 2025

Add workflow step in CI that outputs derivability statistics

good first issueGood for newcomersGood for newcomers

Status: Open.

#151 In ninehusky/chompy;

· ninehusky opened on Aug 11, 2025

Only add weakest condition to candidate ruleset

Status: Open.

#142 In ninehusky/chompy;

· ninehusky opened on Aug 5, 2025

Update modulo semantics

Status: Open.

#141 In ninehusky/chompy;

· ninehusky opened on Aug 5, 2025

Update division semantics

Status: Open.

#140 In ninehusky/chompy;

· ninehusky opened on Aug 5, 2025

paper: collaborator-friendly overview section

paper

Status: Open.

#139 In ninehusky/chompy;

· ninehusky opened on Aug 5, 2025