Search results

Decompiler Sigma

Status: Open.

#37 In uwplse/coq-plugin-lib;

· randair opened on Mar 1, 2021

Comments

Status: Open.

#21 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Clean HOF type signatures

Status: Open.

#20 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Clean up / consolidate substitutions

Status: Open.

#19 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Move TODOs in code into issues

meta

Status: Open.

#18 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Fix debruijn bugs, or use built-in Coq functions

bugSomething isn't workingSomething isn't working

Status: Open.

#17 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Favor econstr when possible instead of constantly converting

Status: Open.

#16 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 24, 2019

Address all warnings

Status: Open.

#13 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 23, 2019

Remove unused functions

Status: Open.

#12 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 23, 2019

Update to latest Coq version

Status: Open.

#10 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 23, 2019

Clean code

meta

Status: Open.

#9 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 23, 2019

Better error messaging practices

Status: Open.

#8 In uwplse/coq-plugin-lib;

· tlringer opened on Jul 23, 2019