Commits

Branch selector

 master

User selector

dwightguth

Datepicker

All time

Commit History

Commits on Dec 19, 2014

• [maven-release-plugin] prepare for next development iteration

  dwightguth

  committed
  56c9e87

  Copy full SHA for 56c9e87

• [maven-release-plugin] prepare release v3.5

  dwightguth

  committed
  13a2bc4

  Copy full SHA for 13a2bc4

• update readme version for release

  dwightguth

  committed
  f5c80e7

  Copy full SHA for f5c80e7

Commits on Jun 2, 2014

• update to latest version of jansi

  dwightguth

  committed
  5fbb175

  Copy full SHA for 5fbb175

Commits on Feb 28, 2014

• add checkstyle with 1 check (tabs) and fix it so it passes

  dwightguth

  committed
  c844afd

  Copy full SHA for c844afd

• write some sample unit tests

  dwightguth

  committed
  70ca740

  Copy full SHA for 70ca740

Commits on Feb 27, 2014

• run junit tests on every "ant test" invocation

  dwightguth

  committed
  77f814d

  Copy full SHA for 77f814d

Commits on Aug 19, 2013

• fix intermittent bug in test

  dwightguth

  committed
  4b3301e

  Copy full SHA for 4b3301e

Commits on Aug 18, 2013

• update ant test so it includes io test2 and passes io test1

  dwightguth

  committed
  3547f82

  Copy full SHA for 3547f82

• fix test2 so it passes, print stack trace under -verbose if a hook, support --backend java-symbolic --depth, and a few other minor things

  dwightguth

  committed
  e7ac6d5

  Copy full SHA for e7ac6d5

• fix bug that arises on java-symbolic backend when LIST module isn't imported

  dwightguth

  committed
  d3edb74

  Copy full SHA for d3edb74

Commits on Aug 16, 2013

• big commit to update the java rewrite engine with streams io. it's not done yet, but I need Traian to test

  dwightguth

  committed
  5e399a3

  Copy full SHA for 5e399a3

• some minor fixes for kompile -fastKast. Radu, feel free to revert or modify what I did if it looks wrong to you.

  dwightguth

  committed
  8791ac9

  Copy full SHA for 8791ac9

• update .gitignore with new ktest jar

  dwightguth

  committed
  e9b564e

  Copy full SHA for e9b564e

• fix some bugs in the krun --no-io, krun --search, and krun --debug world about IO

  dwightguth

  committed
  1cd7e3a

  Copy full SHA for 1cd7e3a

• fix bug in previous commit

  dwightguth

  committed
  3bfde4e

  Copy full SHA for 3bfde4e

Commits on Aug 13, 2013

• make productions which have distinct klabel attributes not return true on equals

  dwightguth

  committed
  6dfa446

  Copy full SHA for 6dfa446

Commits on Aug 12, 2013

• add tests for rest of IO functions

  dwightguth

  committed
  b9f2d8e

  Copy full SHA for b9f2d8e

Commits on Aug 11, 2013

• trim error message to 80 characters per line

  dwightguth

  committed
  85ac344

  Copy full SHA for 85ac344

Commits on Aug 9, 2013

• add UnsupportedBackendOptionException so that we don't catch all UnsupportedOperationExceptions in krun

  dwightguth

  committed
  78bbf87

  Copy full SHA for 78bbf87

• fix remaining IO tests on java backend

  dwightguth

  committed
  5052835

  Copy full SHA for 5052835

• add hooks.properties for IO operations, plus the remainder of the hooks (untested)

  dwightguth

  committed
  87f5a97

  Copy full SHA for 87f5a97

Commits on Aug 8, 2013

• update .gitignore to make working copy completely clean

  dwightguth

  committed
  2d48383

  Copy full SHA for 2d48383

Commits on Aug 7, 2013

• big refactoring to add TermContext to everything instead of Definition. plus use it to give a FileSystem to IO hooks

  Show description for 2b6c26e
  dwightguth

  committed
  2b6c26e

  Copy full SHA for 2b6c26e

• add "unixOnly" parameter to ant test xml which runs a test only on unix with an initialization shell script

  Show description for 50bd161
  dwightguth

  committed
  50bd161

  Copy full SHA for 50bd161

• change ant test so it takes a little bit longer to run but doesn't depend on the positioning of defx.bin

  Show description for 9a3c238
  dwightguth

  committed
  9a3c238

  Copy full SHA for 9a3c238

Commits on Jul 31, 2013

• store separate compiled definitions for different backends

  Show description for a846c35
  dwightguth

  committed
  a846c35

  Copy full SHA for a846c35

Commits on Jul 28, 2013

• another small fix

  Show description for ee8f4a7
  dwightguth

  committed
  ee8f4a7

  Copy full SHA for ee8f4a7

• fix #noIO bug

  Show description for cf6a8fa
  dwightguth

  committed
  cf6a8fa

  Copy full SHA for cf6a8fa

Commits on Jul 25, 2013

• add wcet to examples directory

  Show description for 67786f5
  dwightguth

  committed
  67786f5

  Copy full SHA for 67786f5

• big commit of IO server refactoring that adds the File System API.

  Show description for fe4f318
  dwightguth

  committed
  fe4f318

  Copy full SHA for fe4f318

• fix accidentally committing broken test

  Show description for 6c18a14
  dwightguth

  committed
  6c18a14

  Copy full SHA for 6c18a14

• add regression test for the string2int maude hook

  Show description for a3ab251
  dwightguth

  committed
  a3ab251

  Copy full SHA for a3ab251

• fix some maude hooks that I broke by accident.

  Show description for d2ac239
  dwightguth

  committed
  d2ac239

  Copy full SHA for d2ac239

Commits on Jul 23, 2013

• modify streams to use machinery compatible with java backend

  Show description for b0d4756
  dwightguth

  committed
  b0d4756

  Copy full SHA for b0d4756

Pagination

Previous

Next