Optimiser bugfixes: negation corner cases

Optimiser bugfix: handle width for C negation the same way as for INTERCAL unaries

Integrate fuzzer with build system ("make fuzz", "make test")

Optimiser bugfix: distribhalf was mathematically incorrect

Optimiser bugfix: loss of precision in bitshifts

Optimiser bugfixes: some idioms didn't match the comments next to them

Optimiser bugfix: be consistent about unary operator bitwidths

Show unary bitwidths in optimiser debug output

Fix type mismatch between oil.h, dekludge.c

Wow was this one subtle. "bool" was somehow defined as 8-bit in
dekludge.c, but 32-bit in oil.h, due to include files being included
differently, and this was causing boolean-valued checks to fail
silently.

Fix optimiser bug: select with LHS a constant with more than 16 consecutive zeros

Fix bugs in file-finding logic

This is both a logic error (an incomplete change from ICKDATADIR to
ICKSYSDIR/ICKCSKELDIR), and a simple typo that was preventing the
skeleton file from being found in an installed setup.

Turn on Automake warnings, and fix bugs found by them

Boolean fixes + autoconfiscation of booleans

Cleaning up ick_bool.h to work even on systems with an insane
stdbool.h; fixing oil.y to use the new booleans throughout;
integrating ick_bool.h into the autoconf system.

Make "make splint" work with out-of-tree builds

This should have gone with the last commit.

Use real bools everywhere.

It's possible to emulate the C99 bool type perfectly and autoconfigure
doing so.  This enables splint to do better checking, and looks cleaner too.

make check and make distcheck both pass.

Remove generated files from the repository, change build system to match

A new shell script buildaux/regenerate-build-system.sh will regenerate
the build system from scratch, which is needed to run a repository
version. (The contents of distribution tarballs are unchanged.) Many
build system changes are needed to make everything work correctly,
including the integration of the pit and src makefiles (the pit
makefile needs to know where the pit actually /is/); make distcheck
now passes.

Slight optimiser cleanup

Don't crash on an invalid guessdir

Remove valid code from the middle of a comment

Merge branch 'master' of git://gitorious.org/intercal/intercal

Boost SENESTMAX; fuzz-testing was hitting the limit

Add test/compucome.i to the compile-test set.

Makefile.in doesn't need to be in the repo.

Make self-tests available from toplevel in the standard way with 'make check'.

Fix the clean hook to avoid problems in make distcheck.

Re-merge splint priduction and pit clean hook.

Duhhh...the terst load has a nondeterminism trigger in it.

Revert the buld systrem rewrite, as it won't work for cross-compiles.

Partial splint cleanup.

Add a splint production.

Fix a broken fprintf that was producing unstable output.

Fix incorrectly generated check file.

Force clean of the pit test binaries on make clean.

Clean up annd document Makefile.am.

More build system cleanup; the prebuilt filea don'yt need to be in the repo.

Cleanup after the big build change.

Ignore generated files (again).

Merge branch 'master' of gitorious.org:intercal/intercal

Drastic simplification of the build system.

The build system as I found it had several interrelated flaws: (1) it
kept generated files such as aclocal.m4 and configure in the repo,
causing many spurious diffs when they were rebuilt, (2) it did a lot of
grubby copying of source files into the root directory, (3) it was
generally overcomplicated, playing strange games with GNU tools that
are already difficult to understand.

Most of the problems were readily solved by the modern practice of
having a autogen.sh script to bootstrap the build from a state of no
Makefile and no configure.  The whole buildaux directory is gone
except for Makefile.am and ylwrap; those now live in the top-level
directory. Makefile.am is now much simpler, as is configure.ac.

To make running the compiler in place for regression-testing continue
working, I had to split the ICKDATADIR variable; it's now ICKSYSDIR
for INTERCAL system libraries and ICKCSKELDIR for the skeleton and
yuk-related files.  Both will still point at /usr/local/share by
default.

I've probably broken the DESTDIR/build-directory logic; that will need
to be fixed.  Relatedly, more could probably be done to stop the
build from crapping all over the distribution toplevel directory. Also,
the directory variables need to be re-thought and probably renamed.
But this is a good start.

All regression tests pass from a clean build.

Merge branch 'master' of git://gitorious.org/intercal/intercal

Conflicts:
pit/Makefile

Better fuzztest coverage, and move the fuzzer to etc/

The fuzztest now looks at idiotism.oil and tries to generate things
that look vaguely like the LHSes there, in addition to the normal
huge dose of randomness expected in a fuzztest. This makes it catch a
lot more bugs (i.e. it catches a greater proportion of bugs on each
run); it has found several optimizer bugs already, by the look of
things (although unfortunately fuzztests make it hard to track down
exactly where the bug is).

Suppress a bunch of GCC 4 warnings.  All regression tests pass.

Add a (working but unfinished and with hardcoded paths) optimiser test script to buildaux

Label the exact optimisation used when debugging the optimser

Regreesion test featuring tests/testplat.

Louis Howell's mult.i no longer exists.

Regression tests featuring ais1.i anf ais2.i.

Regression test featuring pass.i.

Regression test featuring testcreate.

Regrtession test featuring pow.i.

A regression test featuring flonck.i.

Link fixes and additions.

More ./ in the test makefile

Adde regression test featuring ignorret.i.

Added regression test featuring bubble.i.

Remove a duplicated entry.

Regression test featuring whileadd.i.

Ignore more test binaries.

Added regression test for interfunge.

Added regression tests featuring onceagain and unlambda.

Added test load for flonck.i, but it presently fails.

Message is THROW STICK BEFORE RETRIEVING!

Documentation improvements.

Whitespace fixup.

Oops, correct target list to go with last commit.

tests/testonce is now part of the regression-test suite.

Still needs to be documented, though.

Typo fix.

New regression test featuring yapp.

Correct parsing of regresscheck options.

Fix pit makefile

tpk needed compiling; fft needs an explicit ./ in order to work
on systems with an executable called "fft" or without . in $PATH
(which is recommended and default).

Added a regressioon test using Don Knuth's tpk program.

Two more regression tests, and improvements to the framework.

Ignore more stuff.

Document the regressioncheck script better, and make it a bit more flexible.

Change optimiser policy, and fix optimiser bugs

This includes a change in optimiser policy, such that optimising a
run-time error into a compile-time error is considered a bug (which
probably should have been the rule all along); the documentation was
inconsistent on this before now. This is also needed for the
testsuite to work with the optimiser.

The specific bugs: constant folding could make a mingle guaranteed
to overflow at runtime if the line was ever reached into a compile-
time error; and folding an and into an or was occasionally an
unchecked no-op, which causes the optimiser to enter an infinite
loop (it's now checked that it's not a no-op in advance).

Merge branch 'master' of git://gitorious.org/intercal/intercal

Don't assume dot is in path.

Fix floatlib install in build system

floatlib was being installed correctly for an inplace run, but not
for an installed run.

Merge branch 'master' of git://gitorious.org/intercal/intercal

Association of magic line ranges to system libraries is noe declarative.

Rather than being hard-coded in logic, there's now a table in perpet.c that
maps numeric-label ranges to system library file basenames. The sytem library
takes 1000-1999; the first new library to get this treatment is floatlib,
range 5000-5999.  The test for this is the ability to compile the pit's
fft.i program, which requires both syslib and floatlib.

Note that whenever you add a new library to this table, the build system
will need to be tweaked to add the library to the list of those copied to
the build directory.

Add two more regression tests.

Added regression check using sort.i.

Fix missing dependency between main makefile and doc makefile

Typo fixes.

Document a dependency.

Document new features.

Two more ignores; this cleans up the git status display.

More simplifying renames in the pit.

Rename base 3-7 system libraries to be unique without extension.

This eliminates the need for some ugly special-casing in the test system.

Add the NOCTURNAL EMISSION, PLEASE LAUNDER SHEETS IMMEDIATELY error message.

Added FLAG ETIQUETTE ERROR BAD SCOUT NO BISCUIT runtime error.

Small improvements to pit documentation.

Typo fix in intercal.mm.

Teach git how to ignore more generated stuff.

Added a regression test checking the output of quine against quine.i.

Add permute.i to the regression-test suite - it's a really good one.

Regression-test suite added.

Fix up and refactor the test compilation functions.

Added Brendan Gegg's "guess" program to the pit.

Ignore more generated junk.