Commits

Branch selector

 apply-function-in-order

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2019

• apply function rules in order

  daejunpark

  committed
  780beba

  Copy full SHA for 780beba

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

  rv-jenkins

  authored
  1cb24c0

  Copy full SHA for 1cb24c0

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

  rv-jenkins

  authored
  c29913b

  Copy full SHA for c29913b

Commits on Dec 19, 2019

• Fix for #974 (#983)

  

  traiansf

  authored and

  rv-jenkins

  committed
  d6a0d36

  Copy full SHA for d6a0d36

• Update dependencies (#982)

  Show description for 9c4bbbc
  

  rv-jenkins

  authored and

  ehildenb

  committed
  9c4bbbc

  Copy full SHA for 9c4bbbc

Commits on Dec 18, 2019

• Update dependencies (#978)

  Show description for f3ec86c
  rv-jenkins

  authored
  f3ec86c

  Copy full SHA for f3ec86c

Commits on Dec 16, 2019

• cache isNat for performance (#981)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  35995c2

  Copy full SHA for 35995c2

• Update dependencies (#955)

  Show description for 6c9a33f
  

  rv-jenkins

  authored and

  Dwight Guth

  committed
  6c9a33f

  Copy full SHA for 6c9a33f

• Fix NoSuchElementException for klabel (#967)

  Show description for 8e07626
  

  virgil-serbanuta

  authored and

  Dwight Guth

  committed
  8e07626

  Copy full SHA for 8e07626

Commits on Dec 13, 2019

• pyk code for working with K coverage logs (#971)

  Show description for 652be2d
  

  ehildenb

  authored and

  rv-jenkins

  committed
  652be2d

  Copy full SHA for 652be2d

• Java Backend: implement keys_list hook (#977)

  Show description for 4ce9e84
  

  ehildenb

  authored and

  rv-jenkins

  committed
  4ce9e84

  Copy full SHA for 4ce9e84

• Update dependencies (#972)

  Show description for 6150d8a
  rv-jenkins

  authored
  6150d8a

  Copy full SHA for 6150d8a

• Enable regression test for the Haskell backend (#957)

  andreiburdusa

  authored
  236e7fc

  Copy full SHA for 236e7fc

Commits on Dec 12, 2019

• Coverage (#969)

  Show description for 9e6f758
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  9e6f758

  Copy full SHA for 9e6f758

Commits on Dec 11, 2019

• Update dependencies (#960)

  Show description for 0d2819a
  rv-jenkins

  authored
  0d2819a

  Copy full SHA for 0d2819a

• fix bug involving sort inference of sort parameters (#965)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  20c1c88

  Copy full SHA for 20c1c88

Commits on Dec 10, 2019

• Better fix for issue with casts applied to KApply (#964)

  Show description for 42adeda
  

  Dwight Guth

  authored and

  radumereuta

  committed
  42adeda

  Copy full SHA for 42adeda

Commits on Dec 7, 2019

• kernel/Kompile, KBMC, KEq: refactored to Guice injections (#891)

  Show description for 413f849
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  413f849

  Copy full SHA for 413f849

• Fix for sort annotations on parametric KApply (#948)

  Show description for 9e9e2df
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  9e9e2df

  Copy full SHA for 9e9e2df

• Update dependencies (#953)

  Show description for e2d8043
  rv-jenkins

  authored
  e2d8043

  Copy full SHA for e2d8043

Commits on Dec 6, 2019

• Throwing a specific error if backend returned non-zero code without output (#954)

  

  traiansf

  authored and

  rv-jenkins

  committed
  bb07eac

  Copy full SHA for bb07eac

• fix bug in krun frontend (#949)

  Show description for b8d5bf8
  

  Dwight Guth

  authored
  b8d5bf8

  Copy full SHA for b8d5bf8

• Java Backend: Prevent OOMError masking StackOverflowError on func eval (#952)

  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  06ce360

  Copy full SHA for 06ce360

• Existentially quantify variables in Kore (#942)

  Show description for 1ac32f2
  traiansf

  authored
  1ac32f2

  Copy full SHA for 1ac32f2

Commits on Dec 5, 2019

• Update dependencies (#944)

  Show description for 9f3ad3a
  rv-jenkins

  authored
  9f3ad3a

  Copy full SHA for 9f3ad3a

• kast.k: module KVARIABLE-SYNTAX (#951)

  Show description for 9394cea
  

  ttuegel

  authored and

  rv-jenkins

  committed
  9394cea

  Copy full SHA for 9394cea

Commits on Dec 3, 2019

• new MINT module and polymorphic sort support (#839)

  Show description for f041eae
  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  f041eae

  Copy full SHA for f041eae

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

  rv-jenkins

  authored
  45a4243

  Copy full SHA for 45a4243

• Use BYTES-HOOKED with Haskell backend (#850)

  Show description for 50598f6
  

  ttuegel

  authored and

  Dwight Guth

  committed
  50598f6

  Copy full SHA for 50598f6

Commits on Dec 2, 2019

• Add and improve #fun examples (#919)

  Show description for 40214a3
  

  Xiaohong Chen

  authored
  40214a3

  Copy full SHA for 40214a3

• Update dependencies (#938)

  Show description for a31facd
  rv-jenkins

  authored
  a31facd

  Copy full SHA for a31facd

Commits on Nov 27, 2019

• kernel/KProve, ProofDefinitionBuilder: refactored to Guice injections (#887)

  Show description for 18ad1ba
  

  denis-bogdanas

  authored and

  rv-jenkins

  committed
  18ad1ba

  Copy full SHA for 18ad1ba

• better code to get production for parametric terms during unparsing (#940)

  

  Dwight Guth

  authored and

  rv-jenkins

  committed
  271c573

  Copy full SHA for 271c573

• add --concrete-rules option (#935)

  Show description for b0b7ee6
  

  daejunpark

  authored and

  denis-bogdanas

  committed
  b0b7ee6

  Copy full SHA for b0b7ee6

Commits on Nov 26, 2019

• Reverted changes to haskell imp (#931)

  Show description for 0f1da67
  

  traiansf

  authored and

  rv-jenkins

  committed
  0f1da67

  Copy full SHA for 0f1da67

Pagination

Previous

Next