Skip to content
No description or website provided.
Java Prolog Other
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
coding-conventions Saved DPJizer code templates for Eclipse.
com.google.guice Added the RPL inclusion constraints to a ConstraintRepository data st…
dpj-for-regions @ 55adfcb Made the String representations of disjointness and equality constrai…
edu.illinois.dpjizer.effect.core.tests Extracted logging facilities of effects.core into a separate plugin.
edu.illinois.dpjizer.effect.core Extracted logging facilities of effects.core into a separate plugin.
edu.illinois.dpjizer.effect.ui Extracted logging facilities of effects.core into a separate plugin.
edu.illinois.dpjizer.feature Extracted logging facilities of effects.core into a separate plugin.
edu.illinois.dpjizer.region.core.tests Translated the region-inclusion constraints into begins-with constrai…
edu.illinois.dpjizer.region.core A couple of minor stylistic changes to the dpjizer.region.core and to…
edu.illinois.dpjizer.update_site Released v1.0.0.201011211455.
edu.illinois.dpjizer.utils Extracted logging facilities of effects.core into a separate plugin.
prolog Changing order of region names
smt A couple of minor stylistic changes to the dpjizer.region.core and to…
.gitignore Added a message to messages.properties.
.gitmodules Added a version of DPJ customized for region inference as a submodule.
CHANELOG.markdown Added the changelog.
LICENSE.TXT Added the effect inferencer of DPJizer.
README.md Added the effect inferencer of DPJizer.

README.md

DPJizer

DPJ stands for Deterministic Parallel Java, and is available at http://dpj.cs.illinois.edu/. DPJizer is an Eclipse plug-in that helps programmers write DPJ programs. DPJizer is a refactoring tool that infers some of the annotations required by DPJ.

DPJizer is open source software. You may freely distribute it under the terms of the license agreement found in LICENSE.TXT.

Something went wrong with that request. Please try again.