deploy: b0e8bf7

html/.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: 987db7e5e56ae2985710637a5b131577
+tags: 645f666f9bcd5a90fca523b33c5a78b7

html/_sources/index.rst.txt

@@ -0,0 +1,22 @@
+.. GameTime documentation master file, created by
+   sphinx-quickstart on Mon Apr 29 22:42:36 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: 2
+   :caption: Contents:
+
+   modules
+
+
+
+Indices and tables
+==================
+
+* :ref:`genindex`
+* :ref:`modindex`
+* :ref:`search`

html/_sources/modules.rst.txt

@@ -0,0 +1,187 @@
+GameTime src Documentation
+==========================
+
+This document provides comprehensive documentation for all the modules in the GameTime framework.
+
+Main Package Module
+-------------------
+
+.. automodule:: gametime.src
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.analyzer
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.analyzer_project
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.clang_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.defaults
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.file_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.gametime_configuration
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.gametime_error
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.histogram
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.interval
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.logging_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.nx_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.path_analyzer
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.path_generator
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.path
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.project_configuration_parser
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.project_configuration
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.pulp_helper
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+Backend Modules
+---------------
+
+Backend Base Module
+^^^^^^^^^^^^^^^^^^^
+
+.. automodule:: gametime.src.backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.backend.backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.generate_executable
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+
+ARM Backend Module
+^^^^^^^^^^^^^^^^^^
+
+.. automodule:: gametime.src.backend.arm_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.backend.arm_backend.arm_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+FlexPRET Backend Module
+^^^^^^^^^^^^^^^^^^^^^^^
+
+.. automodule:: gametime.src.backend.flexpret_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.backend.flexpret_backend.flexpret_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+
+x86 Backend Module
+^^^^^^^^^^^^^^^^^^
+
+.. automodule:: gametime.src.backend.x86_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.backend.x86_backend.x86_backend
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+SMT Solver Module
+-----------------
+
+.. automodule:: gametime.src.smt_solver
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.extract_klee_input
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.extract_labels
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.smt
+   :members:
+   :undoc-members:
+   :show-inheritance:
+
+.. automodule:: gametime.src.to_klee_format
+   :members:
+   :undoc-members:
+   :show-inheritance: