Commits

Breadcrumbs

History for

ontimeout-kserver

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 Nov 14, 2019

• kernel: refactoring KPrint and dependencies to Guice injections (#877)

  Show description for 6e969ee
  denis-bogdanas

  authored
  6e969ee

  Copy full SHA for 6e969ee

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 May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Jan 5, 2018

• KEq tool in RV-K (#651)

  

  dwightguth

  authored
  7cb8f08

  Copy full SHA for 7cb8f08

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

• add javadoc

  Show description for 01665c9
  

  Dwight Guth

  committed
  01665c9

  Copy full SHA for 01665c9

Commits on Dec 30, 2015

• fix copyright

  Show description for a949d26
  

  Dwight Guth

  committed
  a949d26

  Copy full SHA for a949d26

• update kdoc skeleton for new pipeline

  Show description for fe1eda9
  

  Dwight Guth

  committed
  fe1eda9

  Copy full SHA for fe1eda9

Commits on Nov 4, 2015

• deletions

  Show description for e8db164
  

  Dwight Guth

  committed
  e8db164

  Copy full SHA for e8db164

Commits on Aug 6, 2015

• fix #1543 - remove second call to setFiles

  Show description for 007316a
  

  Dwight Guth

  committed
  007316a

  Copy full SHA for 007316a

Commits on Jul 31, 2015

• fix race in KompileOptions.files

  Show description for edef4ef
  

  Dwight Guth

  committed
  edef4ef

  Copy full SHA for edef4ef

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

• cache parsing + other optimizations for incremental parsing

  Show description for 1400b1f
  

  Dwight Guth

  committed
  1400b1f

  Copy full SHA for 1400b1f

Commits on Mar 19, 2015

• fix invalid caching of FileUtil

  Show description for bbd8024
  

  Dwight Guth

  committed
  bbd8024

  Copy full SHA for bbd8024

Commits on Feb 27, 2015

• temp

  Show description for a37f0b0
  

  Dwight Guth

  committed
  a37f0b0

  Copy full SHA for a37f0b0

Commits on Feb 23, 2015

• Revert "once again, try to merge by reverting use of DefinitionScoped"

  Show description for 0facfb8
  

  Dwight Guth

  committed
  0facfb8

  Copy full SHA for 0facfb8

• once again, try to merge by reverting use of DefinitionScoped

  Show description for 497c09f
  

  Dwight Guth

  committed
  497c09f

  Copy full SHA for 497c09f

• take a guess at fixing the race condition

  Show description for 4c1b3b6
  

  Dwight Guth

  committed
  4c1b3b6

  Copy full SHA for 4c1b3b6

• Merge branch 'master' into scope

  Show description for 4681415
  

  Dwight Guth

  committed
  4681415

  Copy full SHA for 4681415

Commits on Feb 9, 2015

• Merge remote-tracking branch 'upstream/master' into debugger

  Show description for 86fdbb0
  msaxena2

  committed
  86fdbb0

  Copy full SHA for 86fdbb0

Commits on Feb 4, 2015

• Merge branch 'master' into scope

  Show description for 8a5330b
  

  Dwight Guth

  committed
  8a5330b

  Copy full SHA for 8a5330b

• guice infrastructure for multiple annotation

  Show description for 16de29d
  

  Dwight Guth

  committed
  16de29d

  Copy full SHA for 16de29d

Commits on Feb 3, 2015

• remove references to definition scope so we can merge this without race conditions

  Show description for 68ec61a
  

  Dwight Guth

  committed
  68ec61a

  Copy full SHA for 68ec61a

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

• add synchronized blocks to scope

  Show description for b161483
  

  Dwight Guth

  committed
  b161483

  Copy full SHA for b161483

Commits on Jan 2, 2015

• 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

• 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 6, 2014

• refactor k to generate posters from compiled definitions

  Show description for b6cc722
  

  Dwight Guth

  committed
  b6cc722

  Copy full SHA for b6cc722

• 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