vellvm/vellvm-legacy

Issues

• No link to this repo on vellvm site; html code seems broken

  #15 opened 9 years ago by catalin-hritcu
  1

• Remove Coq-Equations plugin dependency

  #4 opened 10 years ago by dgarbuzov
  3

• No licence file

  #14 opened 9 years ago by daira
  0

• 원래의 증명과 비교하면서 증명하기

  #13 opened 10 years ago by alxest
  3

• Installation error

  #12 opened 10 years ago by alxest
  6

• Vellvm Installation

  #11 opened 10 years ago by sepehram
  1

• LLVM parser in Vellvm?

  #10 opened 10 years ago by wintersmind
  3

• Extraction code is no longer compiled in Coq8.4pl4

  #9 opened 10 years ago by jeehoonkang
  3

• Modular definition of small-step semantics (sInsn)

  #7 opened 10 years ago by jeehoonkang
  2

• I would like to be sure about what was discussed on collaboration (in Skype call)

  #1 opened 10 years ago by jeehoonkang
  4

• Remove all obvious dead code and unused lemmas

  #5 opened 10 years ago by dgarbuzov
  0

• We use impredicative-set

  #6 opened 10 years ago by jeehoonkang
  0

• Minimize patches to third party code

  #3 opened 10 years ago by dgarbuzov
  1