Versions of artifact com.surelogic:promises

SureLogic Promise Annotations

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Artifact Version Name Latest uploaded at
5.0.0 SureLogic Promise Annotations 2013-11-01 14:29:58 UTC
4.4.0 SureLogic Promise Annotations 2012-12-11 20:20:23 UTC
4.3.1 SureLogic Promise Annotations 2012-07-02 13:51:01 UTC
4.3.0 SureLogic Promise Annotations 2012-06-06 19:36:23 UTC