issues
search
nhatminhle
/
cofoja
Contracts for Java
GNU Lesser General Public License v3.0
151
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
@Ensures and @Requires are not validated.
#56
kuechererSWE
opened
1 year ago
0
New Cofoja Prefabricated Jars / Instructions Compiling for JDK 9+?
#55
MattMicheletti
opened
4 years ago
0
Asm7 java10and11
#54
miasma
opened
6 years ago
7
Cofoja fails to build with Java 11
#53
miasma
opened
6 years ago
7
Cofoja fails to build with Java 10
#52
ebourg
opened
6 years ago
2
how to use signale keyword?
#51
tigerlei010
opened
6 years ago
0
Provide additional open-source license
#50
ghost
opened
6 years ago
3
Fix build on Java 9
#49
FauxFaux
closed
7 years ago
2
NPE when compiling with 1.3 release in Eclipse
#48
ngorogiannis
closed
8 years ago
2
Instrumentation crashes when using old in both Ensures and ThrowEnsures
#47
vesalvojdani
closed
8 years ago
1
New annotation to indicate that method/function has no side-effects
#46
rtalexander
opened
9 years ago
1
Configuring IntelliJ to use cofoja
#45
seglo
opened
9 years ago
8
Publish the 1.2 on MavenRepositery
#44
AdrieanKhisbe
closed
8 years ago
39
Re-enable openjdk javac option passthrough.
#43
cushon
closed
9 years ago
5
Set -source and -target in ContractJavaCompiler.
#42
cushon
closed
9 years ago
3
Unable to compile cofoja with IntelliJ 13
#41
nhatminhle
closed
10 years ago
2
Use external properties file to provide settings
#40
nhatminhle
closed
10 years ago
3
Cofoja not working in java 1.8
#39
nhatminhle
closed
10 years ago
9
regression with cofoja-1.1-r146 annotation processor (pre-condition violation of cofoja itself)
#38
nhatminhle
closed
10 years ago
4
Change license to Apache 2, or MIT
#37
nhatminhle
closed
10 years ago
4
=> operator in @Invariant clause gives an "illegal start of expression in contract
#36
nhatminhle
closed
10 years ago
1
No PreconditionError if Constructor must use a super(..)
#35
nhatminhle
closed
10 years ago
2
How to write assertion of type A implies B?
#34
nhatminhle
closed
10 years ago
2
How to write assertion of type A implies B?
#33
nhatminhle
closed
10 years ago
1
Why not direct code in java
#32
nhatminhle
closed
10 years ago
3
Macs don't have tools.jar
#31
nhatminhle
closed
10 years ago
1
Contract not showing error.... for undefined symbol....
#30
nhatminhle
closed
10 years ago
5
Build path error
#29
nhatminhle
closed
10 years ago
1
incompatible types when compiling annotation with a default annotation
#28
nhatminhle
closed
10 years ago
2
Where is the Contracted annotation?
#27
nhatminhle
closed
10 years ago
3
Invariants do not work with private inner class
#26
nhatminhle
closed
10 years ago
3
Example ant configuration
#25
nhatminhle
closed
10 years ago
17
Invariant contract with final field
#24
nhatminhle
closed
10 years ago
2
Annotating a method returning void disables contract processing
#23
nhatminhle
closed
10 years ago
7
@Contracted absence not detected
#22
nhatminhle
closed
10 years ago
1
When JavaCompiler not available NPE is thrown
#21
nhatminhle
closed
10 years ago
2
Types.erasure() in Eclipse JDT gives a ClassCastException on NoType return type
#20
nhatminhle
closed
10 years ago
2
Compiled packages devoid of .contracts files
#19
nhatminhle
closed
10 years ago
2
Builds rely on ${java.class.path}
#18
nhatminhle
closed
10 years ago
5
NPE in LineNumberingMethodAdapter#onMethodEnter when using the Eclipse compiler
#17
nhatminhle
closed
10 years ago
2
Escape mechanism for special keywords (Was: Prefix special keywords by @)
#16
nhatminhle
closed
10 years ago
7
old keyword syntax should accept a space (Was: "old" keyword syntax: Should not be like a function but an instance)
#15
nhatminhle
closed
10 years ago
20
Implies => operator should be replaced by the conditional operator "?"
#14
nhatminhle
closed
10 years ago
6
Make the dependence on code in org.objectweb.asm package explicit
#13
nhatminhle
closed
10 years ago
4
Annotation declarations break compilation
#12
nhatminhle
closed
10 years ago
3
Constructors with arguments narrower than int prevent contracting of child classes
#11
nhatminhle
closed
10 years ago
4
Contract compiler does not support source path
#10
nhatminhle
closed
10 years ago
1
Contracts cannot be added to a method that throws a type parameter
#9
nhatminhle
closed
10 years ago
4
Illegal start of expression in class without any contracts
#8
nhatminhle
opened
10 years ago
1
When using contracts in java.lang classes, you get NPE when debugging the contracts
#7
nhatminhle
opened
10 years ago
0
Next