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

• Fix compilation errors with Java 9 (#65)

  

  traiansf

  authored and

  dwightguth

  committed
  a4be64c

  Copy full SHA for a4be64c

Commits on May 8, 2018

• *: fix copyrights

  

  Everett Hildenbrandt

  committed
  7aa7d40

  Copy full SHA for 7aa7d40

Commits on May 7, 2018

• kernel/.../Parser: removed unused line

  

  Everett Hildenbrandt

  committed
  6d06316

  Copy full SHA for 6d06316

Commits on Mar 2, 2018

• Allow prover to parse multiple modules (#753)

  Show description for a0eadfd
  

  dwightguth

  authored
  a0eadfd

  Copy full SHA for a0eadfd

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

• ParserUtil no longer dependent on FileUtil

  Show description for 7cbc704
  cos

  committed
  7cbc704

  Copy full SHA for 7cbc704

Commits on Dec 29, 2015

• toRuleParser as a compiler pass

  Show description for ef52500
  cos

  committed
  ef52500

  Copy full SHA for ef52500

Commits on Dec 28, 2015

• Update Parser.java

  Show description for a67e11e
  cos

  committed
  a67e11e

  Copy full SHA for a67e11e

• fixes

  Show description for 9d185e5
  cos

  committed
  9d185e5

  Copy full SHA for 9d185e5

• Parser @API interface

  Show description for 205711c
  cos

  committed
  205711c

  Copy full SHA for 205711c

Loading