Skip to content

Issues: nhatminhle/cofoja

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 37 Closed
15 Open 37 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

@Ensures and @Requires are not validated.
#56 opened Oct 25, 2022 by kuechererSWE
New Cofoja Prefabricated Jars / Instructions Compiling for JDK 9+?
#55 opened Jun 24, 2020 by MattMicheletti
Cofoja fails to build with Java 11
#53 opened Sep 17, 2018 by miasma
7
Cofoja fails to build with Java 10
#52 opened May 16, 2018 by ebourg
2
how to use signale keyword?
#51 opened Apr 3, 2018 by tigerlei010
Provide additional open-source license
#50 opened Jan 25, 2018 by ghost
3
New annotation to indicate that method/function has no side-effects
#46 opened Aug 14, 2015 by rtalexander
1
Configuring IntelliJ to use cofoja
#45 opened Jul 6, 2015 by seglo
8
Illegal start of expression in class without any contracts bug imported
#8 opened Aug 17, 2014 by nhatminhle
1
When using contracts in java.lang classes, you get NPE when debugging the contracts bug imported
#7 opened Aug 17, 2014 by nhatminhle
Support anonymous classes inside contracts bug imported
#6 opened Aug 17, 2014 by nhatminhle
@nhatminhle
1
No chance of releasing under Apache/Eclipse/MIT/BSD license? bug imported
#5 opened Aug 17, 2014 by nhatminhle
3
Invariants with multiple threads bug imported
#4 opened Aug 17, 2014 by nhatminhle
12
Add Eclipse compiler support for debug info and import statements enhancement imported
#3 opened Aug 17, 2014 by nhatminhle
Contracts cannot be added to an enum that implements an interface through its constants bug imported
#1 opened Aug 17, 2014 by nhatminhle
@nhatminhle
1
ProTip! What’s not been updated in a month: updated:<2024-11-04.