Commits

Commit history

1. Commits on Dec 20, 2019

   • apply function rules in order

     daejunpark

     committed
     780bebaView commit details

     Copy full SHA for 780beba

     Browse repository at this point

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

     rv-jenkins

     authored
     1cb24c0View commit details

     Copy full SHA for 1cb24c0

     Browse repository at this point

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

     rv-jenkins

     authored
     c29913bView commit details

     Copy full SHA for c29913b

     Browse repository at this point
2. Commits on Dec 19, 2019

   • Fix for #974 (#983)

     

     traiansf

     authored and

     rv-jenkins

     committed
     d6a0d36View commit details

     Copy full SHA for d6a0d36

     Browse repository at this point

   • Update dependencies (#982)

     Show description for 9c4bbbc
     

     rv-jenkins

     authored and

     ehildenb

     committed
     9c4bbbcView commit details

     Copy full SHA for 9c4bbbc

     Browse repository at this point
3. Commits on Dec 18, 2019

   • Update dependencies (#978)

     Show description for f3ec86c
     rv-jenkins

     authored
     f3ec86cView commit details

     Copy full SHA for f3ec86c

     Browse repository at this point
4. Commits on Dec 16, 2019

   • cache isNat for performance (#981)

     

     Dwight Guth

     authored and

     rv-jenkins

     committed
     35995c2View commit details

     Copy full SHA for 35995c2

     Browse repository at this point

   • Update dependencies (#955)

     Show description for 6c9a33f
     

     rv-jenkins

     authored and

     Dwight Guth

     committed
     6c9a33fView commit details

     Copy full SHA for 6c9a33f

     Browse repository at this point

   • Fix NoSuchElementException for klabel (#967)

     Show description for 8e07626
     

     virgil-serbanuta

     authored and

     Dwight Guth

     committed
     8e07626View commit details

     Copy full SHA for 8e07626

     Browse repository at this point
5. Commits on Dec 13, 2019

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

     Show description for 652be2d
     

     ehildenb

     authored and

     rv-jenkins

     committed
     652be2dView commit details

     Copy full SHA for 652be2d

     Browse repository at this point

   • Java Backend: implement keys_list hook (#977)

     Show description for 4ce9e84
     

     ehildenb

     authored and

     rv-jenkins

     committed
     4ce9e84View commit details

     Copy full SHA for 4ce9e84

     Browse repository at this point

   • Update dependencies (#972)

     Show description for 6150d8a
     rv-jenkins

     authored
     6150d8aView commit details

     Copy full SHA for 6150d8a

     Browse repository at this point

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

     andreiburdusa

     authored
     236e7fcView commit details

     Copy full SHA for 236e7fc

     Browse repository at this point
6. Commits on Dec 12, 2019

   • Coverage (#969)

     Show description for 9e6f758
     

     Dwight Guth

     authored and

     rv-jenkins

     committed
     9e6f758View commit details

     Copy full SHA for 9e6f758

     Browse repository at this point
7. Commits on Dec 11, 2019

   • Update dependencies (#960)

     Show description for 0d2819a
     rv-jenkins

     authored
     0d2819aView commit details

     Copy full SHA for 0d2819a

     Browse repository at this point

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

     

     Dwight Guth

     authored and

     rv-jenkins

     committed
     20c1c88View commit details

     Copy full SHA for 20c1c88

     Browse repository at this point
8. 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
     42adedaView commit details

     Copy full SHA for 42adeda

     Browse repository at this point
9. 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
     413f849View commit details

     Copy full SHA for 413f849

     Browse repository at this point

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

     Show description for 9e9e2df
     

     Dwight Guth

     authored and

     rv-jenkins

     committed
     9e9e2dfView commit details

     Copy full SHA for 9e9e2df

     Browse repository at this point

   • Update dependencies (#953)

     Show description for e2d8043
     rv-jenkins

     authored
     e2d8043View commit details

     Copy full SHA for e2d8043

     Browse repository at this point
10. Commits on Dec 6, 2019

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

      

      traiansf

      authored and

      rv-jenkins

      committed
      bb07eacView commit details

      Copy full SHA for bb07eac

      Browse repository at this point

    • fix bug in krun frontend (#949)

      Show description for b8d5bf8
      

      Dwight Guth

      authored
      b8d5bf8View commit details

      Copy full SHA for b8d5bf8

      Browse repository at this point

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

      

      denis-bogdanas

      authored and

      rv-jenkins

      committed
      06ce360View commit details

      Copy full SHA for 06ce360

      Browse repository at this point

    • Existentially quantify variables in Kore (#942)

      Show description for 1ac32f2
      traiansf

      authored
      1ac32f2View commit details

      Copy full SHA for 1ac32f2

      Browse repository at this point
11. Commits on Dec 5, 2019

    • Update dependencies (#944)

      Show description for 9f3ad3a
      rv-jenkins

      authored
      9f3ad3aView commit details

      Copy full SHA for 9f3ad3a

      Browse repository at this point

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

      Show description for 9394cea
      

      ttuegel

      authored and

      rv-jenkins

      committed
      9394ceaView commit details

      Copy full SHA for 9394cea

      Browse repository at this point
12. Commits on Dec 3, 2019

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

      Show description for f041eae
      

      Dwight Guth

      authored and

      rv-jenkins

      committed
      f041eaeView commit details

      Copy full SHA for f041eae

      Browse repository at this point

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

      rv-jenkins

      authored
      45a4243View commit details

      Copy full SHA for 45a4243

      Browse repository at this point

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

      Show description for 50598f6
      

      ttuegel

      authored and

      Dwight Guth

      committed
      50598f6View commit details

      Copy full SHA for 50598f6

      Browse repository at this point
13. Commits on Dec 2, 2019

    • Add and improve #fun examples (#919)

      Show description for 40214a3
      

      Xiaohong Chen

      authored
      40214a3View commit details

      Copy full SHA for 40214a3

      Browse repository at this point

    • Update dependencies (#938)

      Show description for a31facd
      rv-jenkins

      authored
      a31facdView commit details

      Copy full SHA for a31facd

      Browse repository at this point
14. Commits on Nov 27, 2019

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

      Show description for 18ad1ba
      

      denis-bogdanas

      authored and

      rv-jenkins

      committed
      18ad1baView commit details

      Copy full SHA for 18ad1ba

      Browse repository at this point

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

      

      Dwight Guth

      authored and

      rv-jenkins

      committed
      271c573View commit details

      Copy full SHA for 271c573

      Browse repository at this point

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

      Show description for b0b7ee6
      

      daejunpark

      authored and

      denis-bogdanas

      committed
      b0b7ee6View commit details

      Copy full SHA for b0b7ee6

      Browse repository at this point
15. Commits on Nov 26, 2019

    • Reverted changes to haskell imp (#931)

      Show description for 0f1da67
      

      traiansf

      authored and

      rv-jenkins

      committed
      0f1da67View commit details

      Copy full SHA for 0f1da67

      Browse repository at this point