finishing touches

icyphy · Jun 6, 2024 · 7b3361e · 7b3361e
1 parent b6c1f3e
commit 7b3361e
Show file tree

Hide file tree

Showing 36 changed files with 346 additions and 409 deletions.
diff --git a/docs/_build/doctrees/environment.pickle b/docs/_build/doctrees/environment.pickle
diff --git a/docs/_build/doctrees/modules.doctree b/docs/_build/doctrees/modules.doctree
diff --git a/docs/_build/doctrees/src.backend.arm_backend.doctree b/docs/_build/doctrees/src.backend.arm_backend.doctree
diff --git a/docs/_build/doctrees/src.backend.doctree b/docs/_build/doctrees/src.backend.doctree
diff --git a/docs/_build/doctrees/src.backend.flexpret_backend.doctree b/docs/_build/doctrees/src.backend.flexpret_backend.doctree
diff --git a/docs/_build/doctrees/src.backend.x86_backend.doctree b/docs/_build/doctrees/src.backend.x86_backend.doctree
diff --git a/docs/_build/doctrees/src.doctree b/docs/_build/doctrees/src.doctree
diff --git a/docs/_build/doctrees/src.smt_solver.doctree b/docs/_build/doctrees/src.smt_solver.doctree
diff --git a/docs/_build/html/_modules/gametime_configuration.html b/docs/_build/html/_modules/gametime_configuration.html
@@ -192,15 +192,16 @@ <h1>Source code for gametime_configuration</h1><div class="highlight"><pre>
 
 
 <span class="k">def</span> <span class="nf">read_gametime_config_yaml</span><span class="p">(</span><span class="n">yaml_config_path</span><span class="p">:</span> <span class="nb">str</span><span class="p">)</span> <span class="o">-&gt;</span> <span class="n">GametimeConfiguration</span><span class="p">:</span>
-<span class="w">    </span><span class="sd">&quot;&quot;&quot;Creates GametimeConfiguration from yaml files</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;</span>
+<span class="sd">    Creates GametimeConfiguration from yaml files</span>
 
 <span class="sd">    Parameters:</span>
-<span class="sd">    yaml_config_path: str :</span>
-<span class="sd">        path of the yaml config file that contains</span>
+<span class="sd">        yaml_config_path: str :</span>
+<span class="sd">            path of the yaml config file that contains</span>
 
 <span class="sd">    Returns:</span>
-<span class="sd">    GametimeConfiguration</span>
-<span class="sd">        GametimeConfiguration object that contains information from YAML file at yaml_config_path</span>
+<span class="sd">        GametimeConfiguration</span>
+<span class="sd">            GametimeConfiguration object that contains information from YAML file at yaml_config_path</span>
 
 <span class="sd">    &quot;&quot;&quot;</span>
     <span class="c1"># Check file exists</span>

diff --git a/docs/_build/html/_modules/index.html b/docs/_build/html/_modules/index.html
@@ -70,7 +70,6 @@
            <div itemprop="articleBody">
 
   <h1>All modules for which code is available</h1>
-<ul><li><a href="src.html">src</a></li>
 <ul><li><a href="src/analyze_project.html">src.analyze_project</a></li>
 <li><a href="src/analyzer.html">src.analyzer</a></li>
 <li><a href="src/backend/arm_backend/arm_backend.html">src.backend.arm_backend.arm_backend</a></li>
@@ -97,7 +96,7 @@ <h1>All modules for which code is available</h1>
 <li><a href="src/smt_solver/extract_labels.html">src.smt_solver.extract_labels</a></li>
 <li><a href="src/smt_solver/smt.html">src.smt_solver.smt</a></li>
 <li><a href="src/smt_solver/to_klee_format.html">src.smt_solver.to_klee_format</a></li>
-</ul></ul>
+</ul>
 
            </div>
           </div>

diff --git a/docs/_build/html/_sources/modules.rst.txt b/docs/_build/html/_sources/modules.rst.txt
@@ -2,6 +2,6 @@ GameTime
 ========
 
 .. toctree::
-   :maxdepth: 4
+   :maxdepth: 5
 
    src
diff --git a/docs/_build/html/_sources/src.backend.arm_backend.rst.txt b/docs/_build/html/_sources/src.backend.arm_backend.rst.txt
@@ -1,8 +1,8 @@
-src.backend.arm\_backend package
+backend.arm\_backend package
 ================================
 
 
-src.backend.arm\_backend.arm\_backend module
+backend.arm\_backend.arm\_backend
 --------------------------------------------
 
 .. automodule:: src.backend.arm_backend.arm_backend

diff --git a/docs/_build/html/_sources/src.backend.flexpret_backend.rst.txt b/docs/_build/html/_sources/src.backend.flexpret_backend.rst.txt
@@ -1,7 +1,7 @@
-src.backend.flexpret\_backend package
+backend.flexpret\_backend package
 =====================================
 
-src.backend.flexpret\_backend.flexpret\_backend module
+backend.flexpret\_backend.flexpret\_backend
 ------------------------------------------------------
 
 .. automodule:: src.backend.flexpret_backend.flexpret_backend

diff --git a/docs/_build/html/_sources/src.backend.rst.txt b/docs/_build/html/_sources/src.backend.rst.txt
@@ -12,15 +12,15 @@ Backend Types
    src.backend.x86_backend
 
 
-src.backend.backend
+backend.backend
 -------------------
 
 .. automodule:: src.backend.backend
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.backend.generate\_executable
+backend.generate\_executable
 --------------------------------
 
 .. automodule:: src.backend.generate_executable

