Skip to content

Issues: kiniry/Mobius

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

723 Open 2 Closed
723 Open 2 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

closing the AutoGrader window causes cascading errors that make me have to restart Eclipse AutoGrader defect
#725 opened Mar 15, 2013 by atiti
@fintanf
1
new class and feature annotations for EBON BON enhancement
#724 opened Mar 15, 2013 by atiti
@fintanf
non-Void type system BON enhancement
#723 opened Mar 15, 2013 by atiti BON tool suite 0.5
@fintanf
targeted annotation generation Beetlz enhancement
#722 opened Mar 15, 2013 by atiti
@fintanf
Windows command-line unreliable BON defect
#721 opened Mar 15, 2013 by atiti BON tool suite 0.4
@fintanf
jump-to-refinement Beetlz enhancement
#720 opened Mar 15, 2013 by atiti
@fintanf
refinement errors in problems (usage) Beetlz enhancement
#719 opened Mar 15, 2013 by atiti
@fintanf
typo in pref panel Beetlz defect
#718 opened Mar 15, 2013 by atiti
@fintanf
Beetlz preferences panel buggy Beetlz defect
#717 opened Mar 15, 2013 by atiti
@fintanf
Beetlz configuration paths must support relative and Eclipse properties Beetlz defect
#716 opened Mar 15, 2013 by atiti
@fintanf
formal parameter name refinement should be automatic Beetlz enhancement
#715 opened Mar 15, 2013 by atiti
@fintanf
duplicate consistent class declaration BON defect
#714 opened Mar 15, 2013 by atiti
@fintanf
double-check refinement checking from queries to fields Beetlz defect
#713 opened Mar 15, 2013 by atiti
@fintanf
1
shorthand syntax for properties BON enhancement
#712 opened Mar 15, 2013 by atiti
@fintanf
non-Void default semantics BON enhancement
#711 opened Mar 15, 2013 by atiti
@fintanf
add all specs written by Joe's students to regression test suite BON task
#710 opened Mar 15, 2013 by atiti
@fintanf
BON built-in types BON enhancement
#709 opened Mar 15, 2013 by atiti
@fintanf
outline window contents BON Plugin/Feature task
#708 opened Mar 15, 2013 by atiti
@fintanf
preferences panel reveal triangle does not reliably appear defect Prover Editor Plugin/Feature
#707 opened Mar 15, 2013 by atiti PVE omega
@kiniry
Translation of implication from Java to BON Beetlz task
#706 opened Mar 15, 2013 by atiti
@fintanf
1
Using method call in post-condition bug Beetlz task
#705 opened Mar 15, 2013 by atiti
@fintanf
Translation from BON to Java Beetlz defect
#704 opened Mar 15, 2013 by atiti
@fintanf
2
new analyses for AutoGradeMe AutoGrader enhancement
#703 opened Mar 15, 2013 by atiti AutoGrader 0.4
@fintanf
lock settings feature for AutoGradeMe AutoGrader enhancement
#702 opened Mar 15, 2013 by atiti AutoGrader 0.4
@fintanf
AbstractStringBuilder spec is not OS-neutral defect ESC/Java2
#701 opened Mar 15, 2013 by atiti ESC/Java future
@kiniry
ProTip! Exclude everything labeled bug with -label:bug.