Update docs (#360)

* Update State docs

* Update manticore docs

* Document models

* Doc models

* Use sphinx link

docs/api.rst

@@ -28,3 +28,11 @@ Cpu
 .. autoclass:: manticore.core.cpu.abstractcpu.Cpu
    :members: read_int, read_bytes, write_int, write_bytes, write_register, read_register, all_registers
 
+Models
+------
+
+.. automodule:: manticore.models
+
+   .. function:: strlen
+
+   .. function:: strcmp

manticore/core/state.py

@@ -64,8 +64,8 @@ class State(object):
     Representation of a unique program state/path.
 
     :param ConstraintSet constraints: Initial constraints 
-    :param platform: Initial operating system state
-    :type platform: Decree or Linux or Windows
+    :param Platform platform: Initial operating system state
+    :ivar dict context: Local context for arbitrary data storage
     '''
 
     def __init__(self, constraints, platform):

manticore/manticore.py

@@ -140,6 +140,7 @@ class Manticore(object):
     :param str binary_path: Path to binary to analyze
     :param args: Arguments to provide to binary
     :type args: list[str]
+    :ivar dict context: Global context for arbitrary data storage
     '''
 
 

manticore/models.py

@@ -1,8 +1,13 @@
+"""
+Models here are intended to be passed to :meth:`~manticore.core.state.State.invoke_model`, not invoked directly.
+"""
+
 from .core.cpu.abstractcpu import ConcretizeArgument
 from .utils.helpers import issymbolic
 from .core.smtlib.solver import solver
 from .core.smtlib.operators import ITEBV, ZEXTEND
 
+
 VARIADIC_FUNC_ATTR = '_variadic'
 
 def isvariadic(model):