LLVM backend support#558

Draft

chathhorn wants to merge 85 commits intomasterfrom

Commits on Apr 7, 2020

LLVM backend: kcc/runner scripts.

Dwight Guth
authored and
h0nzZik
committed
Dockerfile: build LLVM backend.

chathhorn
authored and
h0nzZik
committed
Jenkinsfile: disable rule parse profiling.

chathhorn
authored and
h0nzZik
committed
Jenkinsfile: remove parse profiling.

chathhorn
authored and
h0nzZik
committed
Enable kore output for C++ parser.

chathhorn
authored and
h0nzZik
committed
generate readable dumps
h0nzZik
committed
llvm-krun -save-temps
h0nzZik
committed
kcc -fdebug-translation
h0nzZik
committed
append sorts to symbols
h0nzZik
committed
fix lookupEnumerator
h0nzZik
committed
fix
h0nzZik
committed
rename isNoInit => hasInit
h0nzZik
committed
Revert "append sorts to symbols"
h0nzZik
committed
C++ semantics [symbol] tags.

chathhorn
authored and
h0nzZik
committed
update K
h0nzZik
committed
llvm debug
h0nzZik
committed
UnknownCabsLoc
h0nzZik
committed
workaround for K bug https://github.com/kframework/k/issues/1193
h0nzZik
committed
C++ parser: toplevel sort is KItem
h0nzZik
committed
C++ parser #NoName
h0nzZik
committed
[symbol]
h0nzZik
committed
remove overloaded ExprLoc
h0nzZik
committed

Commits on Apr 9, 2020

Commits on Apr 10, 2020

fix NoInit
h0nzZik
committed
fix sorts
h0nzZik
committed

Commits on Apr 15, 2020

Commits on Apr 16, 2020

Commits on Apr 17, 2020

Commits on Apr 20, 2020

fix csetunion
h0nzZik
committed

Commits on Apr 28, 2020

LLVM backend: kcc/runner scripts.
Dwight Guth
committed
Dockerfile: build LLVM backend.

chathhorn
authored and
Dwight Guth
committed
Jenkinsfile: disable rule parse profiling.

chathhorn
authored and
Dwight Guth
committed
Jenkinsfile: remove parse profiling.

chathhorn
authored and
Dwight Guth
committed
Enable kore output for C++ parser.

chathhorn
authored and
Dwight Guth
committed
generate readable dumps

h0nzZik
authored and
Dwight Guth
committed
llvm-krun -save-temps

h0nzZik
authored and
Dwight Guth
committed
kcc -fdebug-translation

h0nzZik
authored and
Dwight Guth
committed
append sorts to symbols

h0nzZik
authored and
Dwight Guth
committed
fix lookupEnumerator

h0nzZik
authored and
Dwight Guth
committed
fix

h0nzZik
authored and
Dwight Guth
committed
rename isNoInit => hasInit

h0nzZik
authored and
Dwight Guth
committed
Revert "append sorts to symbols"

h0nzZik
authored and
Dwight Guth
committed
C++ semantics [symbol] tags.

chathhorn
authored and
Dwight Guth
committed
update K

h0nzZik
authored and
Dwight Guth
committed
llvm debug

h0nzZik
authored and
Dwight Guth
committed
UnknownCabsLoc

h0nzZik
authored and
Dwight Guth
committed
workaround for K bug https://github.com/kframework/k/issues/1193

h0nzZik
authored and
Dwight Guth
committed
C++ parser: toplevel sort is KItem

h0nzZik
authored and
Dwight Guth
committed
C++ parser #NoName

h0nzZik
authored and
Dwight Guth
committed
fix kcc script merge conflict
Dwight Guth
committed

Commits on Apr 29, 2020

Commits on May 1, 2020

parser: skip default arguments in a call
h0nzZik
committed

Commits on May 11, 2020

fix sorts
h0nzZik
committed

Commits on May 12, 2020

fixes
h0nzZik
committed