Commits

Branch selector

 tmp

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 21, 2019

• update haskell backend submodule

  

  Dwight Guth

  committed
  c35e77d

  Copy full SHA for c35e77d

Commits on Aug 20, 2019

• fix deploy phase

  

  Dwight Guth

  committed
  1a995fa

  Copy full SHA for 1a995fa

• [BUGFIX] LLVM backend crashes on integers prefixed with `+` (#690)

  Show description for 179d1c5
  

  ehildenb

  authored and

  mickyabir

  committed
  179d1c5

  Copy full SHA for 179d1c5

• java-backend: Variable.equals() is now based on name and sort (#687)

  Show description for 2ced6b6
  

  denis-bogdanas

  authored and

  ehildenb

  committed
  2ced6b6

  Copy full SHA for 2ced6b6

Commits on Aug 19, 2019

• try to release kframework bottle on mac os mojave (#673)

  Show description for 3ccefad
  

  dwightguth

  authored and

  ehildenb

  committed
  3ccefad

  Copy full SHA for 3ccefad

Commits on Aug 16, 2019

• revert haskell backend submodule (#694)

  Show description for 677104b
  

  dwightguth

  authored
  677104b

  Copy full SHA for 677104b

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

Pagination

Previous

Next