GitHub - nikkukun/Specs: Contains the specifications for the Java language used by OpenJML.

nikkukun / Specs Public

forked from OpenJML/Specs

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Contains the specifications for the Java language used by OpenJML.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 619 Commits
META-INF		META-INF
genericmodels		genericmodels
specs		specs
.classpath		.classpath
.gitattributes		.gitattributes
.gitignore		.gitignore
.project		.project
README.txt		README.txt
build.properties		build.properties
plugin.xml		plugin.xml

Repository files navigation

This repository contains versions of JML specification files for
the current version of the Java API, for some other libraries, and for
JML runtime files.