Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Dec 2, 2016

• Added -novalid CL flag.

  

  Ray Hu

  committed
  5afd610

  Copy full SHA for 5afd610

Commits on Nov 28, 2016

• Minor warning fixing.

  

  Ray Hu

  committed
  f219e1e

  Copy full SHA for f219e1e

Commits on Nov 27, 2016

• Tidied up AllTest/BadTest debugging, but problem not resolved.

  

  Ray Hu

  committed
  5d6c925

  Copy full SHA for 5d6c925

Commits on Nov 25, 2016

• Continued debugging JUnit harness.

  

  Ray Hu

  committed
  d8fd20d

  Copy full SHA for d8fd20d

• Minor.

  

  Ray Hu

  committed
  1745dd4

  Copy full SHA for 1745dd4

• Minor.

  

  Ray Hu

  committed
  c849392

  Copy full SHA for c849392

• Minor.

  

  Ray Hu

  committed
  4476d39

  Copy full SHA for 4476d39

• Pushing broken build for testing.

  

  Ray Hu

  committed
  84b9bb5

  Copy full SHA for 84b9bb5

Commits on Nov 24, 2016

• Continued.

  

  Ray Hu

  committed
  b998883

  Copy full SHA for b998883

Commits on Nov 18, 2016

• Continued.

  

  Ray Hu

  committed
  2ed433e

  Copy full SHA for 2ed433e

Commits on Oct 4, 2016

• Restored unfinished-role error check, and -nocorrelation CL flag.

  

  Ray Hu

  committed
  0a69e4d

  Copy full SHA for 0a69e4d

Commits on Jul 7, 2016

• Continued.

  

  Ray Hu

  committed
  550d360

  Copy full SHA for 550d360

Commits on Jul 6, 2016

• Fixed a command line bug related to -project on bad protocols with enabling errors.

  

  Ray Hu

  committed
  675ff26

  Copy full SHA for 675ff26

• Minor.

  

  Ray Hu

  committed
  c2ca974

  Copy full SHA for c2ca974

Commits on Jun 27, 2016

• Adding betty16 examples. A couple of minor UI fixes.

  

  Ray Hu

  committed
  dbd092e

  Copy full SHA for dbd092e

Commits on Jun 22, 2016

• Added command line debug option for disabling projected local choice subject inference (unsound in general, currently).

  

  Ray Hu

  committed
  b1b37da

  Copy full SHA for b1b37da

Commits on Jun 17, 2016

• Executable permission fixes.

  

  Ray Hu

  committed
  f421cef

  Copy full SHA for f421cef

• Minor.

  

  Ray Hu

  committed
  6384a64

  Copy full SHA for 6384a64

Commits on Jun 12, 2016

• Minor Job/MainContext refactoring.

  

  Ray Hu

  committed
  a33116b

  Copy full SHA for a33116b

Commits on Jun 8, 2016

• Continued. Fixing non-det message-connect payloads. Refactored parser error exceptions.

  

  Ray Hu

  committed
  a643eb0

  Copy full SHA for a643eb0

• Fixed command line interface error reporting.

  

  Ray Hu

  committed
  2d409e4

  Copy full SHA for 2d409e4

Commits on Jun 7, 2016

• Added -fair command line flag.

  

  Ray Hu

  committed
  8e6a6cd

  Copy full SHA for 8e6a6cd

Commits on Jun 5, 2016

• Fixing a connect/accept bug in -minfsm. Continued.

  

  Ray Hu

  committed
  5091def

  Copy full SHA for 5091def

Commits on May 29, 2016

• Fixed a test harness bug.

  

  Ray Hu

  committed
  1ab5b53

  Copy full SHA for 1ab5b53

Commits on May 28, 2016

• Suppressed exception outputs and revised test harness.

  

  Ray Hu

  committed
  698ada0

  Copy full SHA for 698ada0

Commits on May 24, 2016

• Continued.

  

  Ray Hu

  committed
  d4e7b77

  Copy full SHA for d4e7b77

Commits on May 23, 2016

• All unit tests passed.

  

  Ray Hu

  committed
  2424033

  Copy full SHA for 2424033

Commits on Nov 3, 2015

• Minor warning cleaning up in test files.

  

  Ray Hu

  committed
  d918f92

  Copy full SHA for d918f92

Commits on Jul 22, 2015

• Deleted old test suite location. Minor refactoring to ModuleContext.

  

  Ray Hu

  committed
  0db960f

  Copy full SHA for 0db960f

Commits on Jul 21, 2015

• Added headerparamdecl and rolearg disamb checks.

  

  Ray Hu

  committed
  fb4250e

  Copy full SHA for fb4250e

• Separate module and protocoldecl context building (name disambiguation comes in between).

  

  Ray Hu

  committed
  948838b

  Copy full SHA for 948838b

• Minor.

  

  Ray Hu

  committed
  15c7cea

  Copy full SHA for 15c7cea

• Refactored All/Good/BadTest. Good/BadTest default to all good/bad tests if no argument specified.

  

  Ray Hu

  committed
  acab5c5

  Copy full SHA for acab5c5

Commits on Jul 20, 2015

• Hacked in Windows path fix for AllTest, and restored Good/BadTest directory-specific functionality.

  

  Ray Hu

  committed
  faf73e2

  Copy full SHA for faf73e2

Commits on Jul 19, 2015

• Fix maven build and add initial distribution. Script currently doesn't reference bundles jars

  objectiser

  committed
  cc47df4

  Copy full SHA for cc47df4