

The testing directory:

Basic regression testing commands:


./reg_test_whole_stack.sh < reg_test_suite.txt

and:

./reg_test_whole_stack_trace.sh < trace_reg_test_suite.txt 

The second command generates very large data and can 
take a very long time (it runs *all* of the the intermediate
forms of a program taken during optimisation against some
test data using a haskell performance model).

Sub directories:
----------------

adl - source code benchmarks. g_elim.adl is work in progress
      don't use it if you find it.

adl_ast - results of parsing adl progs

adl_ast_pp - nicely formated parsed adl progs.

adl_pp - some unparsed adl programs.

cost_traces - data files avi and eps file from cost traces.
              (data files made by running reg_test_whole_stack_trace.sh)

hask - contains haskell versions of translator code + input values.
       (for performance model)
hask_opt - contains haskell versions of opt codes (again for perf model)
hask_traces - derivation traces of opt process in haskell (and again...)

html - place to put  translated  pretty printed point-free programs in html.
html_opt - place to put optimised pretty printed point-free programs in html.

latex - place to put translated progs in latex.
latex - place to put optimised progs in latex.
latex_traces - place to opt traces in latex.

matlabscripts - just one script. Change to the cost_traces dir. Start matlab.
                edit TraceName at top of ../matlabscripts/simplescript.txt
                and also edit InputDataDescriptor.

                cut and paste all of simplescript 
                into command prompt of matlab. Creates eps plot
                and avi animation (which can be huge).
                Script handles scaling etc.
 
opt_ast - ASTs of optimised point-free code.
opt_tc_ast - ditto with type annotations.
opt_trace - traces of ASTs of optimised point-free code.
shaped_adl - adl progs with some shape information at start for
             shapely typecheker to work with (not many files here yet).

trans_ast - AST's of point-free code from translator.
trans_*_ast - various renderings of translator code.

*.sh various utilities.. some of which are redundant or experimental
some of which are called by the regression tests above.