diff --git a/docs/_build/html/_sources/src.backend.x86_backend.rst.txt b/docs/_build/html/_sources/src.backend.x86_backend.rst.txt
@@ -1,7 +1,7 @@
-src.backend.x86\_backend package
+backend.x86\_backend package
 ================================
 
-src.backend.x86\_backend.x86\_backend module
+backend.x86\_backend.x86\_backend
 --------------------------------------------
 
 .. automodule:: src.backend.x86_backend.x86_backend

diff --git a/docs/_build/html/_sources/src.rst.txt b/docs/_build/html/_sources/src.rst.txt
@@ -5,154 +5,146 @@
    src.smt_solver
 
 
-src.analyze\_project module
+analyze\_project
 ---------------------------
 
 .. automodule:: src.analyze_project
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.analyzer module
+analyzer
 -------------------
 
 .. automodule:: src.analyzer
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.clang\_helper module
+clang\_helper
 ------------------------
 
 .. automodule:: src.clang_helper
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.defaults module
+defaults
 -------------------
 
 .. automodule:: src.defaults
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.file\_helper module
+file\_helper
 -----------------------
 
 .. automodule:: src.file_helper
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.gametime\_configuration module
+gametime\_configuration module
 ----------------------------------
 
 .. automodule:: src.gametime_configuration
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.gametime\_error module
+gametime\_error
 --------------------------
 
 .. automodule:: src.gametime_error
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.histogram module
+histogram
 --------------------
 
 .. automodule:: src.histogram
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.index\_expression module
+index\_expression
 ----------------------------
 
 .. automodule:: src.index_expression
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.interval module
+interval
 -------------------
 
 .. automodule:: src.interval
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.logging\_helper module
+logging\_helper
 --------------------------
 
 .. automodule:: src.logging_helper
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.nx\_helper module
+nx\_helper
 ---------------------
 
 .. automodule:: src.nx_helper
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.path module
+path
 ---------------
 
 .. automodule:: src.path
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.path\_analyzer module
+path\_analyzer
 -------------------------
 
 .. automodule:: src.path_analyzer
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.path\_generator module
+path\_generator
 --------------------------
 
 .. automodule:: src.path_generator
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.project\_configuration module
+project\_configuration
 ---------------------------------
 
 .. automodule:: src.project_configuration
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.project\_configuration\_parser module
+project\_configuration\_parser
 -----------------------------------------
 
 .. automodule:: src.project_configuration_parser
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.pulp\_helper module
+pulp\_helper
 -----------------------
 
 .. automodule:: src.pulp_helper
    :members:
    :undoc-members:
    :show-inheritance:
-
-Module contents
----------------
-
-.. automodule:: src
-   :members:
-   :undoc-members:
-   :show-inheritance:
diff --git a/docs/_build/html/_sources/src.smt_solver.rst.txt b/docs/_build/html/_sources/src.smt_solver.rst.txt
@@ -1,31 +1,31 @@
 SMT-Solver
 ==========
 
-src.smt\_solver.extract\_klee\_input
+smt\_solver.extract\_klee\_input
 ------------------------------------
 
 .. automodule:: src.smt_solver.extract_klee_input
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.smt\_solver.extract\_labels
+smt\_solver.extract\_labels
 -------------------------------
 
 .. automodule:: src.smt_solver.extract_labels
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.smt\_solver.smt
+smt\_solver.smt
 -------------------
 
 .. automodule:: src.smt_solver.smt
    :members:
    :undoc-members:
    :show-inheritance:
 
-src.smt\_solver.to\_klee\_format
+smt\_solver.to\_klee\_format
 --------------------------------
 
 .. automodule:: src.smt_solver.to_klee_format

diff --git a/docs/_build/html/genindex.html b/docs/_build/html/genindex.html
@@ -113,8 +113,6 @@ <h2 id="A">A</h2>
 </li>
   </ul></td>
   <td style="width: 33%; vertical-align: top;"><ul>
-      <li><a href="src.html#src.GameTime.analyze">analyze() (src.GameTime static method)</a>
-</li>
       <li><a href="src.html#src.analyzer.Analyzer">Analyzer (class in src.analyzer)</a>
 </li>
       <li><a href="src.backend.arm_backend.html#src.backend.arm_backend.arm_backend.ArmBackend">ArmBackend (class in src.backend.arm_backend.arm_backend)</a>
@@ -263,8 +261,6 @@ <h2 id="F">F</h2>
 <h2 id="G">G</h2>
 <table style="width: 100%" class="indextable genindextable"><tr>
   <td style="width: 33%; vertical-align: top;"><ul>
-      <li><a href="src.html#src.GameTime">GameTime (class in src)</a>
-</li>
       <li><a href="src.html#src.gametime_configuration.GametimeConfiguration">GametimeConfiguration (class in src.gametime_configuration)</a>
 </li>
       <li><a href="src.html#src.gametime_error.GameTimeError">GameTimeError</a>
@@ -493,8 +489,6 @@ <h2 id="M">M</h2>
     module
 
       <ul>
-        <li><a href="src.html#module-src">src</a>
-</li>
         <li><a href="src.html#module-src.analyze_project">src.analyze_project</a>
 </li>
         <li><a href="src.html#module-src.analyzer">src.analyzer</a>
@@ -693,13 +687,6 @@ <h2 id="S">S</h2>
       <li><a href="src.html#src.defaults.source_dir">source_dir (in module src.defaults)</a>
 </li>
       <li>
-    src
-
-      <ul>
-        <li><a href="src.html#module-src">module</a>
-</li>
-      </ul></li>
-      <li>
     src.analyze_project
 
       <ul>