Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Feb 14, 2019

• fix caching issue on kore backends when klabel attribute changes (#297)

  Show description for 710fd91
  

  dwightguth

  authored and

  ehildenb

  committed
  710fd91

  Copy full SHA for 710fd91

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 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

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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 Dec 22, 2017

• Java backend in RV-K (#643)

  Show description for a2d9c54
  

  dwightguth

  authored
  a2d9c54

  Copy full SHA for a2d9c54

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Mar 14, 2017

• fix issue with factorial scaling in number of productions (#398)

  Show description for 4e3e132
  

  dwightguth

  authored
  4e3e132

  Copy full SHA for 4e3e132

Commits on Dec 5, 2016

• Add name field to nonterminals and create record-like productions (#297)

  Show description for ddaa003
  

  dwightguth

  authored
  ddaa003

  Copy full SHA for ddaa003

Commits on Nov 17, 2016

• refactor attributes (#296)

  Show description for 784893b
  

  dwightguth

  authored
  784893b

  Copy full SHA for 784893b

Commits on Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Jan 7, 2016

• Merge branch 'master' into binary

  Show description for 1c0529f
  

  Dwight Guth

  committed
  1c0529f

  Copy full SHA for 1c0529f

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Jan 6, 2016

• Merge branch 'master' into binary

  Show description for f854edd
  

  Dwight Guth

  committed
  f854edd

  Copy full SHA for f854edd

Commits on Dec 23, 2015

• fix a couple of tests

  Show description for 77dc9b4
  cos

  committed
  77dc9b4

  Copy full SHA for 77dc9b4

• cleanup: no more mainSyntaxModule

  Show description for 88398ae
  cos

  committed
  88398ae

  Copy full SHA for 88398ae

Commits on Dec 6, 2015

• K transformers refactoring and improvements

  Show description for 962634b
  cos

  committed
  962634b

  Copy full SHA for 962634b

Commits on Nov 18, 2015

• make scala collections use uniform

  Show description for 46a2ba9
  cos

  committed
  46a2ba9

  Copy full SHA for 46a2ba9

• temp

  Show description for 0ffeb11
  

  Dwight Guth

  committed
  0ffeb11

  Copy full SHA for 0ffeb11

• fast binary parser for k

  Show description for 39e91c5
  

  Dwight Guth

  committed
  39e91c5

  Copy full SHA for 39e91c5

Commits on Sep 21, 2015

• pleasing the compiler

  Show description for 0cddf53
  cos

  committed
  0cddf53

  Copy full SHA for 0cddf53

Commits on Aug 18, 2015

• Simplify follow regex construction

  Show description for d2ca919
  bmmoore

  committed
  d2ca919

  Copy full SHA for d2ca919

Commits on May 20, 2015

• Put value first in KToken and #token syntax.

  Show description for 145753f
  bmmoore

  committed
  145753f

  Copy full SHA for 145753f

Commits on May 19, 2015

• Avoid keywords in label unparsing.

  Show description for 7344809
  bmmoore

  committed
  7344809

  Copy full SHA for 7344809

Commits on May 15, 2015

• formatting

  Show description for c952ff1
  cos

  committed
  c952ff1

  Copy full SHA for c952ff1

• improvements to meta (Up and Down) and Att

  Show description for de8a2d7
  cos

  committed
  de8a2d7

  Copy full SHA for de8a2d7

• Adding reflection tests for productions.

  Show description for 3680864
  

  radumereuta

  authored and

  cos

  committed
  3680864

  Copy full SHA for 3680864

Commits on May 5, 2015

• Print empty arguments as .KList

  Show description for d6fee25
  bmmoore

  committed
  d6fee25

  Copy full SHA for d6fee25

• KAST-syntax unparsing of KORE terms

  Show description for 10beec0
  bmmoore

  committed
  10beec0

  Copy full SHA for 10beec0

Commits on Apr 14, 2015

• fix broken test

  Show description for 167b918
  

  Dwight Guth

  committed
  167b918

  Copy full SHA for 167b918

• fixes to improve performance when parser is modular

  Show description for 5167b50
  

  Dwight Guth

  committed
  5167b50

  Copy full SHA for 5167b50

Commits on Apr 10, 2015

• fix meta test

  Show description for 9b50674
  cos

  committed
  9b50674

  Copy full SHA for 9b50674

• mainModule for Definition and simplify rule parser generator

  Show description for fe92cbd
  cos

  committed
  fe92cbd

  Copy full SHA for fe92cbd

Commits on Apr 9, 2015

• Update TestMeta for Definition constructor changes

  Show description for 5cab287
  bmmoore

  committed
  5cab287

  Copy full SHA for 5cab287

Commits on Apr 7, 2015

• Merge remote-tracking branch 'origin/feature/configuration-concretization' into feature/imp-end-to-end

  Show description for 81108ef
  cos

  committed
  81108ef

  Copy full SHA for 81108ef