Fix my fixed help text, as it was horrible to read.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@10167 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

Since CVC3 failes epically with this model, just default to PVS
to make testing it easier for users.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@10149 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

 - Mention that it requires the NASA PVS libraries, otherwise a
missing library error is generated.
 - Change the inputs to the roots so that the function has actual
real roots.  Otherwise when you run the simulation there is a difference
generated on x1, and makes the whole thing look broken.


git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@10148 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7060 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7059 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6769 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6768 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

updated quadratic roots model, added comparison to roots fcn, different methods result in slightly different values, with results are differenced difference is on order of 1e-16

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6763 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

added directory for examples as well as some examples pulled from FPGA presentation, added example for quadratic roots problem solved using predicate subtyping which typechecks and appears to give proper answers when compared to matlab roots fcn

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6762 57e6efec-57d4-0310-aeb1-a6c144bb1a8b