Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Jun 20, 2019

• Integrated KORE output into KPrint (#561)

  Show description for 90ee840
  

  traiansf

  authored and

  ehildenb

  committed
  90ee840

  Copy full SHA for 90ee840

Commits on Jun 13, 2019

• Kore to k 2 (#538)

  Show description for 1252670
  traiansf

  authored
  1252670

  Copy full SHA for 1252670

Commits on Jun 12, 2019

• More KRead stuff, plus renaming KoreParser (#540)

  Show description for 121d8e1
  

  gtrepta

  authored and

  ehildenb

  committed
  121d8e1

  Copy full SHA for 121d8e1

Commits on Jun 11, 2019

• Adding more robustness to the front end to take various input formats (#524)

  Show description for e67143f
  

  gtrepta

  authored and

  ehildenb

  committed
  e67143f

  Copy full SHA for e67143f

Commits on May 13, 2019

• Kast respects output, allows specifying any output format for `kast` (#406)

  Show description for cb3afa4
  ehildenb

  authored
  cb3afa4

  Copy full SHA for cb3afa4

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

• add code to generate kore from kast (#130)

  

  dwightguth

  authored
  3ce9c6a

  Copy full SHA for 3ce9c6a

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

• expand macros when using kast (#755)

  Show description for 7a93693
  

  dwightguth

  authored
  7a93693

  Copy full SHA for 7a93693

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

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on May 7, 2015

• kast with new pipeline + external parsers + resolve anonymous vars + misc

  Show description for 92a21ee
  

  Dwight Guth

  committed
  92a21ee

  Copy full SHA for 92a21ee

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

• significant improvements to new parser

  Show description for fe66378
  

  Dwight Guth

  committed
  fe66378

  Copy full SHA for fe66378

Commits on Jan 2, 2015

• 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

• Merge pull request #1274 from dwightguth/fixes

  Show description for 8a5cf8f
  

  dwightguth

  committed
  8a5cf8f

  Copy full SHA for 8a5cf8f

• 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 Jan 1, 2015

• change processPgm to use a Reader

  Show description for 2efbaa6
  

  Dwight Guth

  committed
  2efbaa6

  Copy full SHA for 2efbaa6

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading