Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

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

• more tweaks to ocaml: many C programs now compile and execute

  Show description for 09d9f37
  

  Dwight Guth

  committed
  09d9f37

  Copy full SHA for 09d9f37

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

• fix agent to work in java backend

  Show description for f3e9cae
  

  Dwight Guth

  committed
  f3e9cae

  Copy full SHA for f3e9cae

• 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 Dec 6, 2014

• add java backend version of builtin modules

  Show description for f87f6ca
  

  Dwight Guth

  committed
  f87f6ca

  Copy full SHA for f87f6ca

Commits on Dec 1, 2014

• Merge branch 'master' into moduleContext

  Show description for 9c65213
  radumereuta

  committed
  9c65213

  Copy full SHA for 9c65213

Commits on Nov 28, 2014

• fix code review comments

  Show description for 3f7db03
  

  Dwight Guth

  committed
  3f7db03

  Copy full SHA for 3f7db03

Commits on Nov 25, 2014

• More inconsistency fixes.

  Show description for b1170d5
  radumereuta

  committed
  b1170d5

  Copy full SHA for b1170d5

• More missing module inclusion.

  Show description for b871286
  radumereuta

  committed
  b871286

  Copy full SHA for b871286

• Fixing syntax declaration in predefined modules.

  Show description for 8182a7f
  radumereuta

  committed
  8182a7f

  Copy full SHA for 8182a7f

Commits on Nov 21, 2014

• Added more checks, and fixed module inclusion circularity.

  Show description for 2b6d01e
  radumereuta

  committed
  2b6d01e

  Copy full SHA for 2b6d01e

Commits on Nov 3, 2014

• fix ambiguity in substitution.k

  Show description for 4426910
  

  Dwight Guth

  committed
  4426910

  Copy full SHA for 4426910

Commits on Sep 25, 2014

• rename files

  Show description for 903b9a2
  

  Dwight Guth

  committed
  903b9a2

  Copy full SHA for 903b9a2

Loading