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

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

  Show description for 63e50e5
  radumereuta

  committed
  63e50e5

  Copy full SHA for 63e50e5

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 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

Commits on Dec 8, 2014

• fix MetaK and MetaVariables in lesson 9

  Show description for 5fff957
  

  Dwight Guth

  committed
  5fff957

  Copy full SHA for 5fff957

Commits on Nov 26, 2014

• removed updates

  Show description for bc87505
  andreistefanescu

  committed
  bc87505

  Copy full SHA for bc87505

Commits on Nov 25, 2014

• removed map and set choice classes

  Show description for c6630fc
  andreistefanescu

  committed
  c6630fc

  Copy full SHA for c6630fc

• added hook for list get

  Show description for cb1b75a
  andreistefanescu

  committed
  cb1b75a

  Copy full SHA for cb1b75a

Commits on Nov 13, 2014

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

  Show description for 23c84e2
  radumereuta

  committed
  23c84e2

  Copy full SHA for 23c84e2

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading