Commits

Breadcrumbs

History for

ontmp

User selector

All users

All time

Commit History

Commits on Apr 5, 2019

• try to build k on mac os during ci (#362)

  Show description for dd587fd
  

  dwightguth

  authored
  dd587fd

  Copy full SHA for dd587fd

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

• fix cosmin's comments

  Show description for 035ffcb
  

  Dwight Guth

  committed
  035ffcb

  Copy full SHA for 035ffcb

Commits on Jan 7, 2016

• fix copyright

  Show description for 5e595bc
  

  Dwight Guth

  committed
  5e595bc

  Copy full SHA for 5e595bc

Commits on Nov 18, 2015

• temp

  Show description for e40e4b8
  

  Dwight Guth

  committed
  e40e4b8

  Copy full SHA for e40e4b8

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 Mar 19, 2015

• fix invalid caching of FileUtil

  Show description for bbd8024
  

  Dwight Guth

  committed
  bbd8024

  Copy full SHA for bbd8024

Commits on Jan 2, 2015

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

• remove all references to maude backend and make java the default

  Show description for 0b1e5cd
  

  Dwight Guth

  committed
  0b1e5cd

  Copy full SHA for 0b1e5cd

Commits on Nov 19, 2014

• create JavaCC parser for new KAST

  Show description for a6f8a9b
  

  Dwight Guth

  committed
  a6f8a9b

  Copy full SHA for a6f8a9b

Commits on Nov 5, 2014

• remove startSymbolPgm

  Show description for ecfa2d7
  osa1

  committed
  ecfa2d7

  Copy full SHA for ecfa2d7

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading