deploy: 6ca6c18

.buildinfo

@@ -0,0 +1,4 @@
+# Sphinx build info version 1
+# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: 5313648b9b866aef2658918dd0b8826d
+tags: 645f666f9bcd5a90fca523b33c5a78b7

_sources/index.rst.txt

@@ -0,0 +1,22 @@
+.. GameTime documentation master file, created by
+   sphinx-quickstart on Thu Jun  6 01:05:27 2024.
+   You can adapt this file completely to your liking, but it should at least
+   contain the root `toctree` directive.
+
+Welcome to GameTime's documentation!
+====================================
+
+.. toctree::
+   :maxdepth: 3
+   :caption: Contents:
+
+   modules
+
+
+
+Indices and tables
+==================
+
+* :ref:`genindex`
+* :ref:`modindex`
+* :ref:`search`

_sources/modules.rst.txt

@@ -0,0 +1,7 @@
+GameTime
+========
+
+.. toctree::
+   :maxdepth: 5
+
+   src

_sources/src.backend.arm_backend.rst.txt

@@ -0,0 +1,12 @@
+backend.arm\_backend package
+================================
+
+
+backend.arm\_backend.arm\_backend
+--------------------------------------------
+
+.. automodule:: src.backend.arm_backend.arm_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+

_sources/src.backend.flexpret_backend.rst.txt

@@ -0,0 +1,12 @@
+backend.flexpret\_backend package
+=====================================
+
+backend.flexpret\_backend.flexpret\_backend
+------------------------------------------------------
+
+.. automodule:: src.backend.flexpret_backend.flexpret_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+

_sources/src.backend.rst.txt

@@ -0,0 +1,30 @@
+Backend
+===================
+
+Backend Types
+-------------
+
+.. toctree::
+   :maxdepth: 4
+
+   src.backend.arm_backend
+   src.backend.flexpret_backend
+   src.backend.x86_backend
+
+
+backend.backend
+-------------------
+
+.. automodule:: src.backend.backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+backend.generate\_executable
+--------------------------------
+
+.. automodule:: src.backend.generate_executable
+   :members:
+   :undoc-members:
+   :show-inheritance:
+

_sources/src.backend.x86_backend.rst.txt

@@ -0,0 +1,10 @@
+backend.x86\_backend package
+================================
+
+backend.x86\_backend.x86\_backend
+--------------------------------------------
+
+.. automodule:: src.backend.x86_backend.x86_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:

_sources/src.rst.txt

@@ -0,0 +1,150 @@
+.. toctree::
+   :maxdepth: 4
+
+   src.backend
+   src.smt_solver
+
+
+analyze\_project
+---------------------------
+
+.. automodule:: src.analyze_project
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+analyzer
+-------------------
+
+.. automodule:: src.analyzer
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+clang\_helper
+------------------------
+
+.. automodule:: src.clang_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+defaults
+-------------------
+
+.. automodule:: src.defaults
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+file\_helper
+-----------------------
+
+.. automodule:: src.file_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+gametime\_configuration module
+----------------------------------
+
+.. automodule:: src.gametime_configuration
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+gametime\_error
+--------------------------
+
+.. automodule:: src.gametime_error
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+histogram
+--------------------
+
+.. automodule:: src.histogram
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+index\_expression
+----------------------------
+
+.. automodule:: src.index_expression
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+interval
+-------------------
+
+.. automodule:: src.interval
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+logging\_helper
+--------------------------
+
+.. automodule:: src.logging_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+nx\_helper
+---------------------
+
+.. automodule:: src.nx_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+path
+---------------
+
+.. automodule:: src.path
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+path\_analyzer
+-------------------------
+
+.. automodule:: src.path_analyzer
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+path\_generator
+--------------------------
+
+.. automodule:: src.path_generator
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+project\_configuration
+---------------------------------
+
+.. automodule:: src.project_configuration
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+project\_configuration\_parser
+-----------------------------------------
+
+.. automodule:: src.project_configuration_parser
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+pulp\_helper
+-----------------------
+
+.. automodule:: src.pulp_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:

_sources/src.smt_solver.rst.txt

@@ -0,0 +1,35 @@
+SMT-Solver
+==========
+
+smt\_solver.extract\_klee\_input
+------------------------------------
+
+.. automodule:: src.smt_solver.extract_klee_input
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+smt\_solver.extract\_labels
+-------------------------------
+
+.. automodule:: src.smt_solver.extract_labels
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+smt\_solver.smt
+-------------------
+
+.. automodule:: src.smt_solver.smt
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+smt\_solver.to\_klee\_format
+--------------------------------
+
+.. automodule:: src.smt_solver.to_klee_format
+   :members:
+   :undoc-members:
+   :show-inheritance:
+