Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

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 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 Oct 23, 2018

• Haskell search (#174)

  Show description for 8ba0473
  traiansf

  authored
  8ba0473

  Copy full SHA for 8ba0473

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 Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

Commits on Feb 9, 2018

• build 1_k in tutorial only with java backend (except SK combinators) (#704)

  

  dwightguth

  authored
  43f9b46

  Copy full SHA for 43f9b46

• fix broken ktest (#699)

  Show description for 12c80e6
  

  dwightguth

  authored
  12c80e6

  Copy full SHA for 12c80e6

Commits on Feb 8, 2018

• add proof regression test and fix z3 library to use JNA (#695)

  Show description for 90facd6
  

  dwightguth

  authored
  90facd6

  Copy full SHA for 90facd6

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

• definition itself seems flaky

  

  Dwight Guth

  committed
  e41f834

  Copy full SHA for e41f834

• another flaky test + reorganize exclude location

  

  Dwight Guth

  committed
  526fd87

  Copy full SHA for 526fd87

• add another flaky test

  

  Dwight Guth

  committed
  d0a389f

  Copy full SHA for d0a389f

• another flaky test

  

  Dwight Guth

  committed
  fe2d34d

  Copy full SHA for fe2d34d

• remove flaky test from ktest

  

  Dwight Guth

  committed
  7ee04b5

  Copy full SHA for 7ee04b5

Commits on Jan 19, 2016

• Merge pull request #2121 from grosu/master

  Show description for 415ce0c
  cos

  committed
  415ce0c

  Copy full SHA for 415ce0c

• some forgotten note

  Show description for 92751f6
  grosu

  committed
  92751f6

  Copy full SHA for 92751f6

• more copyrights

  Show description for db93d1d
  grosu

  committed
  db93d1d

  Copy full SHA for db93d1d

• fixed copyrights

  Show description for b4caa05
  grosu

  committed
  b4caa05

  Copy full SHA for b4caa05

• update .out

  Show description for 574f130
  laurayuwen

  committed
  574f130

  Copy full SHA for 574f130