Elaborate content of top-level documentation pages

[markrtuttle]

This pull request fills out the contents of the top-level documentation pages. As of September 29, 2022, the content of markrtuttle/cbmc-documentation is a demonstration of what these top-level pages look like.

[codecov]

Codecov Report

Base: 77.89% // Head: 77.82% // Decreases project coverage by -0.06% ⚠️

Coverage data is based on head (3108086) compared to base (f37f3c0).
Patch coverage: 25.00% of modified lines in pull request are covered.

Additional details and impacted files

@@             Coverage Diff             @@
##           develop    #7166      +/-   ##
===========================================
- Coverage    77.89%   77.82%   -0.07%     
===========================================
  Files         1576     1578       +2     
  Lines       181913   182209     +296     
===========================================
+ Hits        141699   141805     +106     
- Misses       40214    40404     +190     

Impacted Files	Coverage Δ
...nthesizer/enumerative_loop_invariant_synthesizer.h	100.00% <ø> (ø)
...ment/synthesizer/loop_invariant_synthesizer_base.h	100.00% <ø> (ø)
src/solvers/smt2/smt2_conv.cpp	65.17% <25.00%> (-3.54%)	⬇️
src/util/pointer_expr.cpp	78.44% <0.00%> (-3.11%)	⬇️
src/ansi-c/c_typecheck_expr.cpp	73.90% <0.00%> (-0.25%)	⬇️
src/ansi-c/expr2c.cpp	67.13% <0.00%> (ø)
src/solvers/smt2/smt2_conv.h	100.00% <0.00%> (ø)
src/util/simplify_expr_pointer.cpp	85.83% <0.00%> (ø)
src/solvers/flattening/bv_pointers.cpp	85.80% <0.00%> (ø)
... and 10 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.