Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

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

• Add InjectedKLabel case to finish KORE visitor

  Show description for 6d763a6
  bmmoore

  committed
  6d763a6

  Copy full SHA for 6d763a6

Commits on Mar 23, 2015

• add Location attribute

  Show description for 89ab48c
  cos

  committed
  89ab48c

  Copy full SHA for 89ab48c

Commits on Mar 20, 2015

• multi-file definition loading

  Show description for 63ed629
  cos

  committed
  63ed629

  Copy full SHA for 63ed629

Commits on Mar 6, 2015

• getting close to making Meta work again

  Show description for 44947e0
  cos

  committed
  44947e0

  Copy full SHA for 44947e0

• start structuring builtins, and add sugar

  Show description for cefcdf3
  cos

  committed
  cefcdf3

  Copy full SHA for cefcdf3

Commits on Feb 8, 2015

• fix Att

  Show description for 5b48330
  cos

  committed
  5b48330

  Copy full SHA for 5b48330

• add substitution

  Show description for c39e2b4
  cos

  committed
  c39e2b4

  Copy full SHA for c39e2b4

• move tiny out of kore

  Show description for 650fdf9
  cos

  committed
  650fdf9

  Copy full SHA for 650fdf9

Commits on Feb 7, 2015

• kore tests passing

  Show description for 09f9660
  cos

  committed
  09f9660

  Copy full SHA for 09f9660

• close to compiling again

  Show description for c77fae1
  cos

  committed
  c77fae1

  Copy full SHA for c77fae1

Commits on Feb 6, 2015

• moved tests

  Show description for 88a5c6c
  cos

  committed
  88a5c6c

  Copy full SHA for 88a5c6c