Commits

Breadcrumbs

History for

onwithConfig2

User selector

All users

All time

Commit History

Commits on Apr 16, 2019

• [BUGFIX] Determining rule for getExitCode relies on top cell being named generatedTop (#407)

  Show description for d521ed9
  ehildenb

  authored
  d521ed9

  Copy full SHA for d521ed9

Commits on Apr 8, 2019

• generate explicit projections for outer casts (#395)

  Show description for 9f5bba3
  

  dwightguth

  authored
  9f5bba3

  Copy full SHA for 9f5bba3

Commits on Mar 4, 2019

• Global context in function rules (#318)

  Show description for 33858e7
  

  dwightguth

  authored
  33858e7

  Copy full SHA for 33858e7

Commits on Feb 25, 2019

• Various improvements to K frontend (#306)

  Show description for 025a572
  

  dwightguth

  authored
  025a572

  Copy full SHA for 025a572

Commits on Feb 22, 2019

• Send sentence labels to Kore (#305)

  Show description for 072b22c
  

  ttuegel

  authored and

  ehildenb

  committed
  072b22c

  Copy full SHA for 072b22c

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

• Update K to generate kore from IELE (#125)

  Show description for 05b915a
  

  dwightguth

  authored
  05b915a

  Copy full SHA for 05b915a

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

• Java 9 support (#686)

  Show description for b2b710c
  

  dwightguth

  authored
  b2b710c

  Copy full SHA for b2b710c

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 18, 2016

• [em] add tests + delete old check

  Show description for f4a9b92
  daejunpark

  committed
  f4a9b92

  Copy full SHA for f4a9b92

Commits on Jan 17, 2016

• [em] remove old check

  Show description for cb8ec23
  daejunpark

  committed
  cb8ec23

  Copy full SHA for cb8ec23

• [em] delete old check

  Show description for 7ec0e7c
  daejunpark

  committed
  7ec0e7c

  Copy full SHA for 7ec0e7c

• [em] check duplicate configuration cells

  Show description for f3189be
  daejunpark

  committed
  f3189be

  Copy full SHA for f3189be

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

• Update CheckVariables.java

  Show description for b1898f0
  yutopp

  committed
  b1898f0

  Copy full SHA for b1898f0

Commits on Nov 4, 2015

• fix radu's comment

  Show description for f0ae243
  

  Dwight Guth

  committed
  f0ae243

  Copy full SHA for f0ae243

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Jan 2, 2015

• 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 Dec 3, 2014

• Rename all the _ to _void to stop the warnings from the compiler.

  Show description for 51fd63b
  radumereuta

  committed
  51fd63b

  Copy full SHA for 51fd63b

Commits on Nov 25, 2014

• More inconsistency fixes.

  Show description for b1170d5
  radumereuta

  committed
  b1170d5

  Copy full SHA for b1170d5

Commits on Nov 21, 2014

• Added more checks, and fixed module inclusion circularity.

  Show description for 2b6d01e
  radumereuta

  committed
  2b6d01e

  Copy full SHA for 2b6d01e

Commits on Nov 13, 2014

• Adding support for parseInModule (for programs) - (collapsed history).

  Show description for 23c84e2
  radumereuta

  committed
  23c84e2

  Copy full SHA for 23c84e2

Commits on Nov 5, 2014

• remove definedSorts

  Show description for 7093310
  osa1

  committed
  7093310

  Copy full SHA for 7093310

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading