{1} Active Tickets (144 matches)

  • List all active tickets by priority.
  • Color each row based on priority.

Results (1 - 100 of 144)

1 2
Ticket Summary Component Version Milestone Type Owner Status Created
#317 "fortress test" re-initializes the world numerous times interpreter defect chf new 12/16/08
#164 -test option appears to run tests twice interpreter defect dr2chase new 08/15/08
#130 A trait that extends itself causes a stack overflow interpreter task dr2chase new 06/14/08
#233 Abstract function declarations should be covered by a set of concrete function declarations in a component. static analysis defect EricAllen new 08/21/08
#196 Add indices for APIs and components to the cache/repository build enhancement EricAllen assigned 08/20/08
#21 Add overlap detection to subrange assignment library task jmaessen new 09/26/07
#32 Add parallel prefix operations to Generator library task jmaessen new 10/31/07
#352 An attachement (plav.html) on ticket 11 is an advertisment for Plavix and may be infected. wiki task dr2chase assigned 07/02/09
#285 Apparent ambiguity between binding and equality test interpreter enhancement dr2chase new 10/13/08
#90 Argument fixups are done in two different ways interpreter cleanup jmaessen new 04/21/08
#331 Build Failed on Windows XP interpreter task dr2chase new 03/30/09
#284 CalleeViolation provides insufficient information interpreter task dr2chase new 10/13/08
#123 Can't find Csr when Csr.mul(...) is overloaded interpreter defect jmaessen new 05/30/08
#290 Can't import File interface static analysis task jmaessen new 10/29/08
#220 Check that all APIs imported at a grammar definition are imported at use sites static analysis enhancement EricAllen new 08/21/08
#178 Check that all thrown checked exceptions in a functional are declared to be thrown (or one of their supertypes is declared to be thrown) static analysis enhancement EricAllen new 08/20/08
#346 Check that any functional that performs an I/O action must be declared with the io modifier. static analysis task sukyoungryu new 06/16/09
#193 Check that case/typecase clauses are jointly exhaustive static analysis enhancement EricAllen new 08/20/08
#344 Check that compound APIs are well formed static analysis task sukyoungryu new 06/12/09
#186 Check that fields of value objects are not modifiable static analysis enhancement EricAllen new 08/20/08
#221 Check that grammar extensions are acyclic static analysis enhancement EricAllen new 08/21/08
#222 Check that grammar productions are well-formed static analysis enhancement EricAllen new 08/21/08
#224 Check that macro use sites are well-formed and all contained expressions have appropriate types static analysis enhancement EricAllen new 08/21/08
#229 Check that matrix unpasting LHS's are well-formed static analysis enhancement EricAllen new 08/21/08
#230 Check that matrix unpastings are guarranteed to cover unpasting RHSs exactly (this is not in 1.0 beta, but we might require it to prevent runtime UnpastingExceptions) syntax abstraction enhancement EricAllen new 08/21/08
#180 Check that no initialization expression of a top-level variable declaration throws a checked exception static analysis enhancement EricAllen new 08/20/08
#219 Check that no local declarations occur at grammar def sites and static analysis enhancement EricAllen new 08/21/08
#225 Check that non-test code does not refer to test code static analysis enhancement EricAllen new 08/21/08
#170 Check that overloaded functional declarations are well-formed static analysis enhancement EricAllen new 08/20/08
#195 Check that qualified references are unambiguous static analysis enhancement sukyoungryu new 08/20/08
#223 Check that template definitions have appropriate types and dimensions (we're still working out what this means, exactly) static analysis enhancement EricAllen new 08/21/08
#200 Check that there is no range expression of the form a:b:c where c is the static expression 0 static analysis enhancement EricAllen new 08/20/08
#30 Clean up definition of indexed types library task jmaessen new 10/31/07
#161 Clean up fork/join to use built-in exception handling mechanism interpreter task chf new 08/12/08
#357 Codegen is sensitive to top level binding order build task EricAllen new 08/17/09
#364 Compiler scope checking broken for simple spec example static analysis defect EricAllen new 11/13/09
#71 Complete implementation of SEQUIV interpreter task jmaessen new 03/03/08
#49 Complete implementation of opr parameters interpreter task dr2chase new 12/07/07
#300 Contracts on abstract methods are ignored interpreter defect dr2chase new 11/04/08
#361 Deal with case sensitivity of class names codegen defect jmaessen assigned 11/02/09
#173 Design and implement the checks necessary for a sounds component system static analysis enhancement EricAllen assigned 08/20/08
#333 Duplicate ComponentEnv class file generation for objectCC tests interpreter task dr2chase new 04/21/09
#281 Ensures clause ignored in api interpreter task dr2chase new 10/10/08
#235 Error messages need help interpreter task dr2chase new 08/23/08
#85 Error messages print extraneous information interpreter 1.0 cleanup dr2chase new 04/18/08
#105 Explicit type instantiation does not check the bound of the corresponding type parameter. interpreter defect dr2chase new 05/08/08
#263 Failed Fortress executions should return a false value as command-line calls interpreter 1.0 defect dr2chase new 09/23/08
#337 For "value" objects and traits, setters return a new instance of the object with the "set" field changed rather than void. static analysis task sukyoungryu new 05/26/09
#87 Fortify breaks for double subscripts wiki defect GuySteele new 04/20/08
#276 Fortress caching not robust to timestamp and name collisions interpreter defect dr2chase new 10/05/08
#326 Frustrating Heisenbug with InheritedMethod interpreter task dr2chase new 02/13/09
#137 Functional method operator lookup within trait method fails to find the operator interpreter defect dr2chase new 06/29/08
#116 Functional method should not be returned as the result of a dotted reference. interpreter defect dr2chase new 05/22/08
#328 Generic functional methods are rejected during interpreter initialization interpreter defect dr2chase new 03/20/09
#117 Generic surprise interpreter defect dr2chase new 05/23/08
#298 Gratuitous parens required around do/end in expression context language change language change sukyoungryu new 11/03/08
#132 I left some undone work in Abstract Syntax - missing originalName fields interpreter task jdn new 06/16/08
#348 Implement algebraic static parameters. static analysis task jrhil47 new 06/16/09
#188 Implement dimension / unit checking static analysis task EricAllen new 08/20/08
#9 Implement local polymorphic functions interpreter task dr2chase new 08/14/07
#245 Implement multifix operators. interpreter task dr2chase new 09/12/08
#253 Implement the new rendering story of comments interpreter task gls new 09/13/08
#254 Implement the new string concatenation and juxtaposition story parser task sukyoungryu new 09/13/08
#256 Implement the one-shot continuation semantics for label/exit across object/function expressions. interpreter task dr2chase new 09/13/08
#10 Implement type Object interpreter task jmaessen new 08/14/07
#349 Implement type coverage and revise the export checker using the type coverage analysis static analysis task sukyoungryu new 06/24/09
#51 Index symbolic instantiations by bounds, not textual name interpreter defect dr2chase new 12/10/07
#291 Indexed setters appear to use the same naming as indexed getters. interpreter defect dr2chase new 10/29/08
#258 Internal error: second store of indirection cell interpreter task dr2chase new 09/14/08
#159 List doesn't define big || library task jmaessen new 08/12/08
#304 Loose operators || and // have incomparable precedence language change language change sukyoungryu new 11/06/08
#329 Major oversight: tuple varargs lead to overloading ambiguities interpreter task jmaessen new 03/20/09
#37 Make a common Set type and Map type library 1.0 task anybody new 11/07/07
#31 Make stuff that ought to be functional methods into functional methods library task anybody new 10/31/07
#232 Method contracts and overloaded functional contracts preserve substitutability under subtyping. static analysis task EricAllen new 08/21/08
#320 Missing import entities cause Java-level exception interpreter defect dr2chase new 01/15/09
#278 Misusing trait name as constructor points to def site of trait interpreter defect dr2chase new 10/06/08
#74 Move top-level operations into functional methods where appropriate interpreter task jmaessen assigned 03/30/08
#60 Ordering on sets and maps interpreter task jmaessen new 01/22/08
#72 Overloading check bug interpreter defect dr2chase new 03/26/08
#113 Overloading of local functions is not implemented. interpreter task dr2chase new 05/22/08
#78 Paren mismatch in Emacs Fortress mode wiki 1.0 defect somebody new 04/15/08
#80 Populate Numeric hierarchy interpreter task jmaessen assigned 04/15/08
#306 Redundant declarations are not flagged as static errors static analysis task EricAllen new 11/17/08
#307 Set/Map clash library defect jmaessen assigned 11/18/08
#315 Shell tests don't work when run from ProjectFortress interpreter task dr2chase new 12/12/08
#302 Silly output message reduces our credibility interpreter enhancement dr2chase new 11/06/08
#340 Simple dotted methods on singleton objects are not compiling build task chf new 06/05/09
#360 Singleton cannot be both exported and used in the defining component static analysis defect EricAllen new 10/06/09
#289 Static analysis uses name of static opr parameter as (functional) method name static analysis 1.0 defect EricAllen new 10/28/08
#124 Static arithmetic sometimes uses ZZ32 when ZZ64 is specified interpreter defect jmaessen new 06/01/08
#308 Static checking fails to reject static parameterized reference to missing function static analysis task EricAllen new 11/19/08
#163 Static parameters for functional methods interpreter task dr2chase new 08/15/08
#332 Static tests overwrite .class file generated by testSystem static analysis defect EricAllen new 04/21/09
#296 Syntax prevents reporting of trivial syntax error language change language change sukyoungryu new 10/31/08
#114 The Executable API is hardwired in the interpreter. interpreter task dr2chase new 05/22/08
#1 The ask-a-question page is getting a little unwieldy already wiki cleanup somebody new 04/10/07
#266 The interpreter does not handle a declaration of _ with a type annotation correctly. interpreter task dr2chase new 09/25/08
#234 The union of the guarding types of a typecase expression must cover the static type of the expression(s) being bound (a tuple type if there are multiple bindings). static analysis task EricAllen new 08/21/08
#46 Top-level array declaration does not work. interpreter defect dr2chase new 11/28/07
1 2
Note: See TracReports for help on using and creating reports.