Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

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 18, 2018

• Tutorial in RV-K (#657)

  Show description for 0030b16
  

  dwightguth

  authored
  0030b16

  Copy full SHA for 0030b16

Commits on May 2, 2016

• module qualify klabels (#159)

  Show description for b4be3fa
  

  dwightguth

  committed
  b4be3fa

  Copy full SHA for b4be3fa

Commits on Jan 20, 2016

• several scalability fixes to krun

  

  Dwight Guth

  committed
  23083e6

  Copy full SHA for 23083e6

Commits on Jan 8, 2016

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

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

• document format

  Show description for 588ae37
  

  Dwight Guth

  committed
  588ae37

  Copy full SHA for 588ae37

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

• fix concatenation of terms together

  Show description for 98015a2
  

  Dwight Guth

  committed
  98015a2

  Copy full SHA for 98015a2

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 Jan 2, 2016

• slightly cleaner

  Show description for fc9c6b1
  cos

  committed
  fc9c6b1

  Copy full SHA for fc9c6b1

• this should work

  Show description for 2d11bd7
  cos

  committed
  2d11bd7

  Copy full SHA for 2d11bd7

Commits on Nov 20, 2015

• more optimizations

  Show description for b14bece
  

  Dwight Guth

  committed
  b14bece

  Copy full SHA for b14bece

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 Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Sep 21, 2015

• fix part of issue # 1662: remove brackets around assoc labels (format adjust)

  Show description for 78371a4
  laurayuwen

  committed
  78371a4

  Copy full SHA for 78371a4

Commits on Sep 18, 2015

• fix part of issue # 1662: remove brackets around assoc labels (2)

  Show description for cfb4ed4
  laurayuwen

  committed
  cfb4ed4

  Copy full SHA for cfb4ed4

• fix part of issue # 1662: remove brackets around assoc labels

  Show description for 9ecec36
  laurayuwen

  committed
  9ecec36

  Copy full SHA for 9ecec36

Commits on May 6, 2015

• fix java backend for imp

  Show description for 5e53258
  

  Dwight Guth

  committed
  5e53258

  Copy full SHA for 5e53258

Commits on Apr 30, 2015

• fix copyright

  Show description for 7d7b653
  

  Dwight Guth

  committed
  7d7b653

  Copy full SHA for 7d7b653

• fix #1319 in new pipeline : new AddBrackets class for KORE

  Show description for 8ac5052
  

  Dwight Guth

  committed
  8ac5052

  Copy full SHA for 8ac5052

Loading