{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
#1 The ask-a-question page is getting a little unwieldy already wiki cleanup somebody new 04/10/07
#23 in type inference at call sites, it is important to get the environment right interpreter cleanup dr2chase new 10/15/07
#85 Error messages print extraneous information interpreter 1.0 cleanup dr2chase new 04/18/08
#90 Argument fixups are done in two different ways interpreter cleanup jmaessen new 04/21/08
#289 Static analysis uses name of static opr parameter as (functional) method name static analysis 1.0 defect EricAllen new 10/28/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
#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
#353 fortress typecheck success causes subsequent fortress compile to silently generate no code interpreter defect dr2chase new 07/21/09
#361 Deal with case sensitivity of class names codegen defect jmaessen assigned 11/02/09
#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
#123 Can't find Csr when Csr.mul(...) is overloaded interpreter defect jmaessen new 05/30/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
#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
#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
#307 Set/Map clash library defect jmaessen assigned 11/18/08
#317 "fortress test" re-initializes the world numerous times interpreter defect chf new 12/16/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
#363 mailing list link on wiki main page appears to be broken wiki defect somebody new 11/09/09
#364 Compiler scope checking broken for simple spec example static analysis defect EricAllen new 11/13/09
#78 Paren mismatch in Emacs Fortress mode wiki 1.0 defect somebody new 04/15/08
#87 Fortify breaks for double subscripts wiki defect GuySteele new 04/20/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
#124 Static arithmetic sometimes uses ZZ32 when ZZ64 is specified interpreter defect jmaessen new 06/01/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
#286 Use of a "naked" getter not rejected by disambigutor interpreter defect EricAllen new 10/15/08
#297 ZZ32 runs out of steam, but we should be in the domain of ZZ64 library defect victorl new 11/01/08
#299 missing generated environment for automatically imported API interpreter defect dr2chase new 11/04/08
#303 having more processors slows down sequential loop interpreter defect jmaessen new 11/06/08
#355 fortress.bat not up-to-date for Windows XP environment interpreter defect dr2chase new 08/11/09
#263 Failed Fortress executions should return a false value as command-line calls interpreter 1.0 defect dr2chase new 09/23/08
#287 static param declared by nested FnDef not recognized by type checker static analysis defect Eric Allen new 10/17/08
#323 Type names and function names should be in disjoint namespaces. language change enhancement sukyoungryu new 01/23/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
#195 Check that qualified references are unambiguous static analysis enhancement sukyoungryu 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
#311 Update description of dependencies wiki enhancement somebody new 12/04/08
#285 Apparent ambiguity between binding and equality test interpreter enhancement dr2chase new 10/13/08
#302 Silly output message reduces our credibility interpreter enhancement dr2chase new 11/06/08
#296 Syntax prevents reporting of trivial syntax error language change language change sukyoungryu new 10/31/08
#298 Gratuitous parens required around do/end in expression context language change language change sukyoungryu new 11/03/08
#304 Loose operators || and // have incomparable precedence language change language change sukyoungryu new 11/06/08
#326 Frustrating Heisenbug with InheritedMethod interpreter task dr2chase new 02/13/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
#329 Major oversight: tuple varargs lead to overloading ambiguities interpreter task jmaessen new 03/20/09
#333 Duplicate ComponentEnv class file generation for objectCC tests interpreter task dr2chase new 04/21/09
#340 Simple dotted methods on singleton objects are not compiling build task chf new 06/05/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
#4 implement getters/setters interpreter task dr2chase new 07/18/07
#10 Implement type Object interpreter task jmaessen new 08/14/07
#30 Clean up definition of indexed types library task jmaessen new 10/31/07
#31 Make stuff that ought to be functional methods into functional methods library task anybody new 10/31/07
#32 Add parallel prefix operations to Generator library task jmaessen new 10/31/07
#37 Make a common Set type and Map type library 1.0 task anybody new 11/07/07
#60 Ordering on sets and maps interpreter task jmaessen new 01/22/08
#71 Complete implementation of SEQUIV interpreter task jmaessen new 03/03/08
#74 Move top-level operations into functional methods where appropriate interpreter task jmaessen assigned 03/30/08
#80 Populate Numeric hierarchy interpreter task jmaessen assigned 04/15/08
#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
#132 I left some undone work in Abstract Syntax - missing originalName fields interpreter task jdn new 06/16/08
#142 cannot pass arguments to varargs function to another varargs function interpreter task dr2chase new 07/02/08
1 2 →
Note: See TracReports for help on using and creating reports.