Commits

Breadcrumbs

History for

ontmp

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 Aug 1, 2016

• Improve time spent parsing (#219)

  Show description for 00ae522
  

  dwightguth

  authored
  00ae522

  Copy full SHA for 00ae522

Commits on Jan 15, 2016

• remove dropQuote

  Show description for 130d3fc
  cos

  committed
  130d3fc

  Copy full SHA for 130d3fc

Commits on Jan 14, 2016

• Revert "revert #1962 because of failure to correctly print errors in non compiling definitions"

  Show description for 095af61
  cos

  committed
  095af61

  Copy full SHA for 095af61

Commits on Jan 12, 2016

• revert #1962 because of failure to correctly print errors in non compiling definitions

  Show description for 4d56eb5
  

  Dwight Guth

  committed
  4d56eb5

  Copy full SHA for 4d56eb5

Commits on Jan 8, 2016

• Merge remote-tracking branch 'origin/master' into feature/k-api2

  Show description for 2b2ba51
  cos

  committed
  2b2ba51

  Copy full SHA for 2b2ba51

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 Jan 5, 2016

• remove throws IOException

  Show description for 2a3c479
  cos

  committed
  2a3c479

  Copy full SHA for 2a3c479

Commits on Jan 3, 2016

• Merge remote-tracking branch 'remotes/origin/master' into feature/k-api2

  Show description for 3515607
  cos

  committed
  3515607

  Copy full SHA for 3515607

• ParserUtil no longer dependent on FileUtil

  Show description for 7cbc704
  cos

  committed
  7cbc704

  Copy full SHA for 7cbc704

Commits on Jan 2, 2016

• propagate autoIncludeDomains parameter

  Show description for ee7612e
  cos

  committed
  ee7612e

  Copy full SHA for ee7612e

Commits on Dec 23, 2015

• cleanup: no more mainSyntaxModule

  Show description for 88398ae
  cos

  committed
  88398ae

  Copy full SHA for 88398ae

• different attempt

  Show description for 223a237
  cos

  committed
  223a237

  Copy full SHA for 223a237

• fix attempt

  Show description for 10830f5
  cos

  committed
  10830f5

  Copy full SHA for 10830f5

Commits on Nov 30, 2015

• add kdep tool to assist with makefiles

  Show description for 8c32ed2
  

  Dwight Guth

  committed
  8c32ed2

  Copy full SHA for 8c32ed2

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

• finish most of kompile frontend + add hook for krun frontend

  Show description for a869867
  

  Dwight Guth

  committed
  a869867

  Copy full SHA for a869867

Commits on Apr 17, 2015

• fix brandon's comments

  Show description for 00e9015
  

  Dwight Guth

  committed
  00e9015

  Copy full SHA for 00e9015

Commits on Apr 15, 2015

• add code to generate configuration syntax from declaration + refactor Kompile

  Show description for 93de73b
  

  Dwight Guth

  committed
  93de73b

  Copy full SHA for 93de73b

Commits on Apr 14, 2015

• Merge pull request #7 from kframework/automata2

  Show description for 7955106
  

  dwightguth

  authored and

  Dwight Guth

  committed
  7955106

  Copy full SHA for 7955106

• more improvements to new parser

  Show description for 7f378d5
  

  Dwight Guth

  committed
  7f378d5

  Copy full SHA for 7f378d5

• significant improvements to new parser

  Show description for fe66378
  

  Dwight Guth

  committed
  fe66378

  Copy full SHA for fe66378

Commits on Apr 10, 2015

• Fixing the e-kore.k test.

  Show description for 50a561b
  radumereuta

  committed
  50a561b

  Copy full SHA for 50a561b

• Removing duplicated modules from kore and e-kore.

  Show description for fc5439e
  radumereuta

  committed
  fc5439e

  Copy full SHA for fc5439e

Commits on Feb 12, 2015

• Adding PriorityFilter for Terms and tests for it.

  Show description for 6db6ade
  radumereuta

  committed
  6db6ade

  Copy full SHA for 6db6ade

Commits on Feb 11, 2015

• Added Priority visitor and fix some of the others. Need tests for them.

  Show description for 0fb3a06
  radumereuta

  committed
  0fb3a06

  Copy full SHA for 0fb3a06

Commits on Feb 9, 2015

• Making my own visitor and implement filters on that.

  Show description for f6b3471
  radumereuta

  committed
  f6b3471

  Copy full SHA for f6b3471

Commits on Feb 5, 2015

• Adding some TODOs on duplicate functions.

  Show description for cbb9a21
  radumereuta

  committed
  cbb9a21

  Copy full SHA for cbb9a21

• Fixing hashCode invalidation.

  Show description for c46b717
  radumereuta

  committed
  c46b717

  Copy full SHA for c46b717

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

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

• Was supposed to call the filter in the test.

  Show description for b4fd2c8
  radumereuta

  committed
  b4fd2c8

  Copy full SHA for b4fd2c8

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

  Show description for c838e3f
  radumereuta

  committed
  c838e3f

  Copy full SHA for c838e3f