Directory tests.in/

Lines of Code

Developers

Most Recent Commits

bediger 2007-11-20 08:59

Add unit tests for T, M built-in primitives.
Change a few tests that used T as a non-built-in, either
a define or a non-primitive combinator.

24 lines of code changed in:

• tests.in: test.033 (+4 -4), test.034 (+2 -2), test.055 (new 8), test.056 (new 10)

bediger 2007-08-11 18:09

Change from 'g' to 'grz' as the algorithm name for Grzegorcyzk's 'g'
algorithm. I find that 'g' ends up in my arguments a lot.

10 lines of code changed in:

• tests.in: test.049 (+10 -10)

bediger 2007-04-29 21:31

New tests

42 lines of code changed in:

• tests.in: test.051 (new 16), test.052 (new 2), test.053 (new 15), test.054 (new 9)

bediger 2007-04-29 21:31

Missed a case in Grzegorczyk algorithm.

2 lines of code changed in:

• tests.in: test.049 (+2)

bediger 2007-03-01 21:12

New tests.

118 lines of code changed in:

• tests.in: test.046 (+3 -3), test.047 (new 10), test.048 (new 80), test.049 (new 16), test.050 (new 9)

bediger 2007-03-01 21:12

Change abstracted variable 'g' to 'i': "g" conflicts with
a bracket abstraction algorithm name.

2 lines of code changed in:

• tests.in: test.043 (+1 -1), test.044 (+1 -1)

bediger 2007-01-22 07:26

New test case.

45 lines of code changed in:

• tests.in: test.046 (new 45)

bediger 2007-01-17 20:49

New test input

130 lines of code changed in:

• tests.in: test.043 (new 79), test.044 (new 46), test.045 (new 5)

bediger 2006-12-18 13:20

Turner and Curry bracket abstraction algorithms tests

25 lines of code changed in:

• tests.in: test.041 (new 13), test.042 (new 12)

bediger 2006-11-21 17:17

Tests pertaining to 'W' combinator, and a few other cases

18 lines of code changed in:

• tests.in: test.035 (new 4), test.036 (new 2), test.037 (new 6), test.038 (new 2), test.039 (new 2), test.040 (new 2)

bediger 2006-09-18 21:10

Add new tests.

133 lines of code changed in:

• tests.in: test.029 (new 2), test.030 (new 4), test.031 (new 8), test.032 (new 3), test.033 (new 57), test.034 (new 59)

bediger 2006-08-15 06:58

Add ability to "define" an abbreviation. Makes top-level
a context, rather than just pure input at times.
Test "define" feature.

4 lines of code changed in:

• tests.in: test.028 (new 4)

bediger 2006-08-12 21:27

*** empty log message ***

1 lines of code changed in:

• tests.in: test.027 (new 1)

bediger 2006-08-07 21:25

Add ply-skipping to keep auto variables in sync with
useful tree of nodes.

6 lines of code changed in:

• tests.in: test.025 (new 1), test.026 (new 5)

bediger 2006-08-07 21:19

2nd block of changes

7 lines of code changed in:

• tests.in: test.024 (new 7)

bediger 2006-08-03 14:26

Initial revision

5 lines of code changed in:

• tests.in: test.023 (new 5)

bediger 2006-08-03 14:07

Initial revision

5 lines of code changed in:

• tests.in: test.018 (new 1), test.019 (new 1), test.020 (new 1), test.021 (new 1), test.022 (new 1)

bediger 2006-08-03 11:26

Initial revision

2 lines of code changed in:

• tests.in: test.016 (new 1), test.017 (new 1)

bediger 2006-08-03 11:23

Initial revision

5 lines of code changed in:

• tests.in: test.012 (new 1), test.015 (new 4)

bediger 2006-08-03 11:18

Initial revision

5 lines of code changed in:

• tests.in: test.009 (new 1), test.010 (new 1), test.011 (new 1), test.013 (new 1), test.014 (new 1)

(2 more)