Code

LLVM backend support#558

Code

Draft

chathhorn wants to merge 85 commits intomasterkframework/c-semantics:masterfrom latestkframework/c-semantics:latestCopy head branch name to clipboard

+358-323

Commits

Commits on Apr 7, 2020

• LLVM backend: kcc/runner scripts.

  

  Dwight Guth

  authored and

  h0nzZik

  committed
  4a083ff

  Copy full SHA for 4a083ff

• Dockerfile: build LLVM backend.

  

  chathhorn

  authored and

  h0nzZik

  committed
  a8061d4

  Copy full SHA for a8061d4

• Jenkinsfile: disable rule parse profiling.

  

  chathhorn

  authored and

  h0nzZik

  committed
  b9cd90a

  Copy full SHA for b9cd90a

• Jenkinsfile: remove parse profiling.

  

  chathhorn

  authored and

  h0nzZik

  committed
  2200763

  Copy full SHA for 2200763

• Enable kore output for C++ parser.

  

  chathhorn

  authored and

  h0nzZik

  committed
  afb5e12

  Copy full SHA for afb5e12

• generate readable dumps

  h0nzZik

  committed
  5b609e4

  Copy full SHA for 5b609e4

• llvm-krun -save-temps

  h0nzZik

  committed
  03fc204

  Copy full SHA for 03fc204

• kcc -fdebug-translation

  h0nzZik

  committed
  2d91b87

  Copy full SHA for 2d91b87

• append sorts to symbols

  h0nzZik

  committed
  3861e02

  Copy full SHA for 3861e02

• fix lookupEnumerator

  h0nzZik

  committed
  e55a487

  Copy full SHA for e55a487

• fix

  h0nzZik

  committed
  05422b7

  Copy full SHA for 05422b7

• rename isNoInit => hasInit

  h0nzZik

  committed
  ed47382

  Copy full SHA for ed47382

• Revert "append sorts to symbols"

  Show description for b291263
  h0nzZik

  committed
  b291263

  Copy full SHA for b291263

• C++ semantics [symbol] tags.

  

  chathhorn

  authored and

  h0nzZik

  committed
  18f40a9

  Copy full SHA for 18f40a9

• update K

  h0nzZik

  committed
  ee06607

  Copy full SHA for ee06607

• llvm debug

  h0nzZik

  committed
  b8e640b

  Copy full SHA for b8e640b

• UnknownCabsLoc

  h0nzZik

  committed
  a718f5e

  Copy full SHA for a718f5e

• workaround for K bug runtimeverification/k#1193

  h0nzZik

  committed
  d6af82b

  Copy full SHA for d6af82b

• C++ parser: toplevel sort is KItem

  h0nzZik

  committed
  28cb90a

  Copy full SHA for 28cb90a

• C++ parser #NoName

  h0nzZik

  committed
  1a8cdb4

  Copy full SHA for 1a8cdb4

• [symbol]

  h0nzZik

  committed
  aad43ba

  Copy full SHA for aad43ba

• remove overloaded ExprLoc

  Show description for df184b4
  h0nzZik

  committed
  df184b4

  Copy full SHA for df184b4

Commits on Apr 9, 2020

• C++ [symbol]

  h0nzZik

  committed
  01944f2

  Copy full SHA for 01944f2

• fix toCPPTypes

  h0nzZik

  committed
  f88d3b3

  Copy full SHA for f88d3b3

• fix sorts

  h0nzZik

  committed
  5ffaa52

  Copy full SHA for 5ffaa52

Commits on Apr 10, 2020

• fix NoInit

  h0nzZik

  committed
  da13059

  Copy full SHA for da13059

• fix sorts

  h0nzZik

  committed
  b1e20bd

  Copy full SHA for b1e20bd

Commits on Apr 15, 2020

• strip traces in linking semantics

  Show description for f82292b
  h0nzZik

  committed
  f82292b

  Copy full SHA for f82292b

• fix sort

  h0nzZik

  committed
  2c5ded1

  Copy full SHA for 2c5ded1

• fix assertInBounds and assert

  h0nzZik

  committed
  edcc511

  Copy full SHA for edcc511

Commits on Apr 16, 2020

• do not escape strings twice

  h0nzZik

  committed
  12d1c03

  Copy full SHA for 12d1c03

• fix sorts

  h0nzZik

  committed
  367ef5e

  Copy full SHA for 367ef5e

Commits on Apr 17, 2020

• IfAStmtD

  h0nzZik

  committed
  5e80cb0

  Copy full SHA for 5e80cb0

• operatorXYZ_CPP-SYNTAX_OpId

  h0nzZik

  committed
  f6cb33b

  Copy full SHA for f6cb33b

• fix sorts

  h0nzZik

  committed
  679b821

  Copy full SHA for 679b821

• fix sorts

  h0nzZik

  committed
  280c0f5

  Copy full SHA for 280c0f5

• isKResult

  h0nzZik

  committed
  42ae7ca

  Copy full SHA for 42ae7ca

• fix sorts

  h0nzZik

  committed
  f2f2798

  Copy full SHA for f2f2798

• fix sorts

  h0nzZik

  committed
  dd76982

  Copy full SHA for dd76982

• Fix sorts

  h0nzZik

  committed
  eb36782

  Copy full SHA for eb36782

• Parser: 'And-'

  h0nzZik

  committed
  095d645

  Copy full SHA for 095d645

