root/trunk/ProjectFortress/demos

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @3806 [3806] 6 months dr2chase Looking into issues of factorial-of-zz64 raised at hands-on-lab; new demo …
(edit) @3731 [3731] 7 months jmaessen [demos] log-time fib function using integer arithmetic, just to prove …
(edit) @3664 [3664] 7 months jmaessen [tests] fixed oversight on getEnvironment->getProperty for these tests.
(edit) @3663 [3663] 7 months jmaessen [demos] Fixed demos to look for data files based on fortress.autohome …
(edit) @3647 [3647] 7 months sukyoungryu [copyright] Fixed copyright notices.
(edit) @3645 [3645] 7 months jmaessen [libraries, demos] Replace emptyList[\T\]() by <|[\T\] |> throughout, …
(edit) @3642 [3642] 7 months jmaessen [demos] Replaced calls to emptyList[\T\]() by <|[\T\] |> in Words.fss.
(edit) @3641 [3641] 7 months sukyoungryu [demos] Revised Guy's demos/Words.fss to work with the current Fortress …
(edit) @3638 [3638] 7 months sukyoungryu [static checker] Implemented the exclusion relationships for type …
(edit) @3637 [3637] 7 months emoken two programs translated from a Fortran program.
(edit) @3636 [3636] 8 months gls New demo Words.fss
(edit) @3621 [3621] 8 months jmaessen [demos] Numerical integration code based on the code provided by Doug Lea. …
(edit) @3550 [3550] 9 months sukyoungryu [copyright] Fixed the copyright notices.
(edit) @3546 [3546] 9 months jmaessen Changed Executable api to have no arguments; program arguments are now …
(edit) @3496 [3496] 9 months sukyoungryu [Compiled1] Systematic bytecode generation of simple types
(edit) @3492 [3492] 9 months sukyoungryu [parser] Generalized the operators for maps: from curly braces to any …
(edit) @3437 [3437] 9 months sukyoungryu [copyright] Fixed the copyright checker to ignore some files.
(edit) @3434 [3434] 9 months sukyoungryu [demos] Deleted the redundant definition of the 'even' method.
(edit) @3237 [3237] 11 months jmaessen [libraries, tests] Replace toString by asString throughout.
(edit) @3234 [3234] 11 months steve.heller paraffins: comments cleanup
(edit) @3233 [3233] 11 months steve.heller paraffins: moved dome def to the top level working around tickets 46 & 317 …
(edit) @3229 [3229] 11 months jmaessen [demos, error printing] More error printing fixes, fixes to Paraffins …
(edit) @3228 [3228] 11 months jmaessen [library, demos, error reporting] Fixed library and demos to hopefully …
(edit) @3201 [3201] 12 months emoken Implementation of generators-of-generators excluding codes to desugar …
(edit) @3196 [3196] 12 months black The new world of printing
(edit) @3049 [3049] 13 months black more toString -> asString changes
(edit) @3036 [3036] 13 months black Started cleaning the string code. Started renaming toString to asString …
(edit) @3009 [3009] 13 months steve.heller trips: more isqrt fun
(edit) @2998 [2998] 13 months steve.heller trips: tweak
(edit) @2988 [2988] 13 months steve.heller trips: bagged intOrNothing in favor of perfectSqrt ... gotta stop this
(edit) @2986 [2986] 13 months steve.heller trips: bagged intOrNothing in favor of ISQRTorNothing
(edit) @2978 [2978] 13 months steve.heller trips: bagged hypotenuse fnction in favor of intOrNothing
(edit) @2977 [2977] 13 months steve.heller trips: added hypotenuse, a generator of 0 or 1 value (thanks Victor)
(edit) @2976 [2976] 13 months steve.heller trips: replaced floor by round
(edit) @2974 [2974] 13 months steve.heller spelling tweak
(edit) @2953 [2953] 14 months jon [demos] add comment about tictactoe
(edit) @2937 [2937] 14 months steve.heller trips: more code cleanup
(edit) @2936 [2936] 14 months steve.heller trips: code cleanup
(edit) @2930 [2930] 14 months steve.heller trips: comment cleanup
(edit) @2929 [2929] 14 months steve.heller trips: more striding
(edit) @2928 [2928] 14 months steve.heller use strided ranges
(edit) @2897 [2897] 14 months sukyoungryu [tests/demos] Made small changes.
(edit) @2883 [2883] 14 months sukyoungryu [tests] Small fixes.
(edit) @2864 [2864] 14 months sukyoungryu [demos] Added Eric's Featherweight Java implementation with small changes.
(edit) @2859 [2859] 14 months jon [merge] svn merge -r2850:HEAD …
(edit) @2845 [2845] 14 months sukyoungryu [parser] Made more productions transient to avoid a heap overflow while …
(edit) @2834 [2834] 14 months jon [demos] make tictactoe ai smarter
(edit) @2829 [2829] 14 months sukyoungryu [language] Use 'outcome' instead of 'result' for an implicitly declared …
(edit) @2823 [2823] 15 months jon [demos] use list comprehension for generating empty board
(edit) @2822 [2822] 15 months jmaessen Minor code changes to support recent tickets. No interpreter changes to …
(edit) @2821 [2821] 15 months steve.heller Pythagorean trips: cleanup for FBE: possible inclusion in Fortress By …
(edit) @2820 [2820] 15 months sukyoungryu [demos] Revised big operator applications.
(edit) @2819 [2819] 15 months steve.heller Pythagorean trips: trueDat fun, planning for strided ranges, and thinking …
(edit) @2818 [2818] 15 months jon [demos] if an exception occurs during tictactoe then bail out
(edit) @2817 [2817] 15 months sukyoungryu [demos] Slightly improved the tennis ranking program.
(edit) @2814 [2814] 15 months jon [demos] add some comments and copyright notice
(edit) @2813 [2813] 15 months jon [demos] add tic-tac-toe demo
(edit) @2809 [2809] 15 months steve.heller Pythagorean trips: cleanup
(edit) @2807 [2807] 15 months steve.heller Pythagorean trips: restructuring and comments
(edit) @2805 [2805] 15 months steve.heller Pythagorean trips: cleanup and comments
(edit) @2803 [2803] 15 months steve.heller Pythagorean trips: used function expressions and refactored
(edit) @2802 [2802] 15 months steve.heller change arg parsing for paraffins; no batch mode
(edit) @2801 [2801] 15 months jon [demos] no args prints usage for turnersParaffins. change text in usage
(edit) @2799 [2799] 15 months steve.heller adding demo: Pythagorean Triples
(edit) @2797 [2797] 15 months steve.heller used Map for expected results
(edit) @2796 [2796] 15 months steve.heller use indexValuePair generation
(edit) @2794 [2794] 15 months chf Don't let orphaned transactions return values, various cleanups, dial back …
(edit) @2793 [2793] 15 months steve.heller language experimentation
(edit) @2783 [2783] 15 months steve.heller comments and Fortresification
(edit) @2770 [2770] 15 months steve.heller more comments and cleanup --- gotta stop this
(edit) @2769 [2769] 15 months steve.heller commenting and more Fortressification
(edit) @2766 [2766] 15 months dr2chase Minor optimizations to overload cache, and comparator for many BASets
(edit) @2762 [2762] 15 months steve.heller Inlined notes about my language experience ... also cleanup
(edit) @2758 [2758] 15 months steve.heller code cleanup: used more Fortress idioms (thanks Guy)
(edit) @2747 [2747] 15 months steve.heller code cleanup
(edit) @2704 [2704] 15 months steve.heller code cleanup
(edit) @2679 [2679] 15 months steve.heller add Turners Paraffins to demos
(edit) @2663 [2663] 15 months sukyoungryu [demos] Fixed shadowing bugs in demos/lutx.fss.
(edit) @2638 [2638] 16 months sukyoungryu [demos] Fixed a demo program according to the new String hierarchy.
(edit) @2634 [2634] 16 months jmaessen Added strToInt (convert String to ZZ32) to FortressLibrary.fss. This …
(edit) @2617 [2617] 16 months sukyoungryu [demos] Fixed variable shadowing.
(edit) @2615 [2615] 16 months jmaessen Fixed variable shadowing.
(edit) @2324 [2324] 16 months sukyoungryu [demos] Fixed name conflicts with the new library functions.
(edit) @2311 [2311] 16 months sukyoungryu [demo] Minor fixes.
(edit) @2271 [2271] 17 months jmaessen Fixed demos to use the grand new typing regime for ZZ32.
(edit) @2167 [2167] 17 months nbeckman [demos] All four of these files has disambiguation errors.
(edit) @2166 [2166] 17 months sukyoungryu [copyright] Fixed copyright notices.
(edit) @2164 [2164] 17 months jmaessen [Libraries] Changed Integral to be a parametric type Integral[\I\]. This …
(edit) @2155 [2155] 17 months jmaessen Fixed bug / oversight in bounds checking and narrowing of partial ranges …
(edit) @2041 [2041] 17 months sukyoungryu [tests] 1. Fixed unparenthesized equality testing expressions. 2. Fixed …
(edit) @1969 [1969] 18 months sukyoungryu [tests] Added a control flow analyzer for core Fortress programs in the …
(edit) @1827 [1827] 18 months jmaessen Fixed generator (the fix only got partially migrated)
(edit) @1825 [1825] 18 months jmaessen New comprehension/reduction desugaring (part I). Big operators now take …
(edit) @1786 [1786] 18 months jmaessen New Reduction type hierarchy, in preparation for the new comprehension …
(edit) @1778 [1778] 18 months jmaessen Minor fixes to demos.
(edit) @1775 [1775] 18 months jmaessen Fix for #125, and uses of // operator where appropriate (and appropriately …
(edit) @1771 [1771] 18 months jmaessen Implemented opr ||, opr |||, opr //, and opr ///, along with BIG ||, BIG …
(edit) @1712 [1712] 18 months dr2chase Getting rid of some dead classes identified in the bootcamp
(edit) @1700 [1700] 18 months jmaessen Fixed embarassing errors in result types of some methods.
(edit) @1693 [1693] 18 months dr2chase Made build-and-test immune to incorrectly set FORTRESS_HOME
Note: See TracRevisionLog for help on using the revision log.