{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
#287 static param declared by nested FnDef not recognized by type checker static analysis defect Eric Allen new 10/17/08
#289 Static analysis uses name of static opr parameter as (functional) method name static analysis 1.0 defect EricAllen new 10/28/08
#332 Static tests overwrite .class file generated by testSystem static analysis defect EricAllen new 04/21/09
#360 Singleton cannot be both exported and used in the defining component static analysis defect EricAllen new 10/06/09
#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
#246 type checker gives the wrong type to a field that is declared as an abstrct field in super trait static analysis defect EricAllen new 09/12/08
#259 type checker appears to find missing library definition for MAX and MIN for ZZ32 library defect EricAllen new 09/15/08
#260 the type checker cannot handle a simple list comprehension interpreter defect EricAllen new 09/15/08
#364 Compiler scope checking broken for simple spec example static analysis defect EricAllen new 11/13/09
#170 Check that overloaded functional declarations are well-formed static analysis enhancement EricAllen new 08/20/08
#173 Design and implement the checks necessary for a sounds component system static analysis enhancement EricAllen assigned 08/20/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
#180 Check that no initialization expression of a top-level variable declaration throws a checked exception static analysis enhancement EricAllen new 08/20/08
#186 Check that fields of value objects are not modifiable static analysis enhancement EricAllen new 08/20/08
#193 Check that case/typecase clauses are jointly exhaustive static analysis enhancement EricAllen new 08/20/08
#196 Add indices for APIs and components to the cache/repository build enhancement EricAllen assigned 08/20/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
#219 Check that no local declarations occur at grammar def sites and static analysis enhancement EricAllen new 08/21/08
#220 Check that all APIs imported at a grammar definition are imported at use sites static analysis enhancement EricAllen new 08/21/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
#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
#224 Check that macro use sites are well-formed and all contained expressions have appropriate types 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
#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
#188 Implement dimension / unit checking static analysis task EricAllen new 08/20/08
#232 Method contracts and overloaded functional contracts preserve substitutability under subtyping. static analysis task EricAllen new 08/21/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
#262 Work out the rules of definite assignment. interpreter task EricAllen new 09/15/08
#264 Type checker infers BottomType for the return type of a function declaration. static analysis task EricAllen new 09/23/08
#265 Type checker throws the OptionUnwrapException for the seq method defined in FortressLibrary static analysis task EricAllen new 09/24/08
#308 Static checking fails to reject static parameterized reference to missing function static analysis task EricAllen new 11/19/08
#345 Turn implicit exports related to compound APIs into explicit exports build task EricAllen new 06/12/09
#357 Codegen is sensitive to top level binding order build task EricAllen new 08/17/09
#286 Use of a "naked" getter not rejected by disambigutor interpreter defect EricAllen new 10/15/08
#306 Redundant declarations are not flagged as static errors static analysis task EricAllen new 11/17/08
#87 Fortify breaks for double subscripts wiki defect GuySteele new 04/20/08
#31 Make stuff that ought to be functional methods into functional methods library task anybody new 10/31/07
#37 Make a common Set type and Map type library 1.0 task anybody new 11/07/07
#340 Simple dotted methods on singleton objects are not compiling build task chf new 06/05/09
#317 "fortress test" re-initializes the world numerous times interpreter defect chf new 12/16/08
#161 Clean up fork/join to use built-in exception handling mechanism interpreter task chf new 08/12/08
#102 fortress in nondebug mode cannot print null pointer exception errors interpreter task david new 05/08/08
#291 Indexed setters appear to use the same naming as indexed getters. interpreter defect dr2chase new 10/29/08
#328 Generic functional methods are rejected during interpreter initialization interpreter defect dr2chase new 03/20/09
#326 Frustrating Heisenbug with InheritedMethod interpreter task dr2chase new 02/13/09
#353 fortress typecheck success causes subsequent fortress compile to silently generate no code interpreter defect dr2chase new 07/21/09
#33 Type inference for method calls interpreter task dr2chase new 10/31/07
#57 Update ProjectStatus wiki 1.0 task dr2chase new 01/18/08
#315 Shell tests don't work when run from ProjectFortress interpreter task dr2chase new 12/12/08
#333 Duplicate ComponentEnv class file generation for objectCC tests interpreter task dr2chase new 04/21/09
#352 An attachement (plav.html) on ticket 11 is an advertisment for Plavix and may be infected. wiki task dr2chase assigned 07/02/09
#23 in type inference at call sites, it is important to get the environment right interpreter cleanup dr2chase new 10/15/07
#46 Top-level array declaration does not work. interpreter defect dr2chase new 11/28/07
#51 Index symbolic instantiations by bounds, not textual name interpreter defect dr2chase new 12/10/07
#72 Overloading check bug interpreter defect dr2chase new 03/26/08
#116 Functional method should not be returned as the result of a dotted reference. interpreter defect dr2chase new 05/22/08
#117 Generic surprise interpreter defect dr2chase new 05/23/08
#137 Functional method operator lookup within trait method fails to find the operator interpreter defect dr2chase new 06/29/08
#148 method call to a method defined within the same object type (which then makes call to builtinPrimitive) is not disambiguated correctly. interpreter defect dr2chase new 07/09/08
#278 Misusing trait name as constructor points to def site of trait interpreter defect dr2chase new 10/06/08
#300 Contracts on abstract methods are ignored interpreter defect dr2chase new 11/04/08
#320 Missing import entities cause Java-level exception interpreter defect dr2chase new 01/15/09
#321 stack overflow in type system interpreter defect dr2chase new 01/20/09
#351 ant fails to move one file on a FAT32 disc image interpreter defect dr2chase new 06/30/09
#359 fortify has problems with \KWDVAR interpreter defect dr2chase new 10/02/09
#4 implement getters/setters interpreter task dr2chase new 07/18/07
#98 Unsigned types interpreter task dr2chase new 05/02/08
#113 Overloading of local functions is not implemented. interpreter task dr2chase new 05/22/08
#120 invoking methods with the same name as a field produces a confusing error interpreter task dr2chase new 05/28/08
#142 cannot pass arguments to varargs function to another varargs function interpreter task dr2chase new 07/02/08
#144 importing two generic functions causes phase order problem interpreter task dr2chase new 07/02/08
#158 compiler error: java.lang.OutOfMemoryError interpreter task dr2chase new 08/11/08
#163 Static parameters for functional methods interpreter task dr2chase new 08/15/08
#204 Typecase without an explicit binding with an object parameter doesn't work. interpreter task dr2chase new 08/20/08
#235 Error messages need help interpreter task dr2chase new 08/23/08
#245 Implement multifix operators. interpreter task dr2chase new 09/12/08
#256 Implement the one-shot continuation semantics for label/exit across object/function expressions. interpreter task dr2chase new 09/13/08
#258 Internal error: second store of indirection cell interpreter task dr2chase new 09/14/08
#266 The interpreter does not handle a declaration of _ with a type annotation correctly. interpreter task dr2chase new 09/25/08
#282 multi-dimensional arrays interpreter task dr2chase new 10/13/08
#331 Build Failed on Windows XP interpreter task dr2chase new 03/30/09
#354 compile_err_equals doesn't recognize fwd-slash back-slash equivalence interpreter task dr2chase new 08/11/09
#85 Error messages print extraneous information interpreter 1.0 cleanup dr2chase new 04/18/08
#88 fortify assumes comments are valid LaTeX interpreter defect dr2chase new 04/20/08
#91 fortify is overzealous in syntax-highlighting comments interpreter defect dr2chase new 04/21/08
#95 fortify issues with big operators interpreter defect dr2chase new 04/28/08
#105 Explicit type instantiation does not check the bound of the corresponding type parameter. interpreter defect dr2chase new 05/08/08
#157 import ... except causes interpreter problems interpreter defect dr2chase new 07/18/08
#164 -test option appears to run tests twice interpreter defect dr2chase new 08/15/08
#167 undefined variable in typecase interpreter defect dr2chase new 08/20/08
#237 auxiliary test methods cannot be given the test qualifier interpreter defect dr2chase new 08/25/08
#276 Fortress caching not robust to timestamp and name collisions interpreter defect dr2chase new 10/05/08
#299 missing generated environment for automatically imported API interpreter defect dr2chase new 11/04/08
#355 fortress.bat not up-to-date for Windows XP environment interpreter defect dr2chase new 08/11/09
#285 Apparent ambiguity between binding and equality test interpreter enhancement dr2chase new 10/13/08
#9 Implement local polymorphic functions interpreter task dr2chase new 08/14/07
#49 Complete implementation of opr parameters interpreter task dr2chase new 12/07/07
#112 bin/fortress should have a -version option interpreter task dr2chase new 05/21/08
1 2 →
Note: See TracReports for help on using and creating reports.