issues
search
JavaModelingLanguage
/
RefMan
4
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Description/Meaning on Modifiers for Class Clauses missing?
#61
wadoon
opened
4 months ago
0
Annotation on Package- and Module-Level
#60
wadoon
opened
8 months ago
0
Named Entities, Scopes, and Name Resolution
#59
wadoon
opened
1 year ago
0
`signals`-clause
#58
wadoon
opened
2 years ago
2
syntax and operations for \seq \set \map
#57
davidcok
opened
2 years ago
8
accessible clauses for methods called in preconditions
#56
davidcok
opened
2 years ago
3
heap_free and pure
#55
davidcok
opened
2 years ago
2
exceptions in methods in specifications
#54
davidcok
opened
2 years ago
24
nullness default for arrays
#53
davidcok
opened
2 years ago
5
specifying static initialization
#52
davidcok
opened
2 years ago
3
nullness defaults for binaries
#51
davidcok
opened
2 years ago
8
function / no_state / reads \nothing
#50
davidcok
opened
2 years ago
14
JMLDataGroup
#49
davidcok
opened
2 years ago
9
syntax for representing specs of functions
#48
davidcok
opened
2 years ago
8
defaults and spec inference and standards
#47
davidcok
opened
2 years ago
3
\count and \index
#46
davidcok
closed
2 years ago
5
Deprecate the keywords field, method and constructor
#45
davidcok
closed
2 years ago
2
Java annotations and JML
#44
davidcok
opened
2 years ago
2
Naming - method specs
#43
davidcok
opened
2 years ago
1
\set<Object>
#42
davidcok
opened
2 years ago
8
\lblpos, \lbl etc.
#41
davidcok
closed
2 years ago
7
ghost and model declarations
#40
davidcok
opened
2 years ago
14
Lambda Expressions
#39
wadoon
opened
2 years ago
4
text blocks
#38
davidcok
opened
2 years ago
13
built-in labels for \old
#37
davidcok
closed
2 years ago
8
\old \pre \before
#36
davidcok
closed
2 years ago
5
captures and \only_captured
#35
davidcok
opened
2 years ago
8
Redundant assertions and `hence_by`
#34
flo2702
opened
2 years ago
11
deprecate forall ?
#33
davidcok
closed
2 years ago
2
visibility for \invariant_for and \static_invariant_for
#32
davidcok
opened
2 years ago
21
frame conditions and non-disjoint behaviors
#31
davidcok
opened
2 years ago
9
\fresh with labels and \before
#30
flo2702
closed
2 years ago
12
ghost label
#29
davidcok
closed
2 years ago
8
A new category of JML items
#28
mattulbrich
opened
2 years ago
7
`reachable` is problematic
#27
mattulbrich
opened
2 years ago
18
Revisiting the \past
#26
davidcok
closed
2 years ago
15
JML Core
#25
davidcok
opened
2 years ago
23
\hence_by
#24
davidcok
closed
2 years ago
3
Array indices
#23
mattulbrich
opened
2 years ago
52
Library specs and language levels
#22
davidcok
opened
2 years ago
21
Deprecate `nowarn`?
#21
davidcok
closed
2 years ago
3
static_invariant_for
#20
davidcok
opened
2 years ago
32
OpenJML's syntax extensions
#19
wadoon
opened
2 years ago
19
Explicit Naming for Contracts
#18
MarcoScaletta
closed
2 years ago
31
Review CH 1&2
#17
davidcok
opened
2 years ago
8
data groups, model fields and *
#16
davidcok
opened
2 years ago
8
storeref expressions
#15
davidcok
opened
2 years ago
19
block contracts
#14
davidcok
opened
2 years ago
19
\union
#13
davidcok
closed
2 years ago
33
\not_specified
#12
davidcok
closed
2 years ago
12
Next