Commits

Breadcrumbs

History for

onscrib-assertions

User selector

All users

All time

Commit history

Commits on Dec 5, 2016

• Added -inline mainmod CL option.

  

  Ray Hu

  committed
  670bfea

  Copy full SHA for 670bfea

Commits on Dec 3, 2016

• Continued.

  

  Ray Hu

  committed
  2a47419

  Copy full SHA for 2a47419

Commits on Nov 28, 2016

• Changed version from 0.3.2 to 0.4.

  

  Ray Hu

  committed
  5c3c816

  Copy full SHA for 5c3c816

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 21, 2016

• Minor.

  

  Ray Hu

  committed
  dd1257f

  Copy full SHA for dd1257f

• Fixed Antlr to exit on parsing error.

  

  Ray Hu

  committed
  1a9593f

  Copy full SHA for 1a9593f

Commits on Jun 17, 2016

• Executable permission fixes.

  

  Ray Hu

  committed
  f421cef

  Copy full SHA for f421cef

Commits on Jun 12, 2016

• Minor.

  

  Ray Hu

  committed
  cdbf78d

  Copy full SHA for cdbf78d

• Refactored payload elem kind parameters. Fixed some general warnings.

  

  Ray Hu

  committed
  3c1790e

  Copy full SHA for 3c1790e

Commits on Jun 10, 2016

• Doing full name disamb on DelegationElem proto. Fixed name disamb for role child. Added proto and role name checks.

  

  Ray Hu

  committed
  0a76473

  Copy full SHA for 0a76473

• Refactoring AST for "delegation name-pair" payload elems. Added Scribble-specific "delegation payload types".

  

  Ray Hu

  committed
  4768935

  Copy full SHA for 4768935

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

• Continued. Refactored enabling checks and wait-for error checks for message-connects.

  

  Ray Hu

  committed
  9a08f77

  Copy full SHA for 9a08f77

• Refactored ConnectionAction to have a message. Disconnect/Wrap refactored to explicitly have the unit message.

  

  Ray Hu

  committed
  9177158

  Copy full SHA for 9177158

Commits on Jun 7, 2016

• Added wrap to model checking.

  

  Ray Hu

  committed
  e63d546

  Copy full SHA for e63d546

• Adding wrap to global modelling.

  

  Ray Hu

  committed
  4946d40

  Copy full SHA for 4946d40

• Adding wrap ast/del classes.

  

  Ray Hu

  committed
  97c6916

  Copy full SHA for 97c6916

Commits on May 25, 2016

• Minor.

  

  Ray Hu

  committed
  8187154

  Copy full SHA for 8187154

• Fixed Scribble.g typo.

  

  Ray Hu

  committed
  6286827

  Copy full SHA for 6286827

• Added "aux" modifier for global protocols.

  

  Ray Hu

  committed
  adef9ee

  Copy full SHA for adef9ee

• Minor.

  

  Ray Hu

  committed
  01f8f28

  Copy full SHA for 01f8f28

• Added global protocol modifier for explicit (initial) connections.

  

  Ray Hu

  committed
  741deea

  Copy full SHA for 741deea

Commits on May 24, 2016

• Added WFConfig sync transitions.

  

  Ray Hu

  committed
  d59d4e5

  Copy full SHA for d59d4e5

• Continued. In progress.

  

  Ray Hu

  committed
  5029cae

  Copy full SHA for 5029cae

• Adding connection actions.

  

  Ray Hu

  committed
  591f651

  Copy full SHA for 591f651

Commits on Nov 12, 2015

• Continued.

  

  Ray Hu

  committed
  9bc210a

  Copy full SHA for 9bc210a

Commits on Nov 11, 2015

• Refactoring IO State Interface generation.

  

  Ray Hu

  committed
  9aa5713

  Copy full SHA for 9aa5713

Commits on Nov 10, 2015

• Refactoring simple version of SMTP demo.

  

  Ray Hu

  committed
  5b40570

  Copy full SHA for 5b40570

Commits on Nov 7, 2015

• Using dollar symbol in generated I/O interfaces prevents the types showing in Eclipse type hierarchy. Changed to underscores.

  

  Ray Hu

  committed
  32a72c3

  Copy full SHA for 32a72c3

Commits on Jul 22, 2015

• Continued on fixing module context building and visible names.

  

  Ray Hu

  committed
  f6a8e64

  Copy full SHA for f6a8e64

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

Commits on Jul 18, 2015

• Minor: fixed a redundant import.

  

  Ray Hu

  committed
  779a315

  Copy full SHA for 779a315

• Merge branch 'rhu1/testing/setup' into rhu1-master

  

  Ray Hu

  committed
  168c058

  Copy full SHA for 168c058

Commits on Jul 17, 2015

• Fixed import module alias name parsing bug.

  

  Ray Hu

  committed
  ba97322

  Copy full SHA for ba97322

• Quick fix: added antlr-3.5.2 jar and cheat sheet CL antlr command to parser file.

  

  Ray Hu

  committed
  7082cd5

  Copy full SHA for 7082cd5