Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jul 4, 2019

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

  Show description for dadcda0
  

  dwightguth

  authored
  dadcda0

  Copy full SHA for dadcda0

Commits on Apr 8, 2019

• pass --smt none to simple (#399)

  Show description for da17aa2
  

  dwightguth

  authored
  da17aa2

  Copy full SHA for da17aa2

Commits on Mar 5, 2019

• Fix left recursion regression in grammar of K (#333)

  Show description for ecf5aa6
  

  dwightguth

  authored
  ecf5aa6

  Copy full SHA for ecf5aa6

Commits on Feb 26, 2019

• update substitution module to use KVar and hook (#316)

  Show description for 5866e01
  

  dwightguth

  authored
  5866e01

  Copy full SHA for 5866e01

Commits on Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

Commits on Feb 1, 2019

• run tutorial from anywhere (#283)

  

  dwightguth

  authored
  b8535fa

  Copy full SHA for b8535fa

Commits on Jan 30, 2019

• Build Haskell backend as a submodule, hook into Maven (#228)

  Show description for c50bfa2
  ehildenb

  authored
  c50bfa2

  Copy full SHA for c50bfa2

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Dec 12, 2018

• Ensure that with `--io on/off` we always get an extra newline on stdin (#217)

  Show description for 28984c6
  

  ehildenb

  authored and

  dwightguth

  committed
  28984c6

  Copy full SHA for 28984c6

Commits on Nov 8, 2018

• Better fix for resolving overloads of 0-ary productions (#184)

  Show description for cff1ca0
  

  dwightguth

  authored
  cff1ca0

  Copy full SHA for cff1ca0

Commits on Aug 8, 2018

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

Commits on Jul 9, 2018

• Improved unparsing (#110)

  Show description for a3adf21
  

  dwightguth

  authored
  a3adf21

  Copy full SHA for a3adf21

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: dos2unix on all files in repo

  

  Everett Hildenbrandt

  committed
  c145e4a

  Copy full SHA for c145e4a

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Feb 9, 2018

• fix broken ktest (#699)

  Show description for 12c80e6
  

  dwightguth

  authored
  12c80e6

  Copy full SHA for 12c80e6

Commits on Feb 6, 2018

• Improvements in Unparsing (#674)

  Show description for bc7c40d
  

  dwightguth

  authored and

  chathhorn

  committed
  bc7c40d

  Copy full SHA for bc7c40d

Commits on Jan 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on Jan 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on Jan 20, 2016

• remove flaky test from ktest

  

  Dwight Guth

  committed
  7ee04b5

  Copy full SHA for 7ee04b5

Commits on Jan 19, 2016

• Merge branch 'master' of https://github.com/kframework/k into logik

  Show description for 8a230b7
  laurayuwen

  committed
  8a230b7

  Copy full SHA for 8a230b7

• Merge pull request #2117 from grosu/master

  Show description for cea79cb
  daejunpark

  committed
  cea79cb

  Copy full SHA for cea79cb

• almost ... it kompiles without warnings, but krun fails (#2221, #2117)

  Show description for dd85738
  grosu

  committed
  dd85738

  Copy full SHA for dd85738

• kool-typed-static.k kompiles without warnings

  Show description for 4b0e32b
  grosu

  committed
  4b0e32b

  Copy full SHA for 4b0e32b

• Merge branch 'master' of github.com:kframework/k

  Show description for 6bd8e34
  grosu

  committed
  6bd8e34

  Copy full SHA for 6bd8e34

• fix kool-untyped

  Show description for 40a2f0f
  daejunpark

  committed
  40a2f0f

  Copy full SHA for 40a2f0f

• minor change

  Show description for f605713
  daejunpark

  committed
  f605713

  Copy full SHA for f605713

• when => requires

  Show description for d16d0a1
  daejunpark

  committed
  d16d0a1

  Copy full SHA for d16d0a1

• drop duplicate ktest

  Show description for 9773b12
  daejunpark

  committed
  9773b12

  Copy full SHA for 9773b12

• drop AC workaround

  Show description for 2f4405e
  daejunpark

  committed
  2f4405e

  Copy full SHA for 2f4405e

• add back workarond

  Show description for 8d436a0
  daejunpark

  committed
  8d436a0

  Copy full SHA for 8d436a0

• minor change

  Show description for 48f34a5
  daejunpark

  committed
  48f34a5

  Copy full SHA for 48f34a5

• add todo comments

  Show description for f3c54e8
  daejunpark

  committed
  f3c54e8

  Copy full SHA for f3c54e8

• fix copyright

  Show description for 578e6cc
  daejunpark

  committed
  578e6cc

  Copy full SHA for 578e6cc