• We no longer have sort BraceInit

  h0nzZik

  committed
  fbdad09

  Copy full SHA for fbdad09

• fix sorts

  h0nzZik

  committed
  1867f49

  Copy full SHA for 1867f49

Commits on Apr 20, 2020

• fix csetunion

  h0nzZik

  committed
  8219c33

  Copy full SHA for 8219c33

Commits on Apr 28, 2020

• LLVM backend: kcc/runner scripts.

  

  Dwight Guth

  committed
  b2cd6d8

  Copy full SHA for b2cd6d8

• Dockerfile: build LLVM backend.

  

  chathhorn

  authored and

  Dwight Guth

  committed
  5b76644

  Copy full SHA for 5b76644

• Jenkinsfile: disable rule parse profiling.

  

  chathhorn

  authored and

  Dwight Guth

  committed
  9bd143f

  Copy full SHA for 9bd143f

• Jenkinsfile: remove parse profiling.

  

  chathhorn

  authored and

  Dwight Guth

  committed
  61bccb4

  Copy full SHA for 61bccb4

• Enable kore output for C++ parser.

  

  chathhorn

  authored and

  Dwight Guth

  committed
  6be94d3

  Copy full SHA for 6be94d3

• generate readable dumps

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  b12feca

  Copy full SHA for b12feca

• llvm-krun -save-temps

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  ae8d900

  Copy full SHA for ae8d900

• kcc -fdebug-translation

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  0d2a4bd

  Copy full SHA for 0d2a4bd

• append sorts to symbols

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  04e280c

  Copy full SHA for 04e280c

• fix lookupEnumerator

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  b904c32

  Copy full SHA for b904c32

• fix

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  bd1fd9c

  Copy full SHA for bd1fd9c

• rename isNoInit => hasInit

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  722765b

  Copy full SHA for 722765b

• Revert "append sorts to symbols"

  Show description for f8f01a3
  

  h0nzZik

  authored and

  Dwight Guth

  committed
  f8f01a3

  Copy full SHA for f8f01a3

• C++ semantics [symbol] tags.

  

  chathhorn

  authored and

  Dwight Guth

  committed
  3640887

  Copy full SHA for 3640887

• update K

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  315a00d

  Copy full SHA for 315a00d

• llvm debug

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  cc2ef43

  Copy full SHA for cc2ef43

• UnknownCabsLoc

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  f35abc8

  Copy full SHA for f35abc8

• workaround for K bug runtimeverification/k#1193

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  0d13a74

  Copy full SHA for 0d13a74

• C++ parser: toplevel sort is KItem

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  dd08978

  Copy full SHA for dd08978

• C++ parser #NoName

  

  h0nzZik

  authored and

  Dwight Guth

  committed
  0de15eb

  Copy full SHA for 0de15eb

• fix kcc script merge conflict

  

  Dwight Guth

  committed
  63b33c7

  Copy full SHA for 63b33c7

Commits on Apr 29, 2020

• Merge branch 'llvm' into latest

  h0nzZik

  committed
  04e182f

  Copy full SHA for 04e182f

• fix checkLoc

  Show description for 998108d
  h0nzZik

  committed
  998108d

  Copy full SHA for 998108d

• fix missing [function]

  h0nzZik

  committed
  6124977

  Copy full SHA for 6124977

• little refactoring

  h0nzZik

  committed
  c323c29

  Copy full SHA for c323c29

• fix missing [symbol]

  h0nzZik

  committed
  a937f17

  Copy full SHA for a937f17

Commits on Apr 30, 2020

• Constructor takes AStmt

  h0nzZik

  committed
  76e5953

  Copy full SHA for 76e5953

• Revert "fix csetunion"

  Show description for 0c3571d
  h0nzZik

  committed
  0c3571d

  Copy full SHA for 0c3571d

• make csetunion work with types

  h0nzZik

  committed
  614aeca

  Copy full SHA for 614aeca

• fix sorts

  h0nzZik

  committed
  93a6b30

  Copy full SHA for 93a6b30

• remove the content of <initializers> in the link time

  Show description for 45c70ba
  h0nzZik

  committed
  45c70ba

  Copy full SHA for 45c70ba

• fix sorts

  h0nzZik

  committed
  3dd482d

  Copy full SHA for 3dd482d

Commits on May 1, 2020

• parser: skip default arguments in a call

  h0nzZik

  committed
  8810ac8

  Copy full SHA for 8810ac8

Commits on May 11, 2020

• fix sorts

  h0nzZik

  committed
  8dcf2ed

  Copy full SHA for 8dcf2ed

Commits on May 12, 2020

• fixes

  h0nzZik

  committed
  be8951f

  Copy full SHA for be8951f

Commits on May 14, 2020

• kcc -fdebug-linking

  h0nzZik

  committed
  eda43b4

  Copy full SHA for eda43b4

• kcc: fix generating kcc_config from linking semantics

  h0nzZik

  committed
  3818a61

  Copy full SHA for 3818a61

• linking: overwrite with the same value

  h0nzZik

  committed
  2891833

  Copy full SHA for 2891833

• brace initialization: fix sorts

  h0nzZik

  committed
  a5b4248

  Copy full SHA for a5b4248

• for: fix sort

  h0nzZik

  committed
  8615063

  Copy full SHA for 8615063

• isKResult

  h0nzZik

  committed
  e88a01b

  Copy full SHA for e88a01b