runtimeverification/property-db — pull request #2 by owolabileg (2014-09-17 17:03:31+00:00)
Title: Adding .mop files to property-doc

I am putting the .mop files that will henceforth be used for JavaMOP agent generation in a separate directory in this repo. That way, we can permanently mark the old GoogleCode repo as obsolete. We are doing it this way because we don't know how the rvm+aj files in the "java-api" directory are being used in other projects, and we don't want to break anyone else's project.

If no one has any complaints or better suggestions, we will merge this in the next 24 hours.

@pdaian, @traiansf, @pmeredit, @grosu Please review