Skip to content

Releases: runtimeverification/javamop

Remove rv-monitor's dependency in source code

12 Jan 20:46
Compare
Choose a tag to compare
  1. remove rv-monitor's dependency in source code
  2. rv-monitor is still needed for the testing and the real monitoring process.

JavaMOP that only performs source level transformation

12 Dec 19:32
Compare
Choose a tag to compare

From this version, JavaMOP only performs the source file level transformation: given the .mop specification which describes both instrumentation and monitoring details, it will output a single .aj file (for instrumentation) and a set of .rvm files (to be used by RV-Monitor for generating monitoring library).

In the older versions of JavaMOP, the RV-Monitor will be invoked internally to generate monitoring library and then the contents of library (a set of java files) together with the aspects (pointcuts etc.) will be written to a single .aj file. From now on, JavaMOP will only be responsible for generating .rvm specifications and .aj instrumentation file; and it will be the user' responsibility to invoke RV-Monitor to generate the monitoring library.

javamopagent is introduced

10 Jul 04:32
Compare
Choose a tag to compare
Pre-release
  1. The tool 'javamopagent' is introduced to facilitate the process of agent generation. It aims to replace the '-agent' option of the old javamop program. See "docs/JavaMOPAgentUsage.md" for further details.
  2. Fixed the bug which prevented reading directory of mop files.
  3. Fixed the bug in parsing mop files whose names contain "_".

Last stable version of JavaMOP that has -agent option

03 Apr 20:58
Compare
Choose a tag to compare

In the future, the -agent option will be removed from JavaMOP; instead, the independent tool "javamopagent" is responsible for generating agent which is currently generated by javamop's -agent option.

JavaMOP 4.0 before further refactoring and new features

17 Oct 15:46
Compare
Choose a tag to compare

JavaMOP 4.0 before further refactoring and new features

Stable version before refactoring

17 Sep 23:05
Compare
Choose a tag to compare
Pre-release

We will be making a LOT of changes to JavaMOP very soon. This release captures the latest updates prior to such major change and is known to work, albeit with known issues. The most annoying bugs have been fixed so far:

  1. agents now work cross platform: #62
  2. agents now always build in non-verbose mode on both windows and linux #75
  3. Maven install no longer reports any error: #68 and #69
  4. commandline options are now handled with jcommander: #51
  5. build has been switched from ant to maven #42

Our current goal is to fix all remaining issues, cleanup the parser and design and implement a new logger and/or configuration management for agent building. We will also be introducing some continous integration soon. These will produce a JavaMOP which is clean, reliable, easy to use, well tested and documented, and easy to deploy and maintain.