Commits

Breadcrumbs

History for

ontimeout-kserver

User selector

All users

All time

Commit History

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

• update copyright for all k files

  Show description for 7a4d30e
  cos

  committed
  7a4d30e

  Copy full SHA for 7a4d30e

Commits on Apr 14, 2015

• fixes for remaining tests

  Show description for a5d8d21
  

  Dwight Guth

  committed
  a5d8d21

  Copy full SHA for a5d8d21

Commits on Feb 9, 2015

• refactoring!

  Show description for d3e943f
  cos

  committed
  d3e943f

  Copy full SHA for d3e943f

• Merge remote-tracking branch 'origin/master' into simple-path

  Show description for 3ac600c
  cos

  committed
  3ac600c

  Copy full SHA for 3ac600c

Commits on Feb 3, 2015

• Merge branch 'feature/new-outer-parser-origin' into feature/new-outer-parser

  Show description for a80fd3e
  radumereuta

  committed
  a80fd3e

  Copy full SHA for a80fd3e

• Unit test that a handwritten kore definition parses.

  Show description for 9ec2d28
  bmmoore

  committed
  9ec2d28

  Copy full SHA for 9ec2d28

Commits on Jan 30, 2015

• Fix e-kore copyright line

  Show description for 5169092
  bmmoore

  committed
  5169092

  Copy full SHA for 5169092

Commits on Jan 29, 2015

• Variables are supposed to be token.

  Show description for 269b4fc
  radumereuta

  committed
  269b4fc

  Copy full SHA for 269b4fc

• Merge branch 'feature/new-outer-parser' into feature/new-outer-parser-origin

  Show description for c838e3f
  radumereuta

  committed
  c838e3f

  Copy full SHA for c838e3f

• Merge branch 'feature/new-outer-parser' into simple-path

  Show description for dcf0112
  cos

  committed
  dcf0112

  Copy full SHA for dcf0112

Commits on Jan 28, 2015

• KORE Test fixes.

  Show description for ddb7f1e
  bmmoore

  committed
  ddb7f1e

  Copy full SHA for ddb7f1e

Commits on Jan 23, 2015

• wip on merging kore.k versions

  Show description for 2e49b2d
  cos

  committed
  2e49b2d

  Copy full SHA for 2e49b2d

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 5, 2014

• Merge pull request #1189 from kframework/feature/add-prority-and-assoc-to-kore-syntax

  Show description for d2b4a1e
  

  dwightguth

  committed
  d2b4a1e

  Copy full SHA for d2b4a1e

Commits on Nov 24, 2014

• Adding test for syntax priorities.

  Show description for 940c16d
  radumereuta

  committed
  940c16d

  Copy full SHA for 940c16d

Commits on Nov 19, 2014

• add kast front end for new syntax

  Show description for 2312aaa
  

  Dwight Guth

  committed
  2312aaa

  Copy full SHA for 2312aaa

• create JavaCC parser for new KAST

  Show description for a6f8a9b
  

  Dwight Guth

  committed
  a6f8a9b

  Copy full SHA for a6f8a9b

Commits on Nov 17, 2014

• Update kore.k

  Show description for c65d902
  cos

  committed
  c65d902

  Copy full SHA for c65d902

• grrr... checkstyle

  Show description for 3702ede
  cos

  committed
  3702ede

  Copy full SHA for 3702ede

• Update kore.k

  Show description for dd0f169
  cos

  committed
  dd0f169

  Copy full SHA for dd0f169

• Update kore.k

  Show description for 72a489b
  cos

  committed
  72a489b

  Copy full SHA for 72a489b

• Update kore.k

  Show description for edc2412
  cos

  committed
  edc2412

  Copy full SHA for edc2412

• add priority and assoc to kore.k

  Show description for 0797f11
  cos

  committed
  0797f11

  Copy full SHA for 0797f11

Commits on Nov 13, 2014

• Forgot to add quote-unquote.kore

  Show description for 70fac23
  radumereuta

  committed
  70fac23

  Copy full SHA for 70fac23

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

  Show description for 23c84e2
  radumereuta

  committed
  23c84e2

  Copy full SHA for 23c84e2

Commits on Oct 30, 2014

• the marker again

  Show description for da36a10
  cos

  committed
  da36a10

  Copy full SHA for da36a10

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading