2007-09-12: Updated User Manual

Version 6 of the User Manual was published today on the Bound-T website.

A new section (section 3.9) explains when and how Bound-T can find context-dependent bounds on execution time or stack usage of a subprogram, that is, bounds that take into account the different parameter values when the subprogram is called from several places.

The update also describes several new command-line options and some new forms of outputs from the analysis.

Valid HTML 4.01 Transitional