Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Nov 21, 2019

• kernel: startTime refactoring. Now it is created at very beginning of execution. Necessary to debug a run time anomaly on Jenkins. (#924)

  

  denis-bogdanas

  authored and

  Dwight Guth

  committed
  1d916da

  Copy full SHA for 1d916da

Commits on Jul 3, 2019

• KBMC (#545)

  Show description for 1875e28
  

  yzhang90

  authored and

  dwightguth

  committed
  1875e28

  Copy full SHA for 1875e28

Commits on Apr 15, 2019

• fix bug in FrontEnd involving --help and FileUtil (#411)

  

  dwightguth

  authored and

  ehildenb

  committed
  7a4e805

  Copy full SHA for 7a4e805

Commits on Jan 23, 2019

• fix bug with parsing of NaN and Infinity in modules with identifiers (#247)

  Show description for 91a69ed
  

  dwightguth

  authored
  91a69ed

  Copy full SHA for 91a69ed

Commits on Dec 13, 2018

• `kserver --socket=./my/socket` (#215)

  Show description for acbc8b8
  

  h0nzZik

  authored and

  dwightguth

  committed
  acbc8b8

  Copy full SHA for acbc8b8

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

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