Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

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 Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

Commits on Jan 30, 2017

• Fix3 (#351)

  Show description for 5c6a47d
  

  dwightguth

  authored
  5c6a47d

  Copy full SHA for 5c6a47d

Commits on Jan 25, 2016

• add kserver reset

  

  Dwight Guth

  committed
  7dc5ee0

  Copy full SHA for 7dc5ee0

• revert flag for local kserver since the bug seems to be in mainline nailgun

  

  Dwight Guth

  committed
  3518d98

  Copy full SHA for 3518d98

• make local socket not the default because it seems to break ktest

  

  Dwight Guth

  committed
  c1042b2

  Copy full SHA for c1042b2

• make ksever more resilient to process kills

  

  Dwight Guth

  committed
  34f275d

  Copy full SHA for 34f275d

• use unix domain sockets for kserver on windows (more secure)

  

  Dwight Guth

  committed
  78d01f9

  Copy full SHA for 78d01f9

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 Dec 1, 2015

• fix minor bug in kserver

  Show description for 25123b1
  

  Dwight Guth

  committed
  25123b1

  Copy full SHA for 25123b1

Commits on Feb 3, 2015

• fix error in stop-kserver

  Show description for a3d72b8
  

  Dwight Guth

  committed
  a3d72b8

  Copy full SHA for a3d72b8

Commits on Jan 20, 2015

• fix compile error in merge

  Show description for e58587d
  

  Dwight Guth

  committed
  e58587d

  Copy full SHA for e58587d

Commits on Jan 2, 2015

• fix checkstyle

  Show description for c913cd3
  

  Dwight Guth

  committed
  c913cd3

  Copy full SHA for c913cd3

• fix copyright

  Show description for 8a2cec5
  

  Dwight Guth

  committed
  8a2cec5

  Copy full SHA for 8a2cec5

• 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

Loading