|
#344
|
Check that compound APIs are well formed
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
06/12/09
|
|
#345
|
Turn implicit exports related to compound APIs into explicit exports
|
build
|
|
|
task
|
EricAllen
|
new
|
06/12/09
|
|
#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
|
|
#347
|
Tuple expressions/types and function parameters with varargs and/or keywords are well formed.
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
06/16/09
|
|
#348
|
Implement algebraic static parameters.
|
static analysis
|
|
|
task
|
jrhil47
|
new
|
06/16/09
|
|
#349
|
Implement type coverage and revise the export checker using the type coverage analysis
|
static analysis
|
|
|
task
|
sukyoungryu
|
new
|
06/24/09
|
|
#354
|
compile_err_equals doesn't recognize fwd-slash back-slash equivalence
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
08/11/09
|
|
#357
|
Codegen is sensitive to top level binding order
|
build
|
|
|
task
|
EricAllen
|
new
|
08/17/09
|
|
#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
|
|
#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
|
|
#285
|
Apparent ambiguity between binding and equality test
|
interpreter
|
|
|
enhancement
|
dr2chase
|
new
|
10/13/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
|
|
#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
|
|
#102
|
fortress in nondebug mode cannot print null pointer exception errors
|
interpreter
|
|
|
task
|
david
|
new
|
05/08/08
|
|
#112
|
bin/fortress should have a -version option
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/21/08
|
|
#114
|
The Executable API is hardwired in the interpreter.
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
05/22/08
|
|
#130
|
A trait that extends itself causes a stack overflow
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
06/14/08
|
|
#281
|
Ensures clause ignored in api
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/10/08
|
|
#283
|
Unintelligible error message from :#
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#284
|
CalleeViolation provides insufficient information
|
interpreter
|
|
|
task
|
dr2chase
|
new
|
10/13/08
|
|
#306
|
Redundant declarations are not flagged as static errors
|
static analysis
|
|
|
task
|
EricAllen
|
new
|
11/17/08
|
|
#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
|
|
#302
|
Silly output message reduces our credibility
|
interpreter
|
|
|
enhancement
|
dr2chase
|
new
|
11/06/08
|
|
#21
|
Add overlap detection to subrange assignment
|
library
|
|
|
task
|
jmaessen
|
new
|
09/26/07
|