root/trunk/ProjectFortress/tests

Name Size Rev Age Last Change
../
a.b 2362 3 months sukyoungryu: [tests] Added a test file for finding a Fortress file buried in a …
abortBlock.fss 1.5 kB 2847 4 weeks chf: Closure.java was wrapping abortedexceptions and causing transactions to …
abortTest.fss 1.2 kB 2326 3 months chf: nested parallel transactions
AliasedGetterTest.fss 1.1 kB 2906 2 weeks jmaessen: Formatting changes to FortressAstToConcrete? (plus necessary tweaks …
AlsoDo.fss 1.9 kB 2750 2 months jmaessen: Partial cleanup of getters and setters. …
ampersand.fss 0.9 kB 2782 1 month sukyoungryu: [parser] Ampersands do not appear in inappropriate places. Fixed Ticket …
anyLenArray.fss 1.0 kB 133 2 years jm143038: Backed out changes Sukyoung made to FortressLibrary.fss; I wasn't testing …
array3test.fss 1.3 kB 2920 1 week jmaessen: Cut over to new range implementation. Strided ranges are not …
arrayBig.fss 7.6 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
ArrayListQuick.fss 5.3 kB 2419 3 months jmaessen: [Library, static analysis, tests] Added type Object
arrayTest0.fss 1.1 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
arrayTest1.fss 1.0 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
arrayTest2.fss 1.5 kB 320 1 year jm143038: Deleted empty jars directory, which mysteriously re-surfaced after my last …
arrayTest3.fss 1.0 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
arrayWithTrailingSpaces.fss 1.0 kB 1699 5 months sukyoungryu: Fixed a parser bug: space between an array element and a neline character.
AsExprSimple.fss 0.8 kB 2571 2 months sukyoungryu: [test] Fixed a JU test for the closure conversion. [copyright] Fixed a …
asifTest.fss 4.2 kB 2164 3 months jmaessen: [Libraries] Changed Integral to be a parametric type Integral[\I\]. …
atomic0.fss 1.0 kB 2326 3 months chf: nested parallel transactions
atomic1.fss 1.0 kB 2326 3 months chf: nested parallel transactions
atomic2.fss 1.3 kB 2326 3 months chf: nested parallel transactions
atomic3.fss 1.0 kB 2794 1 month chf: Don't let orphaned transactions return values, various cleanups, dial back …
atomic4.fss 1.0 kB 2326 3 months chf: nested parallel transactions
atomic5.fss 1.3 kB 2750 2 months jmaessen: Partial cleanup of getters and setters. …
atomicArrayOps.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
atomicExpr.fss 1.1 kB 809 1 year chf: Changed NumFortressThreads? to FortressThreads? and added a test
atomicList.fss 1.7 kB 2163 3 months nbeckman: [Disambiguator] There are a lot of changes in this revision. - I found …
atomicsets.fss 1.1 kB 1366 7 months sukyoungryu: Fixed copyright notices.
atomicTest.fss 1.0 kB 2326 3 months chf: nested parallel transactions
BadBounds.fss 1.7 kB 1007 1 year jmaessen: Fixed bug in generating sequential tuple ranges (#43). Added parsing and …
BadEncloser.fss 1.1 kB 2633 2 months sukyoungryu: [copyright] Fixed copyright notices.
bigEncloserCall.fss 0.9 kB 2840 4 weeks sukyoungryu: [language] Added the new syntax for big enclosing operator application. …
BigNum.fss 1.2 kB 2225 3 months chf: bignums: result of pair programming with GLS
BitTwiddle.fss 1.9 kB 2164 3 months jmaessen: [Libraries] Changed Integral to be a parametric type Integral[\I\]. …
bogusNatParams.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
booleanGuard.fss 1.3 kB 1400 7 months jmaessen: Renamed ArrayList? to List.
BooleanOps.fss 2.1 kB 1389 7 months skilpat: Added Jan's changes to builtin libraries. Fixed type checking qualified …
BoolMethodParamBug.fss 1.0 kB 1711 5 months jmaessen: Completed implementation of bool parameters as method arguments (at least …
Brackets.fss 2.3 kB 1874 4 months sukyoungryu: [parser] Implemented new bracketmania rules, and (.< >.) ((.> <.)).
buffons.fss 1.5 kB 1168 9 months chf: Updated Copyright Notices
BuiltinBound.fss 1.2 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
caseTest.fss 2.1 kB 1168 9 months chf: Updated Copyright Notices
caseWithSemicolons.fss 1.0 kB 2810 1 month sukyoungryu: [parser] Fixed handling semicolons in case expressions.
chain0.fss 1.5 kB 2633 2 months sukyoungryu: [copyright] Fixed copyright notices.
chain2.fss 1.1 kB 1030 11 months sukyoungryu: Fixed a parser bug: Tightly juxtaposed chaining fails during Resolve …
CharacterTest.fss 24.5 kB 2224 3 months angelee: [library, interpreter] Implemented few operators for Character …
ColonOperator.fss 1.1 kB 2550 2 months sukyoungryu: [copyright] Fixed copyright notices.
commonSuper.fss 1.1 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
compoundArray.fss 1.6 kB 2868 3 weeks sukyoungryu: [parser] Fixed parsing numerals according to the spec 1.0b.
conditionalExtension.fss 1.8 kB 2199 3 months nbeckman: [typechecker] New version of type inference works for most tests but not …
conditionalGenerator.fss 1.0 kB 2048 4 months sukyoungryu: [copyright] Fixed copyright notices.
conditionalOp.fss 1.5 kB 1168 9 months chf: Updated Copyright Notices
ConditionalOpTruncation.fss 1.0 kB 1708 5 months jmaessen: Fixes #108.
contracts1.fss 2.3 kB 2829 1 month sukyoungryu: [language] Use 'outcome' instead of 'result' for an implicitly declared …
controlZ.fss 0.8 kB 2780 1 month sukyoungryu: [parser] It is a static error for a Fortress program to contain any …
CovariantTest.fss 1.4 kB 2619 2 months black: The great restructuring of the world consequent on turning String into a …
deepHierarchy.fss 2.2 kB 428 1 year jmaessen: Removed a tonne of gratuitous type parameters now that we …
dimensionUnitDecl.fss 1.1 kB 1771 4 months jmaessen: Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||, BIG …
disp0.fss 1.1 kB 1320 8 months dr2chase: Added (limited) support for override keyword
disp1.fss 1.2 kB 1320 8 months dr2chase: Added (limited) support for override keyword
disp2.fss 1.1 kB 1320 8 months dr2chase: Added (limited) support for override keyword
DivPrecedence.fss 1.1 kB 416 1 year jmaessen: A bunch of minor tweaks and bug fixes: 1- Yes, I added assert() to …
doubledOverloading2.fss 2.0 kB 1394 7 months sukyoungryu: Fixed copyright notices.
doubledOverloading3.fss 1.8 kB 837 1 year dr2chase: Fixed Bug #12
doubledOverloading.fss 1.6 kB 583 1 year dr2chase: Fixed (?) doubled overloading bug; general cleanup to remove various field …
doubleSelf.fss 0.8 kB 428 1 year jmaessen: Removed a tonne of gratuitous type parameters now that we …
emptyLoop.fss 1.2 kB 454 1 year chf: Added some missing copyright headers.
emptySubscripting.fss 0.9 kB 1991 4 months sukyoungryu: [parser] Fixed ticket #133: Subscript expression with no parameters …
EqualityOverloadBug.fss 1.1 kB 1103 10 months jmaessen: Some test tinkering in preparation for implementing Accumulator …
errIN.fss 1.2 kB 1400 7 months jmaessen: Renamed ArrayList? to List.
Exception.fss 3.1 kB 1366 7 months sukyoungryu: Fixed copyright notices.
ExceptionScoping.fss 1.5 kB 1481 6 months jmaessen: Binding maybe values in if. This touched far more files than I …
executable_component.fss 0.8 kB 1168 9 months chf: Updated Copyright Notices
explicitStaticArgsToAggregates.fss 1.3 kB 1540 6 months jmaessen: Modified Map, Set, and Heap to use a consistent api …
extendAny.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
extendException.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
extendNumber.fss 1.0 kB 2892 2 weeks jmaessen: Fix of Victor's bug: if we add a Ratio and an RR64, we got an …
extendObject.fss 0.8 kB 2048 4 months sukyoungryu: [copyright] Fixed copyright notices.
extendOprParam.fss 1.2 kB 1791 4 months sukyoungryu: [parser] Fixed parsing if expressions without the end keyword enclosed by …
extendOprWithParam.fss 1.3 kB 1597 5 months jmaessen: Refactored libraries to move arithmetic operators from top level into the …
fib13.fss 1.5 kB 2897 2 weeks sukyoungryu: [tests/demos] Made small changes.
fib.fss 1.0 kB 635 1 year jmaessen: Check fib outputs rather than printing them.
FileReadWrite.fss 3.2 kB 2635 2 months jmaessen: Can't reproduce Bug #160 anymore, so eliminated the workarounds. We'll see …
fmTest1.fss 1.0 kB 305 1 year dc12360: Simple functional methods work now (no overloading, no generics, no opr …
fmTest2.fss 1.6 kB 1168 9 months chf: Updated Copyright Notices
fmTest3.fss 1.7 kB 349 1 year dc12360: Fixed functional methods so that they work if they are defined within a …
fmTest4.fss 1.0 kB 355 1 year dc12360: Fixed one small glitch in functional method implementation ("self" was …
fmTest5.fss 1.1 kB 1168 9 months chf: Updated Copyright Notices
forFnDef.fss 0.9 kB 1168 9 months chf: Updated Copyright Notices
formatTest.fss 6.2 kB 2315 3 months gls: added NN32 and NN64 and QQ, / operator on integers now creates rationals, …
forTest2.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
forTest.fss 0.9 kB 1771 4 months jmaessen: Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||, BIG …
FuncOfFuncTest.fss 1.6 kB 631 1 year jmaessen: More cleanup of PureList?, made reverse() into a full-fledged …
FunctionalMethodAsUnifyParam.fss 1.8 kB 2618 2 months jmaessen: [interpreter] Permit unification of overloaded functions passed …
funny.fss 1.4 kB 357 1 year jm143038: Minor library tweaks. Moved pi,e,infinity to the new library "Constants". …
generatedExpr.fss 1.1 kB 985 1 year jmaessen: Generated expressions. Very straightforward, they desugar just like …
GeneratorNullPointer.fss 1.0 kB 2653 2 months EricAllen: Brought automatic getter generation online. Moved the getter desugar to …
generatorTest.fss 1.9 kB 1471 6 months sukyoungryu: Fixed copyright notices.
GenericFnWithExcludes.fss 1.3 kB 1245 9 months sukyoungryu: Fixed some copyright notices.
genericMethod0.fss 1.3 kB 1775 4 months jmaessen: Fix for #125, and uses of // operator where appropriate (and appropriately …
genericMethod1.fss 1.2 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
genericMethod4.fss 1.0 kB 2939 2 days sukyoungryu: [library] Fixed a shadowing bug.
genericTest1.fss 0.9 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
genericTest2.fss 1.1 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
genericTest3.fss 1.3 kB 1826 4 months sukyoungryu: [copyright] Fixed copyright notices.
genericTest4.fss 1.3 kB 1826 4 months sukyoungryu: [copyright] Fixed copyright notices.
genericTest5.fss 1.3 kB 1791 4 months sukyoungryu: [parser] Fixed parsing if expressions without the end keyword enclosed by …
GS0.fss 0.9 kB 2598 2 months sukyoungryu: [parser] Supports more Unicode characters in Fortress programs including …
GS1.fss 0.9 kB 1316 8 months dr2chase: Added generic singleton objects, woo, hoo.
GS2.fss 1.1 kB 1791 4 months sukyoungryu: [parser] Fixed parsing if expressions without the end keyword enclosed by …
GS3.fss 1.1 kB 1791 4 months sukyoungryu: [parser] Fixed parsing if expressions without the end keyword enclosed by …
HeapTest.fss 4.7 kB 2263 3 months jmaessen: IntLiteral? is now a subtype of ZZ32 (and thus of every other …
ho.fss 1.0 kB 1168 9 months chf: Updated Copyright Notices
ifTest.fss 1.0 kB 1826 4 months sukyoungryu: [copyright] Fixed copyright notices.
immutable.fss 0.9 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
immutableTopLevel.fss 1.4 kB 2519 2 months jmaessen: Fix shadowing problems in the libraries and tests. At this point …
ImplicitBlocks.fss 1.0 kB 1232 9 months jmaessen: asif now works. Lots of code cleanup to the function application code, …
importBig.fss 1.0 kB 2263 3 months jmaessen: IntLiteral? is now a subtype of ZZ32 (and thus of every other …
ImportNonparamObject.fss 0.9 kB 1112 10 months sukyoungryu: Implemented the new import-statement syntax.
InferTest.fss 1.0 kB 343 1 year dc12360: Oops, forgot to add these.
infixBars.fss 0.8 kB 1872 4 months sukyoungryu: [parser] Fixed parsing vertical bar operators reported by Jan.
InheritedMethod.fss 1.6 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
InheritedOverload2.fss 1.5 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
initOrder.fss 1.5 kB 2166 3 months sukyoungryu: [copyright] Fixed copyright notices.
instantiateNatParam.fss 1.1 kB 1394 7 months sukyoungryu: Fixed copyright notices.
intDivisionTest.fss 0.9 kB 2323 3 months sukyoungryu: [copyright] Fixed copyright notices.
intPrim.fss 2.0 kB 2792 1 month jmaessen: Created type Contains[\T\] which is extended by Range[\T\] and …
juxtTwice.fss 1.4 kB 2436 3 months sukyoungryu: [tool] ast->concrete: more fixes
labelExit.fss 2.5 kB 1168 9 months chf: Updated Copyright Notices
letRecTest.fss 0.9 kB 1826 4 months sukyoungryu: [copyright] Fixed copyright notices.
LineTerminatingComments.fss 0.9 kB 267 2 years sr155864: 1. Line-terminating comments are supported. 2. Whitespaces are optional …
ListNullPointer.fss 1.4 kB 2304 3 months sukyoungryu: [copyright] Fixed copyright notices.
ListTest.fss 1.7 kB 2634 2 months jmaessen: Added strToInt (convert String to ZZ32) to FortressLibrary.fss. …
litCoercion.fss 1.1 kB 134 2 years jm143038: Hack which makes ZZ32 a subtype of ZZ64; otherwise our operators break due …
LocalVar.fss 0.9 kB 967 1 year sukyoungryu: Allows newlines after = in bindings.
longPrim.fss 2.1 kB 2682 2 months mspiegel: [library] Added minimum() and maximum() methods to ZZ32 and ZZ64. These …
mapCombine.fss 1.4 kB 2827 1 month sukyoungryu: [library] Added explicit static arguments to some method invocations.
MapExprTest.fss 0.9 kB 2598 2 months sukyoungryu: [parser] Supports more Unicode characters in Fortress programs including …
MapTest.fss 3.1 kB 2619 2 months black: The great restructuring of the world consequent on turning String into a …
matchingCharacterMarks.fss 0.9 kB 2743 2 months sukyoungryu: [parser] The opening and closing marks of character literals 'match', …
matchingStringMarks.fss 0.9 kB 2742 2 months sukyoungryu: [parser] The opening and closing marks of string literals 'match', i.e., …
matrixOps.fss 2.0 kB 416 1 year jmaessen: A bunch of minor tweaks and bug fixes: 1- Yes, I added assert() to …
maybeTest.fss 1.9 kB 2750 2 months jmaessen: Partial cleanup of getters and setters. …
mixedTypeAnnotation.fss 1.0 kB 2808 1 month sukyoungryu: [parser] We can comingle type-annotated and un-annotated variable …
monoidal.fss 3.0 kB 2472 2 months nbeckman: [test] Fixed the mondial.fss test.
multiGenFor.fss 1.2 kB 326 1 year jm143038: Two major changes: 1) For loops now desugar into calls to …
Mutable.fss 0.9 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
naiveSeq.fss 1.7 kB 1471 6 months sukyoungryu: Fixed copyright notices.
natInference0.fss 1.1 kB 2919 1 week sukyoungryu: [tests] Deleted printing messages from test functions. They can be shown …
nativeArrayTest.fss 1.3 kB 1112 10 months sukyoungryu: Implemented the new import-statement syntax.
nativeImmutableArrayTest.fss 1.2 kB 1277 8 months sukyoungryu: Separated DimDecl? and UnitDecl? from DimUnitDecl?.
nativeTestFn.fss 2.0 kB 1112 10 months sukyoungryu: Implemented the new import-statement syntax.
NatParamOverloading.fss 1.0 kB 2048 4 months sukyoungryu: [copyright] Fixed copyright notices.
naturalsTest.fss 1.9 kB 2750 2 months jmaessen: Partial cleanup of getters and setters. …
neOperator.fss 1.5 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
nestedInst.fss 1.2 kB 414 1 year dr2chase: Made method initialization a bit lazier, except at the top level (for …
nestedOutcome.fss 1.0 kB 2829 1 month sukyoungryu: [language] Use 'outcome' instead of 'result' for an implicitly declared …
nestedTransactions1.fss 1.2 kB 2794 1 month chf: Don't let orphaned transactions return values, various cleanups, dial back …
nestedTransactions2.fss 1.4 kB 2373 3 months chf: break up nested transaction tests
nestedTransactions3.fss 1.3 kB 2373 3 months chf: break up nested transaction tests
nestedTransactions4.fss 1.1 kB 2794 1 month chf: Don't let orphaned transactions return values, various cleanups, dial back …
newASCIIshorthands.fss 1.1 kB 1874 4 months sukyoungryu: [parser] Implemented new bracketmania rules, and (.< >.) ((.> <.)).
newlineTest.fss 1.0 kB 1214 9 months sukyoungryu: Implemented the revised syntax and semantics of typecase bindings.
nullaryOverload.fss 0.9 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
NumberPrintTest.fss 2.5 kB 2315 3 months gls: added NN32 and NN64 and QQ, / operator on integers now creates rationals, …
NumeralTest.fss 2.0 kB 2634 2 months jmaessen: Added strToInt (convert String to ZZ32) to FortressLibrary.fss. …
objectCC.fss 1.7 kB 2631 2 months sukyoungryu: [shell] Fixed the problem of failing only with JUnit tests.
objectCC_immutable.fss 3.4 kB 2875 3 weeks angelee: removing some comments that are no longer correct.
objectCC_multi_objExpr_mutVar1.fss 2.7 kB 2698 2 months sukyoungryu: [copyright] Fixed copyright notices.
objectCC_multi_objExpr_mutVar2.fss 2.6 kB 2698 2 months sukyoungryu: [copyright] Fixed copyright notices.
objectCC_mutable.fss 3.8 kB 2740 2 months angelee: [desugarer] implemented static type parameters captured by …
objectCC_mutVar1.fss 1.6 kB 2698 2 months sukyoungryu: [copyright] Fixed copyright notices.
objectCC_mutVar2.fss 1.6 kB 2698 2 months sukyoungryu: [copyright] Fixed copyright notices.
objectCC_shadowTest.fss 4.2 kB 2932 4 days angelee: [desugarer] adding the test case for testing shadowing
objectCC_staticParams.fss 2.3 kB 2874 3 weeks angelee: [desugarer] - Changed the way ObjectExpressionVisitor? is tested: Instead …
ObjectDefVars.fss 1.0 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
objectExprMystery.fss 1.1 kB 345 1 year jm143038: Moved a bunch of working tests from not_passing_yet to tests. Minor tweaks …
ObjectExprWithFunctionalMethod.fss 0.9 kB 1816 4 months dr2chase: Added test for bug #126, fixed bug #126
ObjectParams.fss 1.0 kB 1419 7 months sukyoungryu: Replaced the settable modifier with var.
objectTest1.fss 1.0 kB 2 2 years jm143038: Added information about demo programs (including which ones are broken).
objectTest2.fss 1.0 kB 347 1 year sr155864: 1. Eliminated ident parameters. 2. Refined the operator parameter …
objectTest3.fss 1.0 kB 347 1 year sr155864: 1. Eliminated ident parameters. 2. Refined the operator parameter …
objectTest4.fss 1.4 kB 1245 9 months sukyoungryu: Fixed some copyright notices.
objectTest7.fss 1.2 kB 2511 2 months sukyoungryu: [copyright] Fixed copyright notices.
objectTest8.fss 2.0 kB 2519 2 months jmaessen: Fix shadowing problems in the libraries and tests. At this point …
ObjectToStringTest.fss 1.2 kB 2419 3 months jmaessen: [Library, static analysis, tests] Added type Object
objectZZ.fss 0.9 kB 2043 4 months sukyoungryu: [tests] Fixed some test programs. Moved working test programs to the …
oddJuxt.fss 1.1 kB 1531 6 months jmaessen: Fixes bug in type inference reported by Sorin Miklós Zsejki that …
OpenRangeCase.fss 1.3 kB 2792 1 month jmaessen: Created type Contains[\T\] which is extended by Range[\T\] and …
operatorSynonym.fss 1.0 kB 2601 2 months sukyoungryu: [parser] Implemented the following synonym operators: HYPHEN-MINUS …
oprTests.fss 1.6 kB