Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-29 22:05:01 -0800 (Mon, 29 Mar 2004)
Revision: 5575
Log message:
Adding tail-call optimizations. This makes the asm.s file for the test_fact
28 (out of 114) lines shorter. The optimizations are mostly added as
untrusted (interactive) rewrites, but not yet fully proven.