Adding new PyK wrappers to LLVM Python Bindings (#4426)

This PR exposes the new infrastructure created by the LLVm Backend to parse the Hints file. We introduce the wrappers to make the streaming parser possible to use as a list of events and access it through an integrator. Or not loading all the events at the same time but accessing them one per time through the `next()` function. Depends on: runtimeverification/llvm-backend#1090 --------- Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jun 12, 2024 · 5000678 · 5000678
1 parent c1ef5ac
commit 5000678
Show file tree

Hide file tree

Showing 4 changed files with 373 additions and 65 deletions.
diff --git a/pyk/docs/conf.py b/pyk/docs/conf.py
@@ -17,6 +17,7 @@
 
 extensions = [
     'sphinx.ext.autodoc',
+    'sphinx.ext.napoleon',
     'sphinx.ext.viewcode',
 ]
 templates_path = ['_templates']
@@ -26,6 +27,10 @@
 autodoc_inherit_docstrings = False
 viewcode_line_numbers = True
 
+napoleon_google_docstring = True
+napoleon_include_init_with_doc = True
+napoleon_include_special_with_doc = True
+
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output