tests.in
(56 files, 576 lines)
tests.out
(53 files, 694 lines)
[root]
tests.in
(56 files, 576 lines)
tests.out
(53 files, 694 lines)
| Author | Changes | Lines of Code | Lines per Change |
|---|---|---|---|
| bediger | 236 (100.0%) | 5213 (100.0%) | 22.0 |
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:
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:
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.
2 lines of code changed in:
1. Correct a few misspellings in bracket abstraction algorithm comments.
2. Add provisions for setting max number of reductions to perform.
3. Don't prompt when reading in a file.
60 lines of code changed in:
Add "coverage" test for compiling with gcov options on,
and clean up after coverage tests in "clean" target.
4 lines of code changed in:
Accomdate prompting.
1 lines of code changed in:
Add "W" primitive
1 lines of code changed in:
Add more notes.
9 lines of code changed in:
1. Clearer usage flag notes about "turning off" primitives
2. abstract out common functionality into top_level_cleanup()
3. Add printing a prompt, including a command-line flag to
turn it off.
4. Define YYERROR_VERBOSE when bison compiles the grammar.
32 lines of code changed in:
Change from a nested set of "?:" operators to
a switch to determine the printable name of
various primitive combinators.
17 lines of code changed in:
Cast a NULL, even though that doesn't change the compiler warning (lcc).
1 lines of code changed in:
Remove a NULL-check before freeing: the freeing routine
also checks for NULL, so this check duplicates work.
2 lines of code changed in:
Remove some never-used functions and their declarations.
2 lines of code changed in:
Remove an if-then-else block: only the true-clause
ever gets executed. Due to flow-of-control considerations,
the false-clause can never get executed.
18 lines of code changed in:
Add string.h include.
1 lines of code changed in:
Updates.
4 lines of code changed in:
Fix it instantly. Choice.
1 lines of code changed in:
Bracket abstraction "fuzzing" tools.
bafuzz generates "cl" code to do bracket abstraction,
bracket_abs_fuzz shell script runs "cl" on that code, and
postprocesses the results to assure identical outputs.
99 lines of code changed in:
Add support for Grzegorcyzk "G Algorithm" bracket abstraction.
Along the way, change the way the grammar deals with specifying
which algorithm. lexer now lumps all algorithm names into the
same terminal token.
41 lines of code changed in:
Add M.A. Price's "G-Algorithm" bracket abstraction.
86 lines of code changed in:
(72 more)