Timeline


and .

05/19/08:

18:20 Changeset [1675] by dr2chase
This time for sure, fixed the space-in-path tolerance
16:15 Ticket #110 (hello.fss 1.r1616 Undefined type: String) created by LouisCutrona
OS: Windows XP with up-to-date patches. Java: JDK1.6.0_06. Ant: 1.7.0 …
15:14 Changeset [1674] by sukyoungryu
Reverted the change in revision 1671 for now.
15:02 Changeset [1673] by sukyoungryu
Generate the copyright notice as well for a generate file as Eric …
14:26 Ticket #101 (path to java should be explicit in bin/fortress) closed by jon
duplicate: Duplicate of ticket 56.
14:07 Ticket #56 (Explicitly specify java interpreter in trunk/bin/fortress) closed by ryanc
fixed: Fixed. Use JAVA_HOME if present; otherwise, use java from PATH.
14:03 Changeset [1672] by ryanc
fortress script uses java at $JAVA_HOME, if present (Ticket 56)
13:29 Changeset [1671] by mspiegel
Added quote-escapes to find the ant path.
13:19 Changeset [1670] by dlsmith
Additional tests for TypeAnalyzer?.normalize(); fixed some related bugs.
11:24 Changeset [1669] by jon
add graph based repository system
09:59 Changeset [1668] by sukyoungryu
Added a copyright notice to a generated file because it is not generated …
07:12 Changeset [1667] by jdn
fixed more bugs in syntax abstraction such that a subset of testbasic.fss …
04:03 Changeset [1666] by jdn
Fixed bug in implementation of characterclasses, made some small changes …

05/17/08:

12:17 Changeset [1665] by sukyoungryu
Fixed copyright notices.

05/16/08:

15:39 Changeset [1664] by dlsmith
Implemented type normalization. Included some simple tests.
15:38 Changeset [1663] by jmaessen
Fiddled a little bit with array implementations to avoid CAS on …
13:29 Changeset [1662] by sukyoungryu
Added more syntax error messages.
07:36 Changeset [1661] by sukyoungryu
Moved Domain out of the Type hierarchy.
06:55 Ticket #106 (!idrest is appended to all generated grammar productions) closed by jon
fixed: !idrest is no longer appended to productions. rev 1633
04:58 Changeset [1660] by jdn
fixed some syntax abstraction examples

05/15/08:

23:38 Ticket #107 ([syntax abstraction] cannot use * on terminals) closed by jdn
fixed: The problem has been fixed
16:26 Changeset [1659] by jmaessen
Bug fixes and performance improvements. Make sure we allocate …
15:40 Changeset [1658] by dlsmith
Fixed a bug in TypeDisambiguator?. Certain type names weren't being made …
15:00 Changeset [1657] by dlsmith
Wrapped the throws clause in Effects in an Option in order to distinguish …
13:46 Changeset [1656] by dlsmith
Converted intersection and union types from the binary AndType/OrType?
13:45 Changeset [1655] by chf
Seperated out Spawn tests for greater reportability
11:00 Changeset [1654] by jon
use more robust facility for creating temporary rats directory
10:24 Changeset [1653] by sukyoungryu
Deleted a particular syntax error message which caused stack overflow when …
08:13 Changeset [1652] by jdn
new implementation of * for templates
06:57 Changeset [1651] by jon
Add the api production to the preparser so imports in apis can be found
01:59 Changeset [1650] by jdn
implemented * operator for templates as well

05/14/08:

20:17 Changeset [1649] by dlsmith
Restructured ArrowTypes?. Keyword args in "tuples" are brought back by the …
20:13 WikiStart edited by dr2chase
(diff)
10:52 Changeset [1648] by dr2chase
Fixed scripts to use vastly more concise autohome idiom
10:17 Changeset [1647] by dr2chase
Added command to infer/echo FORTRESS_HOME
10:03 Changeset [1646] by dr2chase
Fixed infinite recursion after interface touch; remove items from worklist …
07:50 Changeset [1645] by jdn
Fixed bug in implementation of the * operator
07:50 Changeset [1644] by jdn
Fixed bug in implementation of the * operator
02:31 Changeset [1643] by jdn
moved NonterminalDisambiguator? from the compiler package to the …
02:13 Changeset [1642] by jdn
added testcase for import of nonexisting api
01:53 Changeset [1641] by jdn
Preparser now use an iterative algorithm to collect apis instead of a …

05/13/08:

18:08 Changeset [1640] by sukyoungryu
Added more syntax error messages.
16:43 Changeset [1639] by dr2chase
Replaced simplest reflection-driven visitor with subtype of generated …
13:56 Ticket #83 (Bug with lists and top-level vars) closed by jmaessen
fixed: Ought to be fixed, but without deadlock detection, in r1638. See changes …
13:47 Changeset [1638] by jmaessen
Mostly performance tweaking, but includes a speculative fix to …
13:28 Changeset [1637] by dr2chase
Quick performance hack in NodeReflection; comment in RepositoryUpdater …
09:51 Changeset [1636] by sukyoungryu
1. Subscripting operator applications may have explicit static arguments. …
08:23 Ticket #109 (Testing new email notificaiton) created by chf
This is a test of the new email notification stuff
08:05 Changeset [1635] by jon
use options instead of null
07:58 Changeset [1634] by jdn
Template variables are now implemented
07:14 Changeset [1633] by jon
dont add !idrest to unbound terminals

05/12/08:

20:38 HowToParticipate edited by sukyoungryu
(diff)
20:37 HowToParticipate edited by sukyoungryu
(diff)
20:34 Changeset [1632] by sukyoungryu
Described tests, static_tests, and not_passing_yet directories.
20:22 Changeset [1631] by sukyoungryu
Added option.isSome() checks before option.unwrap()
18:03 Changeset [1630] by sukyoungryu
1. Parser detects the name mismatch between the component/API and its …
17:10 Changeset [1629] by dlsmith
Simplified ArgType?: varargs is just a Type (it can never be …
14:37 MathSyntaxInFortress edited by jon
(diff)
14:26 Changeset [1628] by jon
start xml node class
14:09 Changeset [1627] by dlsmith
Eliminated VarargsType?, which means there's no level of indirection to get …
13:11 Changeset [1626] by jon
handle multiple xml siblings
13:00 Changeset [1625] by jon
handle empty x-exprs and capital letters
12:38 Changeset [1624] by jon
concat attributes and clean up old code
12:32 Changeset [1623] by jon
clean up xml strings
12:27 Changeset [1622] by jon
use Expr instead of StringLiteralExpr? so that strings can be concatenated …
11:54 Changeset [1621] by jon
remove some old code, add comemnts
11:54 Changeset [1620] by dlsmith
Simple Type AST refactorings: renamed IdType?->VarType?, …
11:49 Changeset [1619] by jon
add basic xml grammar and a test
11:44 Changeset [1618] by jon
added directory for xml tests
07:30 Changeset [1617] by jon
escape " in a string literal

05/11/08:

21:21 WikiStart edited by dr2chase
(diff)
14:45 Changeset [1616] by sukyoungryu
Added some syntax error messages for components and APIs.

05/10/08:

21:31 Changeset [1615] by sukyoungryu
Added error productions for improving syntax error message s.
20:41 Changeset [1614] by sukyoungryu
Added syntax error messages for declarations in trait and object …
14:24 Changeset [1613] by jmaessen
Performance engineering, to get back the performance that went away in …
14:11 Changeset [1612] by sukyoungryu
Now, :: (U+2237 PROPORTION) is a valid Fortress operator. It has lower …
07:47 Changeset [1611] by dr2chase
Added two tests to verify fix of bug #103

05/09/08:

21:36 Ticket #103 (object parameters and fields can be mutated in the face of a static type ...) closed by dr2chase
fixed: Fixed in r1610. Problem was that the assignValue code in BetterEnv …
21:32 Changeset [1610] by dr2chase
Fixed bug #103
20:08 Changeset [1609] by sukyoungryu
Refactoring to syntax error messages using error productions.
14:20 Changeset [1608] by jmaessen
Lots more refactoring to method application in hopes of speeding it up, …
07:55 Changeset [1607] by jon
find rats! parsing functions via reflection
05:52 Changeset [1606] by jon
revert change to template parser for now
05:38 Changeset [1605] by jon
only add !idrest for keyword symbols
03:54 Changeset [1604] by sukyoungryu
Improved a syntax error message thanks to Jan.
03:53 Changeset [1603] by sukyoungryu
Modified some library code to work around some bugs of the Fortify tool.

05/08/08:

16:39 WikiStart edited by dr2chase
(diff)
16:14 Changeset [1602] by dr2chase
Added to .hgignore
13:23 Ticket #108 (conditional operator use truncates operator names) created by bstreiff
[…] results in the following output: […]
13:19 Ticket #107 ([syntax abstraction] cannot use * on terminals) created by jon
A simple production like […] Gives the error […] Adding a …
13:01 Ticket #106 (!idrest is appended to all generated grammar productions) created by jon
This grammar […] Will result in a rats file for the A non-terminal, …
10:21 HowToParticipate edited by sukyoungryu
(diff)
10:20 HowToParticipate edited by sukyoungryu
(diff)
09:50 Changeset [1601] by jon
bash on solaris doesnt like $() syntax. use backticks intead
09:20 Ticket #105 (Explicit type instantiation does not check the bound of the corresponding ...) created by sukyoungryu
[…] If I drop the explicit type instantiation of h as "h(3)", the …
08:14 Ticket #104 (object methods cannot have static parameters) created by jon
[…] Static parameters on object methods result in the following error …
08:00 Ticket #103 (object parameters and fields can be mutated in the face of a static type ...) created by jon
[…] 'n' and 'field' in the 'foo' object are mutable with type ZZ32 but …
07:07 Ticket #102 (fortress in nondebug mode cannot print null pointer exception errors) created by jdn
When a null pointer exception is wrapped into a StaticError? and printed in …
06:50 Changeset [1600] by jdn
more syntax examples
05:54 Changeset [1599] by jdn
removed testoutput
05:39 Changeset [1598] by jdn
last fixes for ids, I hope
05:08 Changeset [1597] by jmaessen
Refactored libraries to move arithmetic operators from top level into the …

05/07/08:

22:46 Changeset [1596] by sukyoungryu
Added more error productions for better syntax error messages.
21:06 Changeset [1595] by sukyoungryu
Fixed a bug reported by Jon: Mutable variables should be declared with …
21:06 Changeset [1594] by sukyoungryu
Fixed a bug reported by Jon: Mutable variables should be declared with …
15:01 Changeset [1593] by dlsmith
Cleaned up redundant class path definitions in build.xml. Included …
13:09 Changeset [1592] by dlsmith
Updated plt.jar, and refactored use of Option.unwrap to follow the updated …
11:26 Changeset [1591] by EricAllen
Added tools.jar to the class path of various shell scripts.
05:18 Changeset [1590] by jdn
Added flag to disable preparser. Moved the -debug information to …
04:18 Changeset [1589] by sukyoungryu
'import APIName.f' and 'import APIName.{f}' should be equivalent.

05/06/08:

14:37 HowToParticipate edited by dr2chase
(diff)
14:36 HowToParticipate edited by dr2chase
(diff)
14:35 Changeset [1588] by jmaessen
Slightly better treatment of IEEE FP, and better treatment of MIN and MAX. …
13:35 Changeset [1587] by jon
Fallback to ant on the system path if it cannot be found in $ANT_HOME or …
13:35 Ticket #92 (Bad import crashes parser) closed by sukyoungryu
fixed: Thanks to Jon who found the cause of Ticket #92, revision 1586 fixed the …
13:33 Changeset [1586] by sukyoungryu
Thanks to Jon who found the cause of Ticket #92, fixed the parser to …
12:48 Changeset [1585] by dlsmith
Adjusted parser to support parenthesized OpArgs?. Performed the following …
11:05 Ticket #101 (path to java should be explicit in bin/fortress) created by jon
The path to the java executable should be explicit in bin/fortress so that …
10:45 WikiStart edited by dr2chase
(diff)
09:43 Changeset [1584] by dlsmith
Documented (some) use cases of Id and other names in which the relevant …
09:04 Changeset [1583] by jon
gold tag 1.0
09:02 Changeset [1582] by jon
make temp
08:36 Changeset [1581] by jmaessen
Numeric types now support ordering in the standard way. This means I can …
07:09 Ticket #100 (UIDObject.stringName called on an object of type Id returns the api ...) closed by sukyoungryu
fixed: Fixed with revision 1580.
06:52 Changeset [1580] by sukyoungryu
Fixed nameString and nameGetter in NodeUtil?.
04:41 Changeset [1579] by jdn
Fixed bugs introduced by the change in the name hierachy
02:12 Ticket #100 (UIDObject.stringName called on an object of type Id returns the api ...) created by jdn
UIDObject.stringName called on an object of type Id returns the api …

05/05/08:

20:21 Changeset [1578] by sukyoungryu
Fixed some extends and comprises clauses in SkipList?.fss.
19:57 MathSyntaxInFortress edited by dr2chase
(diff)
19:40 Changeset [1577] by sukyoungryu
Eliminated QualifiedName? and QualifiedIdName?.
19:34 MathSyntaxInFortress edited by dr2chase
(diff)
19:03 MathSyntaxInFortress edited by dr2chase
(diff)
18:53 Changeset [1576] by sukyoungryu
Replaced QualifiedIdName? for NamedType? (IdType? and InstantiatedType?) with …
15:43 Changeset [1575] by jmaessen
Modified native stuff so that it handles functional methods correctly.
14:18 Changeset [1574] by dlsmith
Added type class AnyType?. Renamed TraitType?->BaseType?, and added AnyType?
14:02 Changeset [1573] by jmaessen
Make _UP and _DOWN operators actually point to the correct primitives; …
12:57 Changeset [1572] by jmaessen
Minor tweak to IntLiteral? code.
12:21 Changeset [1571] by sukyoungryu
Replaced QualifiedIdName? for DimRef? and FixedPointType? with Id.
12:16 Changeset [1570] by EricAllen
Clean-ups for various error messaging code. Minor tweaks to fortress-mode.
12:02 Changeset [1569] by sukyoungryu
Replaced QualifiedIdName? for VarRef? with Id.
07:52 Changeset [1568] by jdn
More on templates, and a fix for nullpointer exceptions which where not …

05/04/08:

08:49 Changeset [1567] by sukyoungryu
Replaced QualifiedIdName? for FnRef? with Id.

05/03/08:

18:46 Changeset [1566] by jmaessen
Directed rounding in 100% pure Java, courtesy of Guy. There are now UP …
18:34 Changeset [1565] by jmaessen
Added juxtaposition operator that maintains case-insensitivity when both …
15:59 Changeset [1564] by skilpat
Added type checking of atomic Do blocks.
08:56 Ticket #99 (Quick Start Windows Install Instructions) closed by tytusm
fixed
08:54 FortressStartHere edited by tytusm
Change per Ticket #99 (diff)
08:53 Ticket #99 (Quick Start Windows Install Instructions) created by tytusm
The Windows installation instructions in the Wiki "Quick start guide" say …

05/02/08:

17:07 Changeset [1563] by dr2chase
Added hashcode-sensitive suffix to cached files
12:44 Changeset [1562] by dlsmith
Restored (and fixed) support for non-type StaticArgs? to …
12:39 Changeset [1561] by chf
More data files for wordcount demo
12:28 Changeset [1560] by chf
Use absolute pathnames in word count demos
11:14 Changeset [1559] by dlsmith
Fix that was missing from previous commit (it got lost during conflict …
11:04 MathSyntaxInFortress created by dr2chase
10:31 Ticket #98 (Unsigned types) created by sra
I am wondering when unsigned types NN8 & NN32 will be supported. I also …
10:01 Changeset [1558] by dlsmith
Refactored AST: StaticArg? is no longer a subtype of Type
09:58 Changeset [1557] by dlsmith
Modified javac invocations in Ant script to fork and use more memory. …
09:05 Changeset [1556] by chf
Rename tests wordcount file to word around cache problem
08:57 Ticket #97 (Consistent heap overflows during parsing on some configurations) created by jmaessen
I just upgraded to Apple's 64-bit Java 1.6 on OS X. I can consistently …
08:13 Changeset [1555] by chf
Updating J1 demo files
08:10 TransactionsInFortress created by dr2chase

05/01/08:

20:24 ImplicitParallelismInFortress created by dr2chase
20:11 Changeset [1554] by sukyoungryu
Replacing QualifiedIdName? with Id (in progress).
20:05 WikiStart edited by dr2chase
(diff)
19:26 Changeset [1553] by sukyoungryu
Replacing QualifiedIdName? with Id (in progress).
17:10 Changeset [1552] by sukyoungryu
Replacing QualifiedIdName? with Id (in progress).
16:53 Changeset [1551] by jmaessen
Missing parens in type instantiation after last checkin.
15:40 Changeset [1550] by skilpat
Completed type checking of Label and Exit; also added Atomic and Spawn. …
13:14 Changeset [1549] by skilpat
Added label handling to disambiguator. Exits with implicit targets are …
13:13 Changeset [1548] by jmaessen
Preliminary version of case insensitive string comparison, plus a wrapper …
12:35 Changeset [1547] by sukyoungryu
Eliminated QualifiedOpName?.
10:32 Changeset [1546] by sukyoungryu
Towards the refactoring of the Name hierarchy (in progress)
08:40 Changeset [1545] by dlsmith
Removed claimed junit dependency from README.

04/30/08:

14:44 Ticket #96 (String out-of-range error throws Java exception) closed by jmaessen
fixed
14:43 Changeset [1544] by jmaessen
Fix #96
12:47 Ticket #96 (String out-of-range error throws Java exception) created by bstreiff
The following testcase: […] outputs a rather verbose Java stack trace, …
12:31 Changeset [1543] by skilpat
Added type checking for Label and Exit expressions, with some tests.
10:11 Changeset [1542] by jmaessen
Fixed bug in Set that was causing sudoku to fail.
07:40 Changeset [1541] by jmaessen
Generalized while expressions.

04/29/08:

15:07 Changeset [1540] by jmaessen
Modified Map, Set, and Heap to use a consistent api for …
13:52 Changeset [1539] by skilpat
Moved some utility functions for type checking to TypesUtil?. Introduced a …
11:07 Changeset [1538] by sukyoungryu
Allows explicit static arguments to aggregate expressions.

04/28/08:

13:50 Ticket #95 (fortify issues with big operators) created by bstreiff
Given the following testcase: […] Fortify renders these as follows: …
13:42 Changeset [1537] by chf
embiggen demo
13:34 Changeset [1536] by jmaessen
It was too hard to define BIG operators, as Christine's work for JavaOne …
13:07 Changeset [1535] by jmaessen
Give an idea of how the embiggen function can be used to embiggen an …
13:00 Changeset [1534] by jmaessen
Editor slip-up added back gratuitous " =" to declaration. Sorry.
11:57 Changeset [1533] by chf
first cut at j1 demo
11:07 Changeset [1532] by jmaessen
Documentation changes and privacy marking in extant List libraries. …

04/27/08:

14:58 Changeset [1531] by jmaessen
Fixes bug in type inference reported by Sorin Miklós Zsejki that was …

04/26/08:

19:18 Ticket #94 (error with comprehensions and left enclosers) closed by sukyoungryu
fixed: Revision 1530 fixes spilling Java stack traces in the toString() method of …
19:17 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) closed by sukyoungryu
fixed: Revision 1530 fixes spilling Java stack traces in the toString() method of …
19:15 Changeset [1530] by sukyoungryu
Do not spill Java stack traces in the toString() method of …
16:18 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) reopened by sukyoungryu

