Search results

Add whole module problem

Status: Open.

#9 In uwplse/magic;

· tlringer opened on Nov 2, 2021

Add transformation problem based on proof repair across type equivalences

Status: Open.

#8 In uwplse/magic;

· tlringer opened on Nov 2, 2021

Add differencing/search problem based on proof repair across type equivalences

Status: Open.

#7 In uwplse/magic;

· tlringer opened on Nov 2, 2021

Coq CI

Status: Open.

#6 In uwplse/magic;

· tlringer opened on Aug 10, 2019

Update Coq version

Status: Open.

#5 In uwplse/magic;

· tlringer opened on Aug 10, 2019

Create a version without pop culture references?

Status: Open.

#4 In uwplse/magic;

· tlringer opened on Aug 10, 2019

Use Coq plugin library

Status: Open.

#3 In uwplse/magic;

· tlringer opened on Aug 10, 2019

Use better evar_map hygeine

Status: Open.

#2 In uwplse/magic;

· tlringer opened on Aug 2, 2019