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 May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Jan 7, 2016

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Nov 4, 2015

• deletions

  Show description for e8db164
  

  Dwight Guth

  committed
  e8db164

  Copy full SHA for e8db164

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

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 29, 2015

• Merge pull request #1475 from dwightguth/color

  Show description for 935eac7
  cos

  committed
  935eac7

  Copy full SHA for 935eac7

• fix one last issue

  Show description for 87de6c8
  

  Dwight Guth

  committed
  87de6c8

  Copy full SHA for 87de6c8

• fix #982 : remove static initialization of java.awt.Color unless ColorUtil is actually invoked

  Show description for 300d422
  

  Dwight Guth

  committed
  300d422

  Copy full SHA for 300d422

Commits on Apr 27, 2015

• fix unicode support in new parser

  Show description for 11d2ef1
  

  Dwight Guth

  committed
  11d2ef1

  Copy full SHA for 11d2ef1

Commits on Apr 14, 2015

• significant improvements to new parser

  Show description for fe66378
  

  Dwight Guth

  committed
  fe66378

  Copy full SHA for fe66378

Commits on Feb 23, 2015

• Merge branch 'master' into scope

  Show description for 4681415
  

  Dwight Guth

  committed
  4681415

  Copy full SHA for 4681415

Commits on Jan 30, 2015

• Getting Concrete Module from injector

  Show description for 3cb9f34
  msaxena2

  committed
  3cb9f34

  Copy full SHA for 3cb9f34

Commits on Jan 27, 2015

• Merge branch 'master' into scope

  Show description for 330bb6e
  

  Dwight Guth

  committed
  330bb6e

  Copy full SHA for 330bb6e

Commits on Jan 26, 2015

• Move Coq backend to separate maven module

  Show description for 36dbe65
  bmmoore

  committed
  36dbe65

  Copy full SHA for 36dbe65

Commits on Jan 2, 2015

• add better guice scoping in order to share definition deserialization across invocations in a server

  Show description for 992230d
  

  Dwight Guth

  committed
  992230d

  Copy full SHA for 992230d

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Nov 26, 2014

• Revert "Revert "partial fix for OS.current()""

  Show description for ae03199
  cos

  committed
  ae03199

  Copy full SHA for ae03199

• Revert "partial fix for OS.current()"

  Show description for 029cbe7
  cos

  committed
  029cbe7

  Copy full SHA for 029cbe7

• partial fix for OS.current()

  Show description for 5191b47
  cos

  committed
  5191b47

  Copy full SHA for 5191b47

Commits on Nov 21, 2014

• close some memory leaks involving nailgun

  Show description for 191f0ec
  

  Dwight Guth

  committed
  191f0ec

  Copy full SHA for 191f0ec

Commits on Nov 19, 2014

• fix copyright

  Show description for 1e0abba
  

  Dwight Guth

  committed
  1e0abba

  Copy full SHA for 1e0abba

• create JavaCC parser for new KAST

  Show description for a6f8a9b
  

  Dwight Guth

  committed
  a6f8a9b

  Copy full SHA for a6f8a9b

Commits on Nov 6, 2014

• Merge pull request #1157 from dwightguth/server3

  Show description for 5863886
  

  dwightguth

  committed
  5863886

  Copy full SHA for 5863886

Commits on Nov 5, 2014

• move locations from Context to Definition. handle Definition serialization/deserialization.

  Show description for 62e52dc
  osa1

  committed
  62e52dc

  Copy full SHA for 62e52dc

Commits on Nov 4, 2014

• add option to run K with nailgun

  Show description for fef19cc
  

  Dwight Guth

  committed
  fef19cc

  Copy full SHA for fef19cc

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading