svn - Revision 80414: /user/cfbolz/jitpl/dist

• ..
• LICENSE
• Makefile
• benchmark.log
• benchmark.py
• binarify.pl
• demo_class.pl
• demo_cps.pl
• demo_imperative_power.pl
• demo_impure.pl
• demo_length.pl
• demo_model_elim.pl
• demo_regexp.pl
• demo_rev.pl
• demo_sum.pl
• demo_tiny2.pl
• demo_vanilla.pl
• demo_vanilla_cps.pl
• demo_vanilla_list.pl
• detcheck.pl
• dot/
• ecce/
• jit.pl
• poem/
• sicstus_compat.pl
• test/
• unify.pl