Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | cleanup | buraq | 2004-01-08 | 3 | -128/+63 | |
* | cleanup | buraq | 2004-01-08 | 8 | -272/+233 | |
* | cleanup | buraq | 2004-01-07 | 2 | -4/+1 | |
* | pos | buraq | 2004-01-07 | 1 | -2/+4 | |
* | cleanup | buraq | 2004-01-07 | 4 | -380/+359 | |
* | cleanup | buraq | 2004-01-07 | 1 | -208/+185 | |
* | - Added some missing PARAM flags | paltherr | 2003-12-11 | 2 | -4/+5 | |
* | oops | buraq | 2003-12-02 | 1 | -1/+1 | |
* | optimization, switch instead of if-the-else for... | buraq | 2003-12-02 | 5 | -120/+192 | |
* | comment | buraq | 2003-12-01 | 1 | -1/+1 | |
* | *** empty log message *** | Martin Odersky | 2003-11-28 | 1 | -2/+2 | |
* | renamed entry point, restricted method access | buraq | 2003-11-28 | 1 | -5/+5 | |
* | moved some methods from PatternMatcher | buraq | 2003-11-28 | 1 | -1/+74 | |
* | removed tabs | buraq | 2003-11-28 | 1 | -673/+600 | |
* | fixed bug224 | buraq | 2003-11-27 | 1 | -100/+101 | |
* | space | buraq | 2003-11-27 | 1 | -1/+0 | |
* | Removed dead code check. | Matthias Zenger | 2003-11-20 | 1 | -14/+16 | |
* | *** empty log message *** | Martin Odersky | 2003-11-14 | 6 | -19/+19 | |
* | - Fixed type of generated lists | paltherr | 2003-11-12 | 2 | -8/+11 | |
* | Added support for | in algebraic patterns; | Matthias Zenger | 2003-11-11 | 4 | -114/+169 | |
* | fixed erroneous handling of typed patters | buraq | 2003-11-04 | 1 | -37/+54 | |
* | Typed patterns x:T and variable patterns x are ... | buraq | 2003-10-30 | 1 | -4/+6 | |
* | - Normalized member names of class Definition | paltherr | 2003-10-30 | 4 | -19/+9 | |
* | fixed bugs and cleaned up code in AlgMatcher th... | buraq | 2003-10-30 | 4 | -281/+12 | |
* | the curse of static variables... | buraq | 2003-10-30 | 1 | -0/+1 | |
* | - Removed method _scala | paltherr | 2003-10-29 | 1 | -5/+0 | |
* | - In Definitions, replaced primitive _TYPE fiel... | paltherr | 2003-10-29 | 6 | -17/+17 | |
* | fixed bug196 with a wild hack | buraq | 2003-10-29 | 1 | -21/+39 | |
* | - Replaced most of the Definition <...>_TYPE fi... | paltherr | 2003-10-29 | 1 | -1/+1 | |
* | indentation | buraq | 2003-10-29 | 1 | -1/+1 | |
* | cleanup | buraq | 2003-10-28 | 1 | -10/+7 | |
* | fixed hashing (hasing TypeTerms now using Type.... | buraq | 2003-10-28 | 1 | -3/+4 | |
* | no change | buraq | 2003-10-28 | 1 | -1/+1 | |
* | cleanup | buraq | 2003-10-28 | 3 | -839/+837 | |
* | merging large parts of Algebraic Matcher with P... | buraq | 2003-10-28 | 1 | -12/+41 | |
* | merging large parts with Pattern Matcher | buraq | 2003-10-28 | 1 | -43/+16 | |
* | cleanup | buraq | 2003-10-22 | 1 | -3/+3 | |
* | cleanup | buraq | 2003-10-22 | 3 | -231/+203 | |
* | - Moved symbols from CodeFactory into Definitions | paltherr | 2003-10-14 | 7 | -238/+80 | |
* | - Removed all instances of Infer | paltherr | 2003-10-13 | 7 | -30/+18 | |
* | - Removed field PatternTool.make | paltherr | 2003-10-13 | 4 | -59/+28 | |
* | - Addded Definitions.PATTERN_WILDCARD | paltherr | 2003-10-13 | 9 | -27/+27 | |
* | - Replaced usage of make by gen | paltherr | 2003-10-13 | 1 | -107/+39 | |
* | - Added method seqListSym_length | paltherr | 2003-10-13 | 1 | -0/+4 | |
* | - Removed Autom2Scala._applyNone | paltherr | 2003-10-10 | 3 | -18/+5 | |
* | - Removed CodeFactory.Block | paltherr | 2003-10-10 | 7 | -36/+20 | |
* | - Removed fields CaseEnv.make | paltherr | 2003-10-10 | 3 | -19/+9 | |
* | - Replaced gen.Apply by gen.mkApplyXX | paltherr | 2003-10-10 | 1 | -53/+22 | |
* | - Replaced some use of "make" by "gen" | paltherr | 2003-10-10 | 3 | -196/+54 | |
* | scala version of test reg traverser | buraq | 2003-10-07 | 1 | -0/+45 |