|
#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
|