04/25/08:

18:24 Changeset [1529] by sukyoungryu
** is not a valid Fortress operator any more.
14:08 Ticket #94 (error with comprehensions and left enclosers) created by EricAllen
The following program: component tst export Executable f(xs: …
14:08 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) closed by sukyoungryu
fixed: Multiple colons are not valid operators in Fortress. Revision 1528 fixed …
14:08 Changeset [1528] by sukyoungryu
Multiple colons are not valid operators in Fortress. Closed the ticket …
13:41 Ticket #93 (index out of bounds exception when attempting to use :: as an operator) created by EricAllen
The following program results in a …
11:44 Changeset [1527] by sukyoungryu
Actually remove transient fields from the constructed objects.
11:12 Ticket #92 (Bad import crashes parser) created by dansmith
Program text: […] Attempting to run this leads to the following error: …
10:07 Ticket #89 (Varargs not supported for object constructors) closed by sukyoungryu
fixed: The spec is not correct about varargs parameters of object constructors. …
10:04 Changeset [1526] by sukyoungryu
Implemented the transident modifier.

04/24/08:

22:03 Changeset [1525] by sukyoungryu
Renamed OperatorParam?, SimpleTypeParam?, and Dimensionparam to OprParam?, …
12:37 Changeset [1524] by dlsmith
Implemented a hidden-variable-expansion limit in TypeAnalyzer?.
11:57 Changeset [1523] by dlsmith
Added Disambiguator code to handle static arguments. Currently commented …

04/23/08:

15:35 FortressQuestions edited by jmaessen
(diff)
13:24 Changeset [1522] by sukyoungryu
Eliminated IdArg?.
13:01 FortressQuestions edited by sylvan
(diff)
09:32 CompilerDesignNotes edited by dr2chase
(diff)
07:23 Changeset [1521] by jdn
Fix small escape bug, and implemented template constants
07:05 Ticket #86 (Add pointwise definition of = on lists) closed by jmaessen
worksforme

04/22/08:

15:42 Changeset [1520] by skilpat
Implemented basic function application for type checker.
14:29 Changeset [1519] by skilpat
Fixed bug for reserved words in Emacs Fortress mode script.
14:26 Changeset [1518] by skilpat
Added ArgType? subtype checking. Started implementing changes to operators …
12:29 InterpreterGuide edited by dr2chase
(diff)

04/21/08:

19:14 Changeset [1517] by jmaessen
Some cleanups to Library/Map.fss, fixing a bug in error reporting in …
13:01 Ticket #91 (fortify is overzealous in syntax-highlighting comments) created by bstreiff
Fortify is overzealous in its syntax highlighting; it highlights, among …
08:19 Ticket #90 (Argument fixups are done in two different ways) created by jmaessen
We solve two related problems---passing of a single void versus 0 …
08:18 Ticket #84 (Map aggregates with one domain element don't work) closed by jmaessen
fixed: Fixed in r1516. I observe that we solve two related problems---passing of …
08:16 Changeset [1516] by jmaessen
Hack fix for function application when the function takes a varargs and …

04/20/08:

23:23 Ticket #89 (Varargs not supported for object constructors) created by mark
According to the spec, the following syntax should be legal: `component …
20:10 Ticket #88 (fortify assumes comments are valid LaTeX) created by bstreiff
Given the following source code: […] Running fortify on the above …
19:48 Changeset [1515] by sukyoungryu
Fixed interpreting a single application of a chained operator.
17:15 Changeset [1514] by sukyoungryu
Fixed a parser error message: incomparable operator precedence.
16:01 Changeset [1513] by sukyoungryu
Fixed the parser error: For abstract function declarations (not supported …
09:36 Ticket #87 (Fortify breaks for double subscripts) created by EricAllen
Feeding Fortify an expression such as f_v[i] results in an …
Note: See TracTimeline for information about the timeline view.