Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

Commits on Oct 19, 2019

• Remove 'poly' attribute (#819)

  Show description for ae1d5e2
  

  dwightguth

  authored and

  ehildenb

  committed
  ae1d5e2

  Copy full SHA for ae1d5e2

Commits on Jun 10, 2019

• fix return sort of initializer for * cells (#522)

  

  dwightguth

  authored
  5e3c3e0

  Copy full SHA for 5e3c3e0

Commits on May 1, 2019

• Configuration formatting improvements (#431)

  Show description for 6920de4
  

  nishantjr

  authored and

  dwightguth

  committed
  6920de4

  Copy full SHA for 6920de4

Commits on Apr 8, 2019

• kore/Att.hashCode fix (#386)

  Show description for cebb9ab
  

  denis-bogdanas

  authored and

  dwightguth

  committed
  cebb9ab

  Copy full SHA for cebb9ab

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

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 Oct 2, 2018

• LLVM backend (#159)

  Show description for f403769
  

  dwightguth

  authored
  f403769

  Copy full SHA for f403769

Commits on Sep 25, 2018

• KORE fixes for IELE (#151)

  Show description for 8b9f1ba
  

  dwightguth

  authored
  8b9f1ba

  Copy full SHA for 8b9f1ba

Commits on Jun 1, 2018

• IMP in KORE (#89)

  Show description for 0accfb7
  

  dwightguth

  authored
  0accfb7

  Copy full SHA for 0accfb7

Commits on May 29, 2018

• Add parameters to Sort and KLabel (#69)

  Show description for 7b4f030
  

  dwightguth

  authored
  7b4f030

  Copy full SHA for 7b4f030

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on Mar 5, 2018

• Minor fixes to K (#758)

  Show description for 26d36fa
  

  dwightguth

  authored
  26d36fa

  Copy full SHA for 26d36fa

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 30, 2018

• RV-K tutorial exercises (#662)

  Show description for a07c02d
  

  dwightguth

  authored
  a07c02d

  Copy full SHA for a07c02d

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Loading