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

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 620 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.