HEAD | f732053 | Bump junit from 4.11 to 4.13.1 Bumps [junit](https://github.com/junit-team/junit4) from 4.11 to 4.13.1. - [Release notes](https://github.com/junit-team/junit4/releases) - [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.11.md) - [Commits](https://github.com/junit-team/junit4/compare/r4.11...r4.13.1) Signed-off-by: dependabot[bot] <support@github.com> | 13 October 2020, 06:48:50 UTC |
refs/heads/async | c8fb576 | support async event | 13 April 2020, 20:35:22 UTC |
refs/heads/dependabot/maven/commons-io-commons-io-2.7 | 68ad9da | Bump commons-io from 2.4 to 2.7 Bumps commons-io from 2.4 to 2.7. Signed-off-by: dependabot[bot] <support@github.com> | 26 April 2021, 18:04:04 UTC |
refs/heads/developerPrereqs | 21a6395 | add developer prerequisite resolution info | 02 November 2014, 22:12:25 UTC |
refs/heads/emop | d938ae9 | Merge branch 'master' into emop | 02 February 2018, 15:39:06 UTC |
refs/heads/internal | 9f7765c | tmp | 18 May 2020, 20:32:02 UTC |
refs/heads/master | f732053 | Bump junit from 4.11 to 4.13.1 Bumps [junit](https://github.com/junit-team/junit4) from 4.11 to 4.13.1. - [Release notes](https://github.com/junit-team/junit4/releases) - [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.11.md) - [Commits](https://github.com/junit-team/junit4/compare/r4.11...r4.13.1) Signed-off-by: dependabot[bot] <support@github.com> | 13 October 2020, 06:48:50 UTC |
refs/heads/rvmrt | f169780 | Merge pull request #185 from runtimeverification/updateAgentJarName Update rv-monitor-rt jar name for agent generation. addressed #184 and #179 | 07 November 2014, 00:17:06 UTC |
refs/heads/syncPair | a2e67fb | support unsynced event | 23 June 2020, 16:10:51 UTC |
refs/heads/unit-test | 53fb60d | remind users that JDK 8 is required for the tests | 07 May 2016, 14:05:40 UTC |
refs/tags/4.0 | a406a49 | Put base directory for javamop binary | 17 October 2014, 15:18:23 UTC |
refs/tags/4.1 | 2fae4d2 | Merge pull request #196 from runtimeverification/fixdashs Fix dash s | 03 April 2015, 15:03:52 UTC |
refs/tags/4.2 | 9d51681 | Merge pull request #208 from runtimeverification/Underscore_parsing_issue parse MOP files with underscores in file names | 11 July 2015, 12:02:27 UTC |
refs/tags/4.3 | 3e49c4f | Merge pull request #216 from runtimeverification/fixClassPath solve the classpath issue on both windows and linux | 07 October 2015, 14:24:14 UTC |
refs/tags/4.4 | 6d9b0f5 | Merge pull request #221 from xiaohe27/test uncomment test | 21 December 2015, 04:09:17 UTC |
refs/tags/v0.1-alpha | 13a408e | Merge pull request #78 from runtimeverification/addressDwight Removing the need for regex or commons-lang | 17 September 2014, 21:59:07 UTC |