Commits

Branch selector

 tmp-haskell

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 16, 2019

• tmp: revert haskell backend

  

  Dwight Guth

  committed
  0df9278

  Copy full SHA for 0df9278

Commits on Aug 14, 2019

• k-distribution/pyk/kastManip: import loggers explicitely (#688)

  ehildenb

  authored
  824ffc8

  Copy full SHA for 824ffc8

Commits on Aug 13, 2019

• Update Haskell backend (#685)

  

  ttuegel

  authored and

  dwightguth

  committed
  c7006f2

  Copy full SHA for c7006f2

• fix bug involving strategies (#682)

  Show description for db026d4
  

  dwightguth

  authored and

  ehildenb

  committed
  db026d4

  Copy full SHA for db026d4

Commits on Aug 12, 2019

• Smtlibs int - add SMTLIB translation for bitwise Int operations (#680)

  Show description for 684abb8
  ehildenb

  authored
  684abb8

  Copy full SHA for 684abb8

Commits on Aug 9, 2019

• tests: One more test for `#fun`, failing. Anything simpler passes. (#619)

  Show description for 8b0459d
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  8b0459d

  Copy full SHA for 8b0459d

• Update dependencies (#679)

  Show description for 2d58889
  

  rv-jenkins

  authored and

  dwightguth

  committed
  2d58889

  Copy full SHA for 2d58889

• Network hooks (#678)

  Show description for a04e870
  

  dwightguth

  authored and

  ehildenb

  committed
  a04e870

  Copy full SHA for a04e870

Commits on Aug 8, 2019

• Unparse set vars from Kore to K (#676)

  Show description for 9d40543
  traiansf

  authored
  9d40543

  Copy full SHA for 9d40543

• Updated haskell-backend with set-vars (#675)

  Show description for 5e3594a
  

  traiansf

  authored and

  dwightguth

  committed
  5e3594a

  Copy full SHA for 5e3594a

Commits on Aug 7, 2019

• Use same Stack flags in Docker and Maven (#667)

  Show description for ab08f9a
  

  ttuegel

  authored and

  dwightguth

  committed
  ab08f9a

  Copy full SHA for ab08f9a

Commits on Aug 6, 2019

• update llvm backend (#671)

  

  dwightguth

  authored
  b81cf39

  Copy full SHA for b81cf39

• update llvm-backend submodule (#670)

  

  dwightguth

  authored
  291c432

  Copy full SHA for 291c432

• Update to latest llvm backend (#669)

  Show description for c435af5
  

  dwightguth

  authored
  c435af5

  Copy full SHA for c435af5

Commits on Jul 31, 2019

• update llvm-backend submodule

  

  Dwight Guth

  committed
  86adea1

  Copy full SHA for 86adea1

• Revert "Packaging updates (#655)"

  Show description for 1af4b5c
  

  Dwight Guth

  committed
  1af4b5c

  Copy full SHA for 1af4b5c

• Revert "Installed pinned version of Stack from Haskell backend (#658)"

  Show description for bff6781
  

  Dwight Guth

  committed
  bff6781

  Copy full SHA for bff6781

• Revert "remove stack from makedepends"

  Show description for e1bafe2
  

  Dwight Guth

  committed
  e1bafe2

  Copy full SHA for e1bafe2

• remove stack from makedepends

  

  Dwight Guth

  committed
  e7622c1

  Copy full SHA for e7622c1

Commits on Jul 30, 2019

• disable stack protector on debian package (#659)

  

  dwightguth

  authored and

  ehildenb

  committed
  5baa577

  Copy full SHA for 5baa577

• Installed pinned version of Stack from Haskell backend (#658)

  Show description for 2cadab8
  

  ttuegel

  authored and

  ehildenb

  committed
  2cadab8

  Copy full SHA for 2cadab8

• Packaging updates (#655)

  Show description for ccf142e
  

  ehildenb

  authored and

  dwightguth

  committed
  ccf142e

  Copy full SHA for ccf142e

• update submodule (#657)

  

  dwightguth

  authored
  3f1b114

  Copy full SHA for 3f1b114

Commits on Jul 29, 2019

• Pyk library updates and fixes to KPrint output (#651)

  Show description for b87f53f
  ehildenb

  authored
  b87f53f

  Copy full SHA for b87f53f

• fix for bytes pretty printing on concrete backends (#656)

  

  dwightguth

  authored
  01ba514

  Copy full SHA for 01ba514

• fix regression in deploy (#653)

  Show description for f56cc7a
  

  dwightguth

  authored
  f56cc7a

  Copy full SHA for f56cc7a

• update llvm-backend submodule (#652)

  

  dwightguth

  authored
  bbc64d4

  Copy full SHA for bbc64d4

• 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

Pagination

Previous

Next