Timeline
10/23/09:
- 18:11 Changeset [4285] by
- [Constraint Formulas] Made scala constraints normalize types. Decoupled …
- 14:53 Changeset [4284] by
- Further bug fixes for tables and for verbatim blocks
- 14:41 PreviousAnnouncements edited by
- (diff)
- 14:40 Changeset [4283] by
- [codegen] Refactored forwarding method generation into …
- 14:40 WikiStart edited by
- (diff)
- 14:38 WikiStart edited by
- (diff)
- 14:32 FortressCommentSyntax edited by
- (diff)
- 14:09 FortressCommentSyntax edited by
- (diff)
- 14:06 FortressCommentSyntax edited by
- (diff)
- 14:06 Blog: Friday, October 28, 2009: Tables in Comments edited by
- 14:05 Blog: Friday, October 28, 2009: Tables in Comments edited by
- 14:04 Blog: Tables in Comments created by
- 13:35 BuffonsNeedle edited by
- (diff)
- 13:29 FortressCommentSyntax edited by
- (diff)
- 12:02 FortressCommentSyntax edited by
- (diff)
- 11:42 FortressCommentSyntax edited by
- (diff)
- 11:37 FortressCommentSyntax edited by
- (diff)
- 11:21 FortressCommentSyntax edited by
- (diff)
- 11:06 FortressCommentSyntax edited by
- (diff)
- 10:53 Changeset [4282] by
- Fortify tool with latest bug fixes to tables and images
- 09:57 WikiStart edited by
- (diff)
- 09:56 PreviousAnnouncements edited by
- (diff)
- 09:53 WikiStart edited by
- (diff)
- 09:51 PreviousAnnouncements created by
- 09:47 WikiStart edited by
- Update Announcements section to show dates (diff)
- 09:25 Blog: About the Fortress blog created by
- 06:35 Changeset [4281] by
- [type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only …
10/22/09:
- 23:51 Changeset [4280] by
- [AST] Made the throws clause allow types that are not base types.
- 23:20 Changeset [4279] by
- [self type idiom] Implemented checking of whether a type mentioned in a …
- 21:39 Changeset [4278] by
- [TypeAnalyzer?] cleaned up reduce product
- 20:03 Changeset [4277] by
- [self type idiom] A trait with a comprises ... should not be extended. …
- 11:24 Changeset [4276] by
- [Type Analyzer] Fixed an infinite loop due to forgetting to return True …
10/21/09:
- 17:30 Changeset [4275] by
- [self type idiom] Implemented the new self-type idiom proposal.
- 17:09 Changeset [4274] by
- [type checker] Fixed bug that prevented expected types from propagating in …
10/20/09:
- 16:02 Changeset [4273] by
- [library, tests] Added simple Treap library that is non-parametric in the …
- 08:20 Changeset [4272] by
- [library] Added randomness (courtesy the jsr166y ThreadLocalRandom?) to …
- 04:26 Changeset [4271] by
- [spec] Added copyright notices to the spec LaTeX files.
10/19/09:
- 20:49 Changeset [4270] by
- [TypeAnalyzer?] Added code to tell when two types cover the same tags.
- 20:35 Changeset [4269] by
- [spec] Added chapter headings.
- 20:00 Changeset [4268] by
- [spec] Added the master file, preamble, and some macros.
- 11:47 Changeset [4267] by
- [Type Analyzer] Fixed the way that union and intersections interact with …
- 10:28 Changeset [4266] by
- [spec] Added scripts to generate some helper LaTeX files.
10/18/09:
- 07:10 Changeset [4265] by
- [copyright] Fixed a copyright notice.
10/17/09:
- 20:38 Changeset [4264] by
- [fortify] Commented out the old FortressDoc? again.
10/16/09:
- 13:39 Changeset [4263] by
- Fortify support for tables and images
- 12:28 Changeset [4262] by
- Minor fix required to at least compile (incorrectly) Compiled11
- 07:05 Changeset [4261] by
- [index builder] Fixed handling the new self type in IndexBuilder?.
- 03:59 Changeset [4260] by
- [interpreter] Hacked handling of intersection types and union types in the …
10/15/09:
- 22:35 Changeset [4259] by
- [self-type idiom] Implemented the new self type. Rewrote …
- 16:56 Changeset [4258] by
- [Type analyzer] Fixed a bug in normalization.
- 12:11 Changeset [4257] by
- [library] Made some methods abstract, mostly generator-y stuff in …
- 12:08 Changeset [4256] by
- [testing] Remove any file (like, say, Compiled10) from here if we actually …
- 11:49 Changeset [4255] by
- [testing] Fixed the bug in Compiled10 so that it now works! Added some …
- 10:22 Changeset [4254] by
- [testing] eliminate printlnZZ32 in favor of overloaded println. This …
10/14/09:
- 19:56 Changeset [4253] by
- Turned off noisy code generation for function expansion flag
- 19:30 Changeset [4252] by
- Generic function instantiation working; chain-equality not working
- 11:27 Changeset [4251] by
- [Type Analyzer] Turned on the new type analyzer.
10/13/09:
- 13:04 Changeset [4250] by
- [testing] Pruned redundant tests, renamed abstract dotted method tests for …
- 12:55 Changeset [4249] by
- [testing] Moved thorough tests of abstract dotted methods into mainline of …
- 11:57 Changeset [4248] by
- [codegen] Abstract dotted methods in trait declarations, first cut.
- 11:05 Changeset [4247] by
- Generics now instantiate with Java type names, not Fortress type names
- 08:02 Changeset [4246] by
- [codegen] Refactoring of FnDecl? code generation, preparing support for …
10/11/09:
- 19:44 Changeset [4245] by
- [Type analyzer] Updated the type lattice to normalize using …
10/10/09:
- 20:00 Changeset [4244] by
- Changed to single-level mangling; slightly rationalized naming of internal …
- 06:17 Changeset [4243] by
- Test commit to see if we can write to the new repository location
10/09/09:
- 13:55 TOC edited by
- (diff)
- 13:26 TracUnicode edited by
- (diff)
- 13:26 TracAccessibility edited by
- (diff)
- 13:26 WikiFormatting edited by
- (diff)
- 13:26 TracAdmin edited by
- (diff)
- 13:26 TracInstall edited by
- (diff)
- 13:26 TracQuery edited by
- (diff)
- 13:26 TracRss edited by
- (diff)
- 13:26 TracSearch edited by
- (diff)
- 13:26 WikiPageNames edited by
- (diff)
- 13:26 TracSupport edited by
- (diff)
- 13:26 TracTickets edited by
- (diff)
- 13:26 TracPermissions edited by
- (diff)
- 13:26 WikiNewPage edited by
- (diff)
- 13:26 TracTicketsCustomFields edited by
- (diff)
- 13:26 TracWiki edited by
- (diff)
- 13:26 TracInterfaceCustomization edited by
- (diff)
- 13:26 TracIni edited by
- (diff)
- 13:26 TracBrowser edited by
- (diff)
- 13:26 WikiDeletePage edited by
- (diff)
- 13:26 WikiMacros edited by
- (diff)
- 13:26 TracUpgrade edited by
- (diff)
- 13:26 TracImport edited by
- (diff)
- 13:26 WikiRestructuredText edited by
- (diff)
- 13:26 TracFineGrainedPermissions created by
- 13:26 TracCgi edited by
- (diff)
- 13:26 TracNotification edited by
- (diff)
- 13:26 CamelCase edited by
- (diff)
- 13:26 TitleIndex edited by
- (diff)
- 13:26 InterTrac edited by
- (diff)
- 13:26 TracBackup edited by
- (diff)
- 13:26 TracReports edited by
- (diff)
- 13:26 TracLogging edited by
- (diff)
- 13:26 WikiRestructuredTextLinks edited by
- (diff)
- 13:26 WikiProcessors edited by
- (diff)
- 13:26 TracWorkflow created by
- 13:26 WikiHtml edited by
- (diff)
- 13:26 TracSyntaxColoring edited by
- (diff)
- 13:26 TracFastCgi edited by
- (diff)
- 13:26 RecentChanges edited by
- (diff)
- 13:26 TracTimeline edited by
- (diff)
- 13:26 TracRoadmap edited by
- (diff)
- 13:26 TracPlugins edited by
- (diff)
- 13:26 TracStandalone edited by
- (diff)
- 13:26 TracNavigation created by
- 13:26 TracGuide edited by
- (diff)
- 13:26 TracLinks edited by
- (diff)
- 13:26 InterWiki edited by
- (diff)
- 13:26 TracChangeset edited by
- (diff)
- 13:26 TracRevisionLog edited by
- (diff)
- 13:26 TracModPython edited by
- (diff)
- 13:26 PageTemplates created by
- 13:26 TracModWSGI created by
- 13:26 TracEnvironment edited by
- (diff)
- 10:29 Changeset [4242] by
- [copyright] Fixed copyright notices.
10/07/09:
- 20:17 Changeset [4241] by
- [coercions] More accurate overloadings for coercion invocation FnRefs.
- 15:25 Changeset [4240] by
- Added abstract method tests.
- 15:02 Changeset [4239] by
- Added overriding tests.
- 14:02 Changeset [4238] by
- [compiler] Put new ChainExpr? desugaring in place. Needed some minor …
- 12:16 Changeset [4237] by
- [fortify] Simplified the FortressDoc? macro. Fixed the FortressLibrary API …
- 10:26 Changeset [4236] by
- Tweaked encoding of closures and generics
- 09:53 Changeset [4235] by
- [Type Checker] New type analyzer (Not turned on yet). A test framework for …
- 09:11 Changeset [4234] by
- [codegen, library] Consolidated all generator-related mockups into …
- 08:28 Changeset [4233] by
- New mangling methods and tests
10/06/09:
- 12:25 Changeset [4232] by
- Updated external contributors spreadsheet through today
- 11:59 Ticket #360 (Singleton cannot be both exported and used in the defining component) created by
- See …
- 11:53 Changeset [4231] by
- [testing] Test that exhibits a bug in naming that causes type checking to …
- 11:18 Changeset [4230] by
- Make JAVA_FLAGS consistent with fortress command.
10/05/09:
- 18:23 CompilerTests edited by
- (diff)
- 13:38 Changeset [4229] by
- [codegen] Parallel evaluation of tuple expressions in binding position …
- 12:17 Changeset [4228] by
- Additional cleanup (mostly making methods private, deprecating suspect …
- 12:11 Changeset [4227] by
- [codegen] multiple value definitions in code---but only if the rhs is a …
- 12:03 Changeset [4226] by
- [fortify] Removed a redundant file: Fortify/fortify-macros.tex
- 10:48 StaticChecks edited by
- (diff)
- 10:46 Ticket #187 (Implement type checking) closed by
- fixed
- 10:45 Changeset [4225] by
- [type checker] Implemented type checking of contracts and fixed type …
- 08:43 Changeset [4224] by
- Minor tweaks cleaning up after debug session.
- 08:26 Changeset [4223] by
- [Compiled9] Compiled9 is done.
- 08:07 Changeset [4222] by
- Another missing file
- 08:03 Changeset [4221] by
- [coercions] Fixed coercion desugarer to include return types on FnExprs …
- 08:00 Changeset [4220] by
- Missing class from last commit
- 07:42 Changeset [4219] by
- [type checker] Overloadings are no longer dynamically applicable if they …
- 07:41 Changeset [4218] by
- Some steps towards Compiled10, but also some cleanups in anticipation of …
10/04/09:
- 17:00 Changeset [4217] by
- [type checker] Fixed type checking of applications involving a method with …
10/03/09:
- 18:54 CompilerTests edited by
- (diff)
- 18:53 StaticTests edited by
- (diff)
- 18:52 TypeCheckerProgress edited by
- (diff)
- 18:46 Changeset [4216] by
- [type checker] Implemented type checking of array expressions. Tested by …
10/02/09:
- 13:32 Changeset [4215] by
- [type checker] Fixed error message issue preventing CaseExpr from being …
- 09:18 TypeCheckerProgress edited by
- (diff)
- 09:17 StaticTests edited by
- (diff)
- 09:17 CompilerTests edited by
- (diff)
- 08:50 Changeset [4214] by
- [type checker] Implemented type checking of case expressions. It should …
- 07:24 Eclipse edited by
- (diff)
- 06:32 Changeset [4213] by
- [Compiled9] Removed tuples from Compiled9.fss. Renamed Compiled9.fss to …
- 06:18 Changeset [4212] by
- [Compiled9] Made the Compiled9.CompiledCoercions? test actually run the …
- 05:39 Ticket #359 (fortify has problems with \KWDVAR) created by
- I copied fortify.sty to my working directory then compiled the …
10/01/09:
- 19:26 Changeset [4211] by
- [coercions] Added lifting of coercion declarations and definitions!! (Look …
09/30/09:
- 17:12 Changeset [4210] by
- [coercions] Fixed coercion invocation functions. Canonicalized lifted …
- 14:17 Changeset [4209] by
- Added overriding tests.
- 11:49 Changeset [4208] by
- [tests] Tweaked Compiled11 to be type correct, made sure type checker is …
- 10:03 TicTacToe edited by
- (diff)
09/29/09:
- 13:02 Changeset [4207] by
- [rts] Tweak thread thresholds, fix join/helpJoin distinction based on more …
- 12:18 FortressCommentSyntax edited by
- (diff)
- 12:16 FortressCommentSyntax edited by
- (diff)
- 12:14 FortressCommentSyntax edited by
- (diff)
- 12:13 FortressCommentSyntax edited by
- (diff)
- 12:07 FortressCommentSyntax edited by
- (diff)
- 11:51 FortressCommentSyntax edited by
- (diff)
- 10:29 ViscoElastic edited by
- (diff)
09/28/09:
- 14:35 Changeset [4206] by
- Added simple overriding test.
- 12:20 ComprehendingComprehensions edited by
- (diff)
- 12:18 ComprehendingComprehensions edited by
- (diff)
09/25/09:
- 14:38 Changeset [4205] by
- [codegen] Complete rewrite of top-level binding handling. Previously top …
- 12:31 Ticket #358 (There is no ticket component for compiler / codegen) closed by
- fixed
09/24/09:
- 21:45 TypeCheckerProgress edited by
- (diff)
- 21:45 CompilerTests edited by
- (diff)
- 21:45 StaticTests edited by
- (diff)
- 21:39 Changeset [4204] by
- [type checker] Implemented type checking of 'try' and 'throw'. Added …
- 11:05 Changeset [4203] by
- [codegen, rts] Fixes to top-level bindings to handle parallelism found …
- 06:34 Changeset [4202] by
- [library] Added exception traits to the compiler library.
09/23/09:
- 18:20 Changeset [4201] by
- [coercions] Added CoercionLifter to move coercion declarations to …
- 14:05 Changeset [4200] by
- Added some inheritance tests.
- 11:29 Changeset [4199] by
- [library] Fixed error in seqloop (it was calling parloop instead of …
- 09:18 TypeCheckerProgress edited by
- (diff)
- 09:15 CompilerTests edited by
- (diff)
- 09:08 Changeset [4198] by
- [static checker] Fixed static checks for comprises clauses with generic …
- 08:54 Changeset [4197] by
- Added more tests for fields and field accesses.
Note: See TracTimeline
for information about the timeline view.
