nhatminhle/cofoja issues and pull requests

#56 - @Ensures and @Requires are not validated.

Issue - State: open - Opened by kuechererSWE over 1 year ago

#55 - New Cofoja Prefabricated Jars / Instructions Compiling for JDK 9+?

Issue - State: open - Opened by MattMicheletti about 4 years ago

#54 - Asm7 java10and11

Pull Request - State: open - Opened by miasma almost 6 years ago - 7 comments

#53 - Cofoja fails to build with Java 11

Issue - State: open - Opened by miasma almost 6 years ago - 7 comments

#52 - Cofoja fails to build with Java 10

Issue - State: open - Opened by ebourg about 6 years ago - 2 comments

#51 - how to use signale keyword?

Issue - State: open - Opened by tigerlei010 about 6 years ago

#50 - Provide additional open-source license

Issue - State: open - Opened by ghost over 6 years ago - 3 comments

#49 - Fix build on Java 9

Pull Request - State: closed - Opened by FauxFaux almost 7 years ago - 2 comments

#48 - NPE when compiling with 1.3 release in Eclipse

Issue - State: closed - Opened by ngorogiannis over 8 years ago - 2 comments

#47 - Instrumentation crashes when using old in both Ensures and ThrowEnsures

Issue - State: closed - Opened by vesalvojdani over 8 years ago - 1 comment
Labels: bug

#46 - New annotation to indicate that method/function has no side-effects

Issue - State: open - Opened by rtalexander almost 9 years ago - 1 comment

#45 - Configuring IntelliJ to use cofoja

Issue - State: open - Opened by seglo almost 9 years ago - 8 comments

#44 - Publish the 1.2 on MavenRepositery

Issue - State: closed - Opened by AdrieanKhisbe over 9 years ago - 39 comments

#43 - Re-enable openjdk javac option passthrough.

Pull Request - State: closed - Opened by cushon over 9 years ago - 5 comments

#42 - Set -source and -target in ContractJavaCompiler.

Pull Request - State: closed - Opened by cushon over 9 years ago - 3 comments

#41 - Unable to compile cofoja with IntelliJ 13

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, wontfix, imported

#40 - Use external properties file to provide settings

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 3 comments
Labels: bug, wontfix, imported

#39 - Cofoja not working in java 1.8

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 9 comments
Labels: bug, imported

#38 - regression with cofoja-1.1-r146 annotation processor (pre-condition violation of cofoja itself)

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 4 comments
Labels: bug, imported

#37 - Change license to Apache 2, or MIT

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 4 comments
Labels: bug, duplicate, imported

#36 - => operator in @Invariant clause gives an "illegal start of expression in contract

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 1 comment
Labels: bug, wontfix, imported

#35 - No PreconditionError if Constructor must use a super(..)

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, wontfix, imported

#34 - How to write assertion of type A implies B?

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, invalid, imported

#33 - How to write assertion of type A implies B?

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 1 comment
Labels: bug, duplicate, imported

#32 - Why not direct code in java

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 3 comments
Labels: bug, invalid, imported

#31 - Macs don't have tools.jar

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 1 comment
Labels: enhancement, wontfix, imported

#30 - Contract not showing error.... for undefined symbol....

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 5 comments
Labels: bug, invalid, imported

#29 - Build path error

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 1 comment
Labels: bug, duplicate, imported

#28 - incompatible types when compiling annotation with a default annotation

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, imported

#27 - Where is the Contracted annotation?

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 3 comments
Labels: bug, imported

#26 - Invariants do not work with private inner class

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 3 comments
Labels: bug, invalid, imported

#25 - Example ant configuration

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 17 comments
Labels: bug, imported

#24 - Invariant contract with final field

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, imported

#23 - Annotating a method returning void disables contract processing

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 7 comments
Labels: bug, imported

#22 - @Contracted absence not detected

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 1 comment
Labels: bug, wontfix, imported

#21 - When JavaCompiler not available NPE is thrown

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, imported

#20 - Types.erasure() in Eclipse JDT gives a ClassCastException on NoType return type

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, imported

#19 - Compiled packages devoid of .contracts files

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, invalid, imported

#18 - Builds rely on ${java.class.path}

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 5 comments
Labels: bug, imported

#17 - NPE in LineNumberingMethodAdapter#onMethodEnter when using the Eclipse compiler

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 2 comments
Labels: bug, imported

#16 - Escape mechanism for special keywords (Was: Prefix special keywords by @)

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 7 comments
Labels: bug, wontfix, imported

#15 - old keyword syntax should accept a space (Was: "old" keyword syntax: Should not be like a function but an instance)

Issue - State: closed - Opened by nhatminhle almost 10 years ago - 20 comments
Labels: bug, imported

GitHub / nhatminhle/cofoja issues and pull requests