root/trunk/ProjectFortress/demos


Mode:

Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @2797 [2797] 09/07/08 08:36:02 steve.heller used Map for expected results
(edit) @2796 [2796] 09/06/08 03:41:09 steve.heller use indexValuePair generation
(edit) @2794 [2794] 09/05/08 11:42:27 chf Don't let orphaned transactions return values, various cleanups, dial back …
(edit) @2793 [2793] 09/05/08 11:10:46 steve.heller language experimentation
(edit) @2783 [2783] 08/31/08 09:58:26 steve.heller comments and Fortresification
(edit) @2770 [2770] 08/28/08 14:37:32 steve.heller more comments and cleanup --- gotta stop this
(edit) @2769 [2769] 08/28/08 13:54:41 steve.heller commenting and more Fortressification
(edit) @2766 [2766] 08/28/08 12:25:38 dr2chase Minor optimizations to overload cache, and comparator for many BASets
(edit) @2762 [2762] 08/28/08 02:41:59 steve.heller Inlined notes about my language experience ... also cleanup
(edit) @2758 [2758] 08/27/08 18:08:27 steve.heller code cleanup: used more Fortress idioms (thanks Guy)
(edit) @2747 [2747] 08/26/08 13:23:46 steve.heller code cleanup
(edit) @2704 [2704] 08/20/08 13:30:20 steve.heller code cleanup
(edit) @2679 [2679] 08/18/08 14:12:43 steve.heller add Turners Paraffins to demos
(edit) @2663 [2663] 08/17/08 05:08:22 sukyoungryu [demos] Fixed shadowing bugs in demos/lutx.fss.
(edit) @2638 [2638] 08/14/08 14:22:58 sukyoungryu [demos] Fixed a demo program according to the new String hierarchy.
(edit) @2634 [2634] 08/14/08 08:03:34 jmaessen Added strToInt (convert String to ZZ32) to FortressLibrary?.fss. …
(edit) @2617 [2617] 08/13/08 05:31:09 sukyoungryu [demos] Fixed variable shadowing.
(edit) @2615 [2615] 08/13/08 05:17:34 jmaessen Fixed variable shadowing.
(edit) @2324 [2324] 07/22/08 03:41:57 sukyoungryu [demos] Fixed name conflicts with the new library functions.
(edit) @2311 [2311] 07/18/08 19:03:11 sukyoungryu [demo] Minor fixes.
(edit) @2271 [2271] 07/15/08 12:57:54 jmaessen Fixed demos to use the grand new typing regime for ZZ32.
(edit) @2167 [2167] 07/03/08 07:43:27 nbeckman [demos] All four of these files has disambiguation errors.
(edit) @2166 [2166] 07/03/08 03:38:23 sukyoungryu [copyright] Fixed copyright notices.
(edit) @2164 [2164] 07/02/08 12:56:22 jmaessen [Libraries] Changed Integral to be a parametric type Integral[\I\]. …
(edit) @2155 [2155] 07/01/08 09:24:04 jmaessen Fixed bug / oversight in bounds checking and narrowing of partial ranges …
(edit) @2041 [2041] 06/20/08 18:56:20 sukyoungryu [tests] 1. Fixed unparenthesized equality testing expressions. 2. Fixed …
(edit) @1969 [1969] 06/17/08 13:07:00 sukyoungryu [tests] Added a control flow analyzer for core Fortress programs in the …
(edit) @1827 [1827] 06/07/08 06:14:11 jmaessen Fixed generator (the fix only got partially migrated)
(edit) @1825 [1825] 06/06/08 17:43:51 jmaessen New comprehension/reduction desugaring (part I). Big operators now take …
(edit) @1786 [1786] 06/03/08 14:27:35 jmaessen New Reduction type hierarchy, in preparation for the new comprehension …
(edit) @1778 [1778] 06/03/08 10:07:13 jmaessen Minor fixes to demos.
(edit) @1775 [1775] 06/03/08 08:32:07 jmaessen Fix for #125, and uses of // operator where appropriate (and appropriately …
(edit) @1771 [1771] 06/02/08 19:54:15 jmaessen Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||, BIG …
(edit) @1712 [1712] 05/25/08 17:41:55 dr2chase Getting rid of some dead classes identified in the bootcamp
(edit) @1700 [1700] 05/21/08 18:14:26 jmaessen Fixed embarassing errors in result types of some methods.
(edit) @1693 [1693] 05/21/08 08:43:36 dr2chase Made build-and-test immune to incorrectly set FORTRESS_HOME
(edit) @1659 [1659] 05/15/08 16:26:34 jmaessen Bug fixes and performance improvements. Make sure we …
(edit) @1638 [1638] 05/13/08 13:47:49 jmaessen Mostly performance tweaking, but includes a speculative fix …
(edit) @1597 [1597] 05/08/08 05:08:19 jmaessen Refactored libraries to move arithmetic operators from top level into the …
(edit) @1588 [1588] 05/06/08 14:35:26 jmaessen Slightly better treatment of IEEE FP, and better treatment of MIN and MAX. …
(edit) @1561 [1561] 05/02/08 12:39:02 chf More data files for wordcount demo
(edit) @1560 [1560] 05/02/08 12:28:59 chf Use absolute pathnames in word count demos
(edit) @1555 [1555] 05/02/08 08:13:49 chf Updating J1 demo files
(edit) @1542 [1542] 04/30/08 10:11:52 jmaessen Fixed bug in Set that was causing sudoku to fail.
(edit) @1540 [1540] 04/29/08 15:07:07 jmaessen Modified Map, Set, and Heap to use a consistent api …
(edit) @1537 [1537] 04/28/08 13:42:40 chf embiggen demo
(edit) @1535 [1535] 04/28/08 13:07:20 jmaessen Give an idea of how the embiggen function can be used to embiggen an …
(edit) @1533 [1533] 04/28/08 11:57:46 chf first cut at j1 demo
(edit) @1506 [1506] 04/16/08 14:14:29 jmaessen Foolishly failed to change *all* occurrences of BufferedWriter?
(edit) @1502 [1502] 04/16/08 07:21:17 jmaessen New numerics story required inserting an "asif" in one place.
(edit) @1496 [1496] 04/11/08 14:01:22 jmaessen Re-nativized Char, and ripped out all mention of FTypeChar. Changed the …
(edit) @1493 [1493] 04/10/08 20:07:16 jmaessen Eliminated BufferedWriter? and replaced with FileReadStream? in the …
(edit) @1489 [1489] 04/10/08 10:00:00 jmaessen Chunked sparse array implementation that maintains a bitmap of explicitly …
(edit) @1488 [1488] 04/09/08 13:10:37 jmaessen Quick half-hour hack based on "Computing Science" column in …
(edit) @1487 [1487] 04/09/08 06:51:20 sukyoungryu Use the new generalized if expressions even more!
(edit) @1482 [1482] 04/08/08 14:18:14 jmaessen Fixed a couple of mis-translations
(edit) @1481 [1481] 04/08/08 14:00:04 jmaessen Binding maybe values in if. This touched far more files than I …
(edit) @1476 [1476] 04/07/08 14:53:38 jmaessen Nativized String. TODO: Remove FTypeString and its ken.
(edit) @1474 [1474] 04/07/08 11:37:32 jmaessen Some code cleanups in SkipList? (occasioned by mention of the code …
(edit) @1471 [1471] 04/07/08 04:47:30 sukyoungryu Fixed copyright notices.
(edit) @1467 [1467] 04/05/08 17:48:11 sukyoungryu Implemented the generalized if expression proposal: if generators …
(edit) @1463 [1463] 04/04/08 08:35:09 jmaessen Depracate size() in favor of |self|, which is much more elegant on …
(edit) @1419 [1419] 03/27/08 09:43:32 sukyoungryu Replaced the settable modifier with var.
(edit) @1418 [1418] 03/27/08 08:14:41 chf Fixed a copyright notice
(edit) @1417 [1417] 03/27/08 04:22:15 sukyoungryu Fixed broken demo tests by providing more type information.
(edit) @1402 [1402] 03/25/08 04:53:01 sukyoungryu Fixed copyright notices.
(edit) @1400 [1400] 03/24/08 16:06:10 jmaessen Renamed ArrayList? to List.
(edit) @1374 [1374] 03/14/08 10:20:26 jmaessen Fixed sequential generator code for Set and Map (we recursed to the wrong …
(edit) @1369 [1369] 03/13/08 10:59:27 jmaessen Fixed references to generic singleton Concat[\...\].
(edit) @1351 [1351] 03/07/08 15:52:53 jmaessen Make Nothing[\T\] into a generic singleton.
(edit) @1350 [1350] 03/07/08 14:39:50 jmaessen List aggregates and comprehensions, Set partial ordering, Equality on both …
(edit) @1249 [1249] 02/01/08 15:59:31 jmaessen Made several demos pass static checking. Only tennisRanking remains, see …
(edit) @1239 [1239] 01/31/08 14:31:35 jmaessen Tons of random changes to library, including final depracation …
(edit) @1232 [1232] 01/30/08 12:17:39 jmaessen asif now works. Lots of code cleanup to the function application code, …
(edit) @1216 [1216] 01/28/08 05:48:23 jmaessen Added some timing code, to show just how slow this stuff runs in …
(edit) @1211 [1211] 01/26/08 06:25:08 jmaessen Eliminated race condition, and better compartmentalized updates to cands …
(edit) @1206 [1206] 01/25/08 11:48:22 jmaessen Commented-out fix for bug #62, along with test case. Does not …
(edit) @1204 [1204] 01/25/08 07:22:26 jmaessen Reasonably efficient aStar implementation. Solves one square at a time …
(edit) @1200 [1200] 01/24/08 14:27:48 jmaessen Some A* changes, plus a bug fix (bad type information given) in …
(edit) @1197 [1197] 01/24/08 07:56:26 jmaessen Version with some more fixes. This hopefully ought to work, and is less …
(edit) @1194 [1194] 01/23/08 19:59:24 jmaessen Fix some bugs and plumb some types.
(edit) @1193 [1193] 01/23/08 19:29:23 jmaessen A* search example (half-baked and deliberately inefficient to shake down …
(edit) @1183 [1183] 01/22/08 14:19:24 jmaessen List and Set comprehensions. Caveat emptor: comprehensions whose result …
(edit) @1168 [1168] 01/17/08 07:53:38 chf Updated Copyright Notices
(edit) @1152 [1152] 01/07/08 11:33:40 chf Small hack to work around a bug for now
(edit) @1149 [1149] 01/05/08 09:13:21 dr2chase Intepreter now runs from caching fortress repository; file names and …
(edit) @1121 [1121] 12/18/07 13:23:01 jmaessen Replace a lot of uses of .generate by an appopriate reduction. This does …
(edit) @1113 [1113] 12/15/07 19:19:30 sukyoungryu Fixed a bug handling QualifiedName? in import statements.
(edit) @1112 [1112] 12/15/07 14:09:21 sukyoungryu Implemented the new import-statement syntax.
(edit) @1095 [1095] 12/13/07 05:19:37 jmaessen Fiddled with reductions (particularly Sum reduction) in effort to …
(edit) @1066 [1066] 12/06/07 07:49:03 jmaessen Equality, partial ordering, and total ordering. Right now things are …
(edit) @1009 [1009] 11/13/07 05:19:03 jmaessen Accidentally deleted one line of code too many! Fixed.
(edit) @1008 [1008] 11/12/07 13:45:43 jmaessen I've done what every functional programmer does when handed a …
(edit) @1007 [1007] 11/12/07 11:11:26 jmaessen Fixed bug in generating sequential tuple ranges (#43). Added parsing and …
(edit) @1001 [1001] 11/09/07 12:27:29 jmaessen Minor fixups, primarily to use chaining or shortcutting where it makes the …
(edit) @992 [992] 11/08/07 14:17:47 dr2chase Fixed an overloading 'misunderstanding'; opr= is now a functional method
(edit) @955 [955] 11/04/07 05:32:43 jmaessen Fixed parallelism bug in a way that tries to maximize …
(edit) @947 [947] 11/01/07 18:00:03 jmaessen Heaps (priority queues). Right now we just have pairing heaps. There may …
(edit) @923 [923] 10/26/07 13:56:36 jmaessen Fully-working version of File library (cleaned up the imports and made the …
(edit) @916 [916] 10/24/07 10:23:09 jmaessen Minor bug fixes in libraries, plus a workaround to import problem (simply …
Note: See TracRevisionLog for help on using the revision log.