Skip to content

Releases: timtadh/jpdg

2017-10-27 preview release

27 Oct 13:39
2017-10-27
0e8164a
Compare
Choose a tag to compare
Pre-release

Example invocation:

$ java -Xmx8g -jar /home/hendersont/stuff/research/jpdg/target/jpdg-git-master.jar -c /home/hendersont/stuff/research/jpdg/subjects/expr/build/classes/main::/usr/lib/jvm/java-7-openjdk-amd64/lib/jconsole.jar:/usr/lib/jvm/java-7-openjdk-amd64/lib/tools.jar:/usr/lib/jvm/java-7-openjdk-amd64/lib/dt.jar:/usr/lib/jvm/java-7-openjdk-amd64/lib/sa-jdi.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/jce.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/security/local_policy.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/security/US_export_policy.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/compilefontconfig.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/zipfs.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/icedtea-sound.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/localedata.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/sunjce_provider.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/java-atk-wrapper.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/sunpkcs11.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/ext/dnsns.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/rt.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/resources.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/charsets.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/management-agent.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/jsse.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/rhino.jar:/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/javazic.jar: -l op -d /home/hendersont/stuff/research/jpdg/subjects/expr/build/classes/main -o /tmp/x

Verifying the binary was built and published by timtadh

Importing my keys from keybase (they are also on keyservers but keybase is honestly more secure for this use case)

$ curl https://keybase.io/tadh/pgp_keys.asc | gpg --import

Or if you are a keybase user:

$ keybase pgp pull tadh

Verifying the signature:

$ gpg --verify jpdg-git-master.jar.asc

issta 2016 release

16 Mar 01:54
issta-2016
Compare
Choose a tag to compare
issta 2016 release Pre-release
Pre-release

This is the version of jpdg that was used in the issta 2016 paper. Building it requires using buildr 1.4.15. The buildfile is not compatible with the newest buildr. You can download a pre-built jar below.