uwplse/coq-plugin-lib

Issues

• Decompiler Sigma

  #37 opened 4 years ago by randair
  0

• License

  #1 opened 5 years ago by tlringer
  0

• Update docs

  #2 opened 5 years ago by tlringer
  0

• Credit Nate

  #24 opened 5 years ago by tlringer
  0

• Fix debruijn bugs, or use built-in Coq functions

  #17 opened 5 years ago by tlringer
  1

• Use good evar_map hygiene

  #7 opened 5 years ago by tlringer
  0

• Break coqterms into smaller files

  #15 opened 5 years ago by tlringer
  1

• File organization

  #22 opened 5 years ago by tlringer
  0

• Refactor code that has to do with relating two terms

  #23 opened 5 years ago by tlringer
  0

• Refactor code from DEVOID

  #4 opened 5 years ago by tlringer
  0

• Comments

  #21 opened 5 years ago by tlringer
  0

• Clean HOF type signatures

  #20 opened 5 years ago by tlringer
  0

• Clean up / consolidate substitutions

  #19 opened 5 years ago by tlringer
  0

• Move TODOs in code into issues

  #18 opened 5 years ago by tlringer
  0

• Favor econstr when possible instead of constantly converting

  #16 opened 5 years ago by tlringer
  0

• Name collision with reverse

  #14 opened 5 years ago by tlringer
  0

• Refactor code from PUMPKIN PATCH

  #3 opened 5 years ago by tlringer
  0

• Address all warnings

  #13 opened 5 years ago by tlringer
  0

• Remove unused functions

  #12 opened 5 years ago by tlringer
  0

• Build process?

  #11 opened 5 years ago by tlringer
  0

• Include in DEVOID build process

  #5 opened 5 years ago by tlringer
  0

• Include in PUMPKIN PATCH build process

  #6 opened 5 years ago by tlringer
  0

• Update to latest Coq version

  #10 opened 5 years ago by tlringer
  0

• Clean code

  #9 opened 5 years ago by tlringer
  0

• Better error messaging practices

  #8 opened 5 years ago by tlringer
  0