Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

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

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

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 21, 2014

• close some memory leaks involving nailgun

  Show description for 191f0ec
  

  Dwight Guth

  committed
  191f0ec

  Copy full SHA for 191f0ec

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