Skip to content

OpenJML/JMLAnnotations

Folders and files

NameName
Last commit message
Last commit date

Latest commit

88eb35e · Feb 23, 2024
Jun 4, 2019
Nov 17, 2021
Feb 23, 2024
Oct 4, 2016
Oct 28, 2015
Oct 11, 2018
Jun 4, 2019
Jan 27, 2024
Jun 4, 2019

Repository files navigation

JMLAnnotations

The Java annotations defined by JML. These can be used in place of JML modifiers (e.g. @Pure for /*@ pure */). If so, then the Java program will need the annotation definitions from here to link in. The jmlruntime.jar produced by building the OpenJLM repo contains these annotations.

About

The Java annotations defined by JML

Resources

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages