| commit | 3654a79b8e017a2f460dc9b4a877db74444d0338 | [log] [tgz] |
|---|---|---|
| author | Sameer Agarwal <sameeragarwal@google.com> | Fri Oct 11 12:29:31 2013 -0700 |
| committer | Sameer Agarwal <sameeragarwal@google.com> | Fri Oct 11 12:53:59 2013 -0700 |
| tree | 7f70032c3cf2695e70baf46cf215012a2938a533 | |
| parent | 7da85fb0e28d0751fd0d71abf5f7102ba36e67f7 [diff] |
Update documentation. 1. Update the documentation to be Sphinx friendly. 2. Remove dead fields in Solver::Summary. a. Solver::Summary::num_eliminate_blocks_given. b. Solver::Summary::num_eliminate_blocks_used. Change-Id: I43e0070c88abe3bf285d91e6c7524f3d887deb33