Commits

Branch selector

 update-haskell

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2019

• update max-broken-spec.k.out

  yzhang90

  committed
  55afb98

  Copy full SHA for 55afb98

• update haskell-backend submodule

  yzhang90

  committed
  b7523cd

  Copy full SHA for b7523cd

• llvm-backend/src/main/native/llvm-backend: update submodule (#647)

  

  rv-jenkins

  authored and

  dwightguth

  committed
  4505dbd

  Copy full SHA for 4505dbd

Commits on Jul 26, 2019

• Bug fixes (#646)

  Show description for 21156b2
  

  dwightguth

  authored and

  ehildenb

  committed
  21156b2

  Copy full SHA for 21156b2

• llvm-backend/src/main/native/llvm-backend: update submodule (#645)

  

  rv-jenkins

  authored and

  dwightguth

  committed
  d2aefdf

  Copy full SHA for d2aefdf

• missing bytes hooks (#641)

  Show description for c7c7ca9
  

  dwightguth

  authored
  c7c7ca9

  Copy full SHA for c7c7ca9

Commits on Jul 25, 2019

• Update dependencies + Debian Buster (#640)

  Show description for ec2e4e7
  

  dwightguth

  authored and

  ehildenb

  committed
  ec2e4e7

  Copy full SHA for ec2e4e7

• The test case about `String2Base` function under llvm backend. (#634)

  Show description for 6ed0220
  

  QianyangPeng

  authored and

  ehildenb

  committed
  6ed0220

  Copy full SHA for 6ed0220

Commits on Jul 23, 2019

• remove xenial apt packaging. xenial does not have llvm 8 by default. (#637)

  Show description for f9f1ba5
  

  dwightguth

  authored
  f9f1ba5

  Copy full SHA for f9f1ba5

• fix packaging script (#636)

  

  dwightguth

  authored
  82de390

  Copy full SHA for 82de390

• systemResult as symbol and label (#632)

  Show description for 0fdaeb2
  mickyabir

  authored
  0fdaeb2

  Copy full SHA for 0fdaeb2

• haskell-backend/src/main/native/haskell-backend: update submodule (#635)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  735af0b

  Copy full SHA for 735af0b

Commits on Jul 22, 2019

• Automatically generate tools in bin dir of package from prefix. (#633)

  Show description for 3e97d7d
  

  dwightguth

  authored and

  ehildenb

  committed
  3e97d7d

  Copy full SHA for 3e97d7d

• Update dependencies (#629)

  Show description for 6837bef
  

  rv-jenkins

  authored and

  ehildenb

  committed
  6837bef

  Copy full SHA for 6837bef

• Temporary roll back of set var axioms (#630)

  

  traiansf

  authored and

  dwightguth

  committed
  3026f0c

  Copy full SHA for 3026f0c

Commits on Jul 19, 2019

• Add the hasDomainValues attribute to kore (#623)

  Show description for d9ed46a
  

  virgil-serbanuta

  authored and

  dwightguth

  committed
  d9ed46a

  Copy full SHA for d9ed46a

Commits on Jul 18, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#624)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  5b336bb

  Copy full SHA for 5b336bb

• point destdir at prefix (#622)

  

  dwightguth

  authored and

  ehildenb

  committed
  32a7ce0

  Copy full SHA for 32a7ce0

Commits on Jul 17, 2019

• Update dependencies (#617)

  Show description for 977dbf4
  

  rv-jenkins

  authored and

  dwightguth

  committed
  977dbf4

  Copy full SHA for 977dbf4

Commits on Jul 15, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#613)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  02b8299

  Copy full SHA for 02b8299

Commits on Jul 12, 2019

• Tests for nested #fun. Issues with LLVM backend (#597)

  Show description for 05e91fa
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  05e91fa

  Copy full SHA for 05e91fa

Commits on Jul 11, 2019

• Update dependencies (#608)

  Show description for d054267
  

  rv-jenkins

  authored and

  dwightguth

  committed
  d054267

  Copy full SHA for d054267

• fix bug in mac build (#606)

  Show description for 6e93392
  

  dwightguth

  authored and

  ehildenb

  committed
  6e93392

  Copy full SHA for 6e93392

• Update submodule dependencies (#607)

  Show description for e315f0b
  

  rv-jenkins

  authored and

  ehildenb

  committed
  e315f0b

  Copy full SHA for e315f0b

Commits on Jul 10, 2019

• update llvm backend submodule (#604)

  Show description for 70ca2fe
  

  dwightguth

  authored and

  ehildenb

  committed
  70ca2fe

  Copy full SHA for 70ca2fe

• fix bugs in CheckFunctions (#605)

  

  dwightguth

  authored and

  ehildenb

  committed
  353d89c

  Copy full SHA for 353d89c

• test case for f32 multiplication with llvm backend (#601)

  

  QianyangPeng

  authored and

  ehildenb

  committed
  0e2317b

  Copy full SHA for 0e2317b

• llvm-backend/src/main/native/llvm-backend: update submodule (#602)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  612f21e

  Copy full SHA for 612f21e

Commits on Jul 9, 2019

• Refactored #Ceil axiom to use Set vars (#596)

  Show description for 89361d7
  

  traiansf

  authored and

  dwightguth

  committed
  89361d7

  Copy full SHA for 89361d7

• Update submodule dependencies (#600)

  Show description for 8ddacfb
  

  rv-jenkins

  authored and

  ehildenb

  committed
  8ddacfb

  Copy full SHA for 8ddacfb

• py-kframework/kast.py: fixes to unparsing code (#599)

  ehildenb

  authored
  13c1466

  Copy full SHA for 13c1466

Commits on Jul 6, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#595)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  ef7c41b

  Copy full SHA for ef7c41b

Commits on Jul 5, 2019

• haskell-backend/src/main/native/haskell-backend: update submodule (#594)

  

  rv-jenkins

  authored and

  ehildenb

  committed
  0d23638

  Copy full SHA for 0d23638

Commits on Jul 4, 2019

• Update submodule dependencies (#593)

  Show description for c0d7170
  

  rv-jenkins

  authored and

  ehildenb

  committed
  c0d7170

  Copy full SHA for c0d7170

• Non-recursive and recursive macros, plus macros applied to tokens. (#592)

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Pagination

Previous

Next