Commits

Breadcrumbs

History for

onrmmodules

User selector

All users

All time

Commit history

Commits on Dec 31, 2016

• Minor f17 branch fixing.

  

  Ray Hu

  committed
  0525906

  Copy full SHA for 0525906

• Minor.

  

  Ray Hu

  committed
  734ca0a

  Copy full SHA for 734ca0a

• Added role enabling check.

  

  Ray Hu

  committed
  a50d365

  Copy full SHA for a50d365

• Added remaining f17 safety errors.

  

  Ray Hu

  committed
  fcc210d

  Copy full SHA for fcc210d

• Added redundant rec remover.

  

  Ray Hu

  committed
  9f16716

  Copy full SHA for 9f16716

Commits on Dec 30, 2016

• Added some f17 examples.

  

  Ray Hu

  committed
  f3f003f

  Copy full SHA for f3f003f

• Added progress checks.

  

  Ray Hu

  committed
  e2778dd

  Copy full SHA for e2778dd

• Continued.

  

  Ray Hu

  committed
  f7fd08f

  Copy full SHA for f7fd08f

• Adding f17 EFSMs and EFSM-based model building.

  

  Ray Hu

  committed
  0f4dc52

  Copy full SHA for 0f4dc52

Commits on Dec 29, 2016

• Minor.

  

  Ray Hu

  committed
  a8eda5a

  Copy full SHA for a8eda5a

• Added f17 LTS classes.

  

  Ray Hu

  committed
  7ba5b5d

  Copy full SHA for 7ba5b5d

• Continued on model building. In progress.

  

  Ray Hu

  committed
  16d41f7

  Copy full SHA for 16d41f7

Commits on Dec 28, 2016

• Adding f17 model building.

  

  Ray Hu

  committed
  268eb5e

  Copy full SHA for 268eb5e

• Minor.

  

  Ray Hu

  committed
  de3be3e

  Copy full SHA for de3be3e

• Minor.

  

  Ray Hu

  committed
  26f8420

  Copy full SHA for 26f8420

• Continued refactoring.

  

  Ray Hu

  committed
  eb9c8c9

  Copy full SHA for eb9c8c9

• Continued refactoring.

  

  Ray Hu

  committed
  811f1a4

  Copy full SHA for 811f1a4

Commits on Dec 25, 2016

• F17 parsing.

  

  Ray Hu

  committed
  88ce63b

  Copy full SHA for 88ce63b

Commits on Dec 5, 2016

• Minor.

  

  Ray Hu

  committed
  0b2b300

  Copy full SHA for 0b2b300

• Added -inline mainmod CL option.

  

  Ray Hu

  committed
  670bfea

  Copy full SHA for 670bfea

Commits on Dec 3, 2016

• Continued.

  

  Ray Hu

  committed
  1389b36

  Copy full SHA for 1389b36

• Added ScribbleException CommonTree blame constructor.

  

  Ray Hu

  committed
  71478a2

  Copy full SHA for 71478a2

• Minor.

  

  Ray Hu

  committed
  c6e9202

  Copy full SHA for c6e9202

Commits on Dec 2, 2016

• Added -novalid CL flag.

  

  Ray Hu

  committed
  5afd610

  Copy full SHA for 5afd610

Commits on Nov 29, 2016

• Fixed CL -project not printing bug.

  

  Ray Hu

  committed
  b6124f6

  Copy full SHA for b6124f6

Commits on Nov 27, 2016

• Fixed to poms. Updated README/CHANGES.

  

  Ray Hu

  committed
  97e5bc3

  Copy full SHA for 97e5bc3

Commits on Nov 24, 2016

• Minor.

  

  Ray Hu

  committed
  bd2f97d

  Copy full SHA for bd2f97d

• Continued.

  

  Ray Hu

  committed
  b998883

  Copy full SHA for b998883

Commits on Nov 23, 2016

• Continued.

  

  Ray Hu

  committed
  8443ad8

  Copy full SHA for 8443ad8

• Refactoring CommandLine interface.

  

  Ray Hu

  committed
  1893dfb

  Copy full SHA for 1893dfb

• Continued refactoring.

  

  Ray Hu

  committed
  2698163

  Copy full SHA for 2698163

• Misc.\ refactoring.

  

  Ray Hu

  committed
  984cb6e

  Copy full SHA for 984cb6e

• Added missing files and continued.

  

  Ray Hu

  committed
  850e13f

  Copy full SHA for 850e13f

• Factoring GMGraph from GMChecker.

  

  Ray Hu

  committed
  579f79a

  Copy full SHA for 579f79a

Commits on Nov 22, 2016

• MState method renaming and -model CL flag fix (fair model).

  

  Ray Hu

  committed
  eefaeff

  Copy full SHA for eefaeff