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 Apr 10, 2015

• Removing duplicated modules from kore and e-kore.

  Show description for fc5439e
  radumereuta

  committed
  fc5439e

  Copy full SHA for fc5439e

Commits on Apr 7, 2015

• fix several issues

  Show description for d48aa0b
  cos

  committed
  d48aa0b

  Copy full SHA for d48aa0b

Commits on Mar 20, 2015

• wip

  Show description for e32387a
  cos

  committed
  e32387a

  Copy full SHA for e32387a

• strict compiler pass + counting to n

  Show description for 58ac994
  cos

  committed
  58ac994

  Copy full SHA for 58ac994

Commits on Mar 18, 2015

• using the new parser for IMP rules (with Radu)

  Show description for 94eda2f
  cos

  committed
  94eda2f

  Copy full SHA for 94eda2f

• Allow casting for builtin sorts.

  Show description for c190514
  radumereuta

  committed
  c190514

  Copy full SHA for c190514

Commits on Mar 16, 2015

• Merge branch 'master' into kastNewParser

  Show description for 184bb0e
  radumereuta

  committed
  184bb0e

  Copy full SHA for 184bb0e

• Removing the w2e option from <include> tags, and reverting some attribute optimizations.

  Show description for 63e50e5
  radumereuta

  committed
  63e50e5

  Copy full SHA for 63e50e5

• Doing some renaming like @dwightguth suggested.

  Show description for 96323b7
  radumereuta

  committed
  96323b7

  Copy full SHA for 96323b7

Commits on Mar 13, 2015

• Fixing copyrights.

  Show description for b706b55
  radumereuta

  committed
  b706b55

  Copy full SHA for b706b55

• Added option warnings2errors in config files which overrides arguments given at console.

  Show description for 34380cd
  radumereuta

  committed
  34380cd

  Copy full SHA for 34380cd

Commits on Feb 27, 2015

• Merge remote-tracking branch 'origin/master' into ruleGrammar2

  Show description for d74adce
  cos

  committed
  d74adce

  Copy full SHA for d74adce

Commits on Feb 24, 2015

• Added rewrite, kseq and cast disambiguation filters.

  Show description for 26bd04d
  radumereuta

  committed
  26bd04d

  Copy full SHA for 26bd04d

• Removing some ambiguities, and fixing a bit the grammar.

  Show description for b674862
  radumereuta

  committed
  b674862

  Copy full SHA for b674862

• Parsing the first rules.

  Show description for 36bbd50
  radumereuta

  committed
  36bbd50

  Copy full SHA for 36bbd50

Commits on Feb 9, 2015

• e-kore klabel fixes

  Show description for ddd72e1
  cos

  committed
  ddd72e1

  Copy full SHA for ddd72e1

• e-kore klabel fixes

  Show description for 814c5a4
  cos

  committed
  814c5a4

  Copy full SHA for 814c5a4

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

  Show description for 3ac600c
  cos

  committed
  3ac600c

  Copy full SHA for 3ac600c

Commits on Feb 5, 2015

• Removing tabs from .k file.

  Show description for 3882816
  radumereuta

  committed
  3882816

  Copy full SHA for 3882816

Commits on Feb 4, 2015

• Reversing the lists to improve performance.

  Show description for ccd88fb
  radumereuta

  committed
  ccd88fb

  Copy full SHA for ccd88fb

Commits on Feb 3, 2015

• Work on e-kore. Managed to parse simple-untyped.

  Show description for 1ec791e
  radumereuta

  committed
  1ec791e

  Copy full SHA for 1ec791e

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

  Show description for a80fd3e
  radumereuta

  committed
  a80fd3e

  Copy full SHA for a80fd3e

Commits on Feb 2, 2015

• Merge branch 'feature/new-outer-parser' of https://github.com/kframework/k into feature/new-outer-parser

  Show description for 859fd24
  radumereuta

  committed
  859fd24

  Copy full SHA for 859fd24

• Parsing attributes the old way in e-kore.

  Show description for dd615f2
  radumereuta

  committed
  dd615f2

  Copy full SHA for dd615f2

Commits on Jan 29, 2015

• Added prefer/avoid disambiguation filter.

  Show description for 10390e4
  radumereuta

  committed
  10390e4

  Copy full SHA for 10390e4

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

  Show description for dcf0112
  cos

  committed
  dcf0112

  Copy full SHA for dcf0112

• deep refactoring

  Show description for 9c68c23
  cos

  committed
  9c68c23

  Copy full SHA for 9c68c23

Commits on Jan 28, 2015

• Added bubbles to e-kore.

  Show description for 31c261b
  radumereuta

  committed
  31c261b

  Copy full SHA for 31c261b

• KORE Test fixes.

  Show description for ddb7f1e
  bmmoore

  committed
  ddb7f1e

  Copy full SHA for ddb7f1e

Commits on Jan 27, 2015

• Making kore.k look more readable.

  Show description for 563f989
  radumereuta

  committed
  563f989

  Copy full SHA for 563f989

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 Dec 26, 2014

• add new floating point function

  Show description for 1a61645
  

  Dwight Guth

  committed
  1a61645

  Copy full SHA for 1a61645

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