coq-ext-lib/coq-compile

Issues

• Profile the compiler to see where we are stack overflowing

  #23 opened 12 years ago by gmalecha
  0

• Retrofit compiler to use IO

  #19 opened 12 years ago by thinkmoore
  1

• OCaml Extraction for IO

  #18 opened 12 years ago by thinkmoore
  2

• Fix optimizations

  #22 opened 12 years ago by gmalecha
  1

• Let Factoring

  #21 opened 12 years ago by gmalecha
  0

• More detailed README

  #15 opened 12 years ago by gmalecha
  2

• Add License file

  #20 opened 12 years ago by gmalecha
  1

• Wrapper should use unique temporary files

  #10 opened 12 years ago by thinkmoore
  1

• Eliminate Cps Representation

  #17 opened 12 years ago by gmalecha
  0

• IONat test case fails

  #13 opened 12 years ago by thinkmoore
  1

• Contification

  #8 opened 12 years ago by gmalecha
  2

• Eliminate unnecessary eta reductions in Cps conversion

  #16 opened 12 years ago by gmalecha
  0

• Expose optimizations

  #14 opened 12 years ago by gmalecha
  0

• LLVM optimizations remove gcroot loads/stores

  #12 opened 12 years ago by thinkmoore
  0

• Fix HelloWorld2

  #11 opened 12 years ago by thinkmoore
  2

• Add support for multi-arity continuations

  #3 opened 12 years ago by thinkmoore
  0

• Mark boxed values as roots

  #9 opened 12 years ago by thinkmoore
  1

• Add block arguments for free variables to Low

  #4 opened 12 years ago by thinkmoore
  0

• CFAn

  #7 opened 12 years ago by gmalecha
  0

• Unique variable names

  #5 opened 12 years ago by gmalecha
  0

• Fix abstract interpreter

  #6 opened 12 years ago by gmalecha
  0

• Implement IO on top of Show

  #2 opened 12 years ago by thinkmoore
  1

• Use statically computed stack maps instead of a shadow stack

  #1 opened 12 years ago by thinkmoore
  0