Last updated December 2, 1997.Markus Mock (mock@cs.washington.edu)
| Application | Converted | Annotated | Compiles | Runs | Correct Result | |||
|---|---|---|---|---|---|---|---|---|
| Tempo Apps: | | | | |||||
| dotproduct | yes | yes | yes | yes | yes | |||
| chebychev | yes | yes | yes | yes | yes | |||
| romberg | yes | yes | yes | yes | yes | |||
| cubic spline interpolation | yes | yes | yes | no: stitched code seg. faults | no | |||
| fft | yes | yes | yes | yes | no | |||
| ppmdither | yes | yes | yes | no: stitched code seg. faults | no | |||
| BIG Apps: | | | | | ||||
| xv | yes | yes | yes | no: runs off end of stitched code | no | |||
| mipsi | yes | yes | yes | no | no | |||
| 'C Examples: | | | | |||||
| binary | yes | yes | yes | no: stitched code seg. faults | | |||
| cmp2 | no: would require function inlining to obtain speedup | no | | | | |||
| dp (dotproduct) | yes | yes | yes | yes | yes | |||
| heap | no | no | | | | |||
| hsh | yes | yes | yes | yes | yes | |||
| ms | yes | yes | yes | no: stitched code seg. faults | | |||
| mshl2 | no: would require varargs to work | no | | | | |||
| ntn | no: requires function inlining to obtain speedup (no runtime constants) | no | | | | |||
| pow | yes | yes | yes | yes | yes | |||
| query | yes | yes | yes | yes | yes |
Last updated December 2, 1997.