Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 18, 2016

• Merge pull request #222 from runtimeverification/enforceTest

  Show description for 4504683
  xiaohe27

  committed
  4504683

  Copy full SHA for 4504683

• add enforce test

  xiaohe27

  committed
  ee3cb6b

  Copy full SHA for ee3cb6b

Commits on Dec 21, 2015

• Merge pull request #221 from xiaohe27/test

  Show description for 6d9b0f5
  xiaohe27

  committed
  6d9b0f5

  Copy full SHA for 6d9b0f5

• uncomment test

  xiaohe27

  committed
  aae9d78

  Copy full SHA for aae9d78

Commits on Dec 20, 2015

• Merge pull request #220 from xiaohe27/static

  Show description for db849c4
  xiaohe27

  committed
  db849c4

  Copy full SHA for db849c4

• rename test case name so that it will not be regarded as unit test

  xiaohe27

  committed
  63cc8f6

  Copy full SHA for 63cc8f6

• add test case for static event

  xiaohe27

  committed
  87eed45

  Copy full SHA for 87eed45

• add static-modifier test case input

  xiaohe27

  committed
  13d9ab7

  Copy full SHA for 13d9ab7

• add static modifier for event

  xiaohe27

  committed
  5db9618

  Copy full SHA for 5db9618

Commits on Dec 19, 2015

• make the class JavaParserAdapter public

  xiaohe27

  committed
  858daf7

  Copy full SHA for 858daf7

• Merge pull request #217 from runtimeverification/removeRVM

  Show description for 7e1c15c
  xiaohe27

  committed
  7e1c15c

  Copy full SHA for 7e1c15c

• rm rv-monitor profile in pom; update deleteDirectory method in Tool.java

  xiaohe27

  committed
  90d716d

  Copy full SHA for 90d716d

• update RVParser to fix the parenthesis matching issue

  xiaohe27

  committed
  837a590

  Copy full SHA for 837a590

Commits on Oct 31, 2015

• correct a typo

  xiaohe27

  committed
  1b951b8

  Copy full SHA for 1b951b8

• remove rv-monitor dependence

  xiaohe27

  committed
  5028a98

  Copy full SHA for 5028a98

Commits on Oct 7, 2015

• Merge pull request #216 from runtimeverification/fixClassPath

  Show description for 3e49c4f
  xiaohe27

  committed
  3e49c4f

  Copy full SHA for 3e49c4f

• solve the classpath issue on both windows and linux

  xiaohe27

  committed
  327e508

  Copy full SHA for 327e508

• Merge pull request #215 from runtimeverification/fixClassPath

  Show description for 4a6da86
  xiaohe27

  committed
  4a6da86

  Copy full SHA for 4a6da86

• fix a classpath problem in windows

  xiaohe27

  committed
  ac4315d

  Copy full SHA for ac4315d

Commits on Sep 19, 2015

• Merge pull request #205 from runtimeverification/output

  Show description for 0808e3e
  xiaohe27

  committed
  0808e3e

  Copy full SHA for 0808e3e

• make the test case of pointcut pass

  xiaohe27

  committed
  1561aeb

  Copy full SHA for 1561aeb

Commits on Sep 18, 2015

• remove merge-conflict

  xiaohe27

  committed
  4975986

  Copy full SHA for 4975986

• add import

  xiaohe27

  committed
  48d5913

  Copy full SHA for 48d5913

• update javamopagent usage doc

  xiaohe27

  committed
  5e3134b

  Copy full SHA for 5e3134b

• update usage doc

  Show description for 67fba74
  xiaohe27

  committed
  67fba74

  Copy full SHA for 67fba74

• revise Usage.md to explain new output

  Show description for 23908d0
  xiaohe27

  committed
  23908d0

  Copy full SHA for 23908d0

• update enforce test case

  xiaohe27

  committed
  eec383d

  Copy full SHA for eec383d

• update enforcement test case

  xiaohe27

  committed
  57394ef

  Copy full SHA for 57394ef

• add the test files for enforcement test

  xiaohe27

  committed
  cbf26d3

  Copy full SHA for cbf26d3

• update output of .aj to eliminate a compile time error when enforcement mode is used

  xiaohe27

  committed
  9d9c9cf

  Copy full SHA for 9d9c9cf

• make it pass all tests on windows platform

  xiaohe27

  committed
  ba363c4

  Copy full SHA for ba363c4

• local verify ok

  xiaohe27

  committed
  2e1943f

  Copy full SHA for 2e1943f

• debug

  xiaohe27

  committed
  1cf792c

  Copy full SHA for 1cf792c

• place the generated rvm file in output directory if it is specified

  xiaohe27

  committed
  27260cd

  Copy full SHA for 27260cd

• examplesWithNameArgumentIT test ok

  xiaohe27

  committed
  8a98fb9

  Copy full SHA for 8a98fb9

Pagination

Previous

Next