Skip to content

Issues: codespecs/daikon-dot-net-front-end

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

29 Open 85 Closed
29 Open 85 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

Mono support auto-migrated Priority-Medium Type-Enhancement
#113 opened Mar 4, 2015 by GoogleCodeExporter
Formatting and Filtering Improvements auto-migrated Priority-High Type-Defect
#112 opened Mar 4, 2015 by GoogleCodeExporter
2
Bad links from expressions to interface methods when implementation uses subtype of generic parameter auto-migrated Priority-Medium Type-Defect
#109 opened Mar 4, 2015 by GoogleCodeExporter
1
Incorrect return value type for method returning generic type with bounded type parameter auto-migrated Priority-High Type-Defect
#108 opened Mar 4, 2015 by GoogleCodeExporter
4
Include and link exceptional exits for interface declarations auto-migrated Priority-Low Type-Enhancement
#107 opened Mar 4, 2015 by GoogleCodeExporter
Link pure method expressions to the corresponding method exit PPT auto-migrated Priority-Low Type-Enhancement
#105 opened Mar 4, 2015 by GoogleCodeExporter
1
Integrate a purity analysis tool to determine which methods to visit auto-migrated Priority-Medium Type-Enhancement
#100 opened Mar 4, 2015 by GoogleCodeExporter
Record compile time constants in the DECLS auto-migrated Priority-Medium Type-Enhancement
#99 opened Mar 4, 2015 by GoogleCodeExporter
4
Outputting type names in the source language auto-migrated Priority-Low Type-Enhancement
#98 opened Mar 4, 2015 by GoogleCodeExporter
1
Add contract rewriting support for test suite auto-migrated Component-Testing Priority-Low Type-Enhancement
#97 opened Mar 4, 2015 by GoogleCodeExporter
2
Match function EXIT labels to code line number auto-migrated Priority-Low Type-Enhancement
#94 opened Mar 4, 2015 by GoogleCodeExporter
1
Report cycles when inferring linked lists auto-migrated Priority-Low Type-Enhancement
#93 opened Mar 4, 2015 by GoogleCodeExporter
4
Don't chain method calls that reach a fixpoint auto-migrated Component-PureMethodValues Priority-Medium Type-Enhancement
#85 opened Mar 4, 2015 by GoogleCodeExporter
1
Error resolving Enums not in GAC during comparability analysis auto-migrated Component-Comparability Priority-Low Type-Defect
#84 opened Mar 4, 2015 by GoogleCodeExporter
4
Support visiting pure static methods for list elements auto-migrated Priority-Medium Type-Enhancement
#83 opened Mar 4, 2015 by GoogleCodeExporter
2
Support pure static methods declared in type other than parameter type auto-migrated Component-PureMethodValues Priority-Low Type-Enhancement
#80 opened Mar 4, 2015 by GoogleCodeExporter
6
Comparability: some method call references being visited more than once? auto-migrated Component-Comparability Priority-Low Type-Defect
#78 opened Mar 4, 2015 by GoogleCodeExporter
7
Instrumentation of partially trusted code auto-migrated Priority-Low Type-Defect
#75 opened Mar 4, 2015 by GoogleCodeExporter
5
Add more visibility levels for properties and methods auto-migrated Priority-Medium Type-Enhancement
#71 opened Mar 4, 2015 by GoogleCodeExporter
2
Refactor FindLocalMatchingReturnType to not have a boolean parameter auto-migrated Priority-Low Type-InternalCleanup
#70 opened Mar 4, 2015 by GoogleCodeExporter
1
Celeriac doesn't handle static fields of types with generic parameters auto-migrated Priority-Medium Type-Enhancement
#68 opened Mar 4, 2015 by GoogleCodeExporter
2
Fix duplicative GetFieldValue/GetVariableValue code auto-migrated Priority-Low Type-InternalCleanup
#60 opened Mar 4, 2015 by GoogleCodeExporter
3
Trace contents of non-generic maps/dictionaries auto-migrated Priority-Medium Type-Enhancement
#53 opened Mar 4, 2015 by GoogleCodeExporter
2
Modify ProcessVariableAsList to accept sets too auto-migrated Priority-Low Type-InternalCleanup
#52 opened Mar 4, 2015 by GoogleCodeExporter
3
Error handling if type can't be resolved in PrintParentObjectFields auto-migrated Priority-Low Type-Defect
#47 opened Mar 4, 2015 by GoogleCodeExporter
ProTip! Exclude everything labeled bug with -label:bug.