November 2007 Commit Log

Number of Commits:

3

Number of Active Developers:

1

bediger 2007-11-26 10:46 #3

Fix a problem in the lexer: would not consider 0 (zero) as
a numerical constant, and the "count" interperter command
could not "reset" to not terminating after a given number of
reductions without a "count 0" command.

9 lines of code changed in:

• TODO (+8), lex.l (+1 -1)

bediger 2007-11-20 09:01 #2

Add T, M as built-ins: T x y -> y x, M x -> x x.
Lots of consequnces, including lexer changes, command-line
option changes, additions to node.h and graph.c

Add a "mudflap' target to makefile to try to use GNU libmudflap
for memory debugging.

Add a BTMK-basis bracket abstraction algorithm. Probably not in
its final form. Seems klunky.

252 lines of code changed in:

• bracket_abstraction.c (+108 -1), bracket_abstraction.h (+1), clfuzz (+1 -1), grammar.y (+48 -23), graph.c (+74 -16), lex.l (+11 -1), makefile (+6 -2), node.c (+2), node.h (+1 -1)

bediger 2007-11-20 08:59 #1

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)

October 2007 »