Search results

No licence file

Status: Open.

#14 In vellvm/vellvm-legacy;

· daira opened on Jul 22, 2015

Vellvm Installation

Status: Open.

#11 In vellvm/vellvm-legacy;

· sepehram opened on Oct 7, 2014

LLVM parser in Vellvm?

Status: Open.

#10 In vellvm/vellvm-legacy;

· wintersmind opened on Sep 22, 2014

Extraction code is no longer compiled in Coq8.4pl4

Status: Open.

#9 In vellvm/vellvm-legacy;

· jeehoonkang opened on Sep 22, 2014

Modular definition of small-step semantics (sInsn)

Status: Open.

#7 In vellvm/vellvm-legacy;

· jeehoonkang opened on Sep 15, 2014

We use impredicative-set

Status: Open.

#6 In vellvm/vellvm-legacy;

· jeehoonkang opened on Sep 15, 2014

Remove all obvious dead code and unused lemmas

Status: Open.

#5 In vellvm/vellvm-legacy;

· dgarbuzov opened on Sep 14, 2014

Remove Coq-Equations plugin dependency

Status: Open.

#4 In vellvm/vellvm-legacy;

· dgarbuzov opened on Sep 14, 2014

Minimize patches to third party code

Status: Open.

#3 In vellvm/vellvm-legacy;

· dgarbuzov opened on Sep 14, 2014