Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding new PyK wrappers to LLVM Python Bindings #4426

Merged
merged 31 commits into from
Jun 12, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
45948b0
Fixing comments in `LLVMRewriteTrace`
Robertorosmaninho Jun 5, 2024
6bd1cde
Introduces `KoreHeader` Python representation of `kore_header`
Robertorosmaninho Jun 5, 2024
a1acc36
Exposing `LLVMEventType` enum
Robertorosmaninho Jun 6, 2024
badee47
Exposing `LLVMEventAnnotated` struct
Robertorosmaninho Jun 6, 2024
9196b78
Implementing `LLVMRewriteTraceIterator` class and importing the corre…
Robertorosmaninho Jun 6, 2024
d7d2a14
Formatting
Robertorosmaninho Jun 6, 2024
5958863
Adding new fixture to `test_prooftrace`
Robertorosmaninho Jun 6, 2024
438e0f6
Using the new `KoreHeader` wrapper
Robertorosmaninho Jun 6, 2024
bdb2ec1
Adding new `test_streaming_parser_iter` test
Robertorosmaninho Jun 6, 2024
f19b3ea
Adding new `test_streaming_parser_iter` test
Robertorosmaninho Jun 6, 2024
2242094
Formatting
Robertorosmaninho Jun 6, 2024
ebfddd5
Importing KoreHeader
Robertorosmaninho Jun 6, 2024
64fe65e
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 6, 2024
4b7b77e
Fixing merge error
Robertorosmaninho Jun 6, 2024
a9d85ef
formatting
Robertorosmaninho Jun 6, 2024
4997f90
Fixing import issue
Robertorosmaninho Jun 6, 2024
754d74c
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 6, 2024
575f120
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 7, 2024
2419fda
Renaming hints and header file to avoid writing in different file tha…
Robertorosmaninho Jun 7, 2024
3229264
Addressing some simple comments
Robertorosmaninho Jun 10, 2024
4fb0822
Adding `napoleon` extentions
Robertorosmaninho Jun 10, 2024
0d340f6
Formatting Comments
Robertorosmaninho Jun 10, 2024
aea3ddc
Formatting
Robertorosmaninho Jun 10, 2024
381df4a
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 10, 2024
e8ea19e
Addressing comments
Robertorosmaninho Jun 11, 2024
abac609
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 11, 2024
d91d011
Addressing comments
Robertorosmaninho Jun 11, 2024
8addcbe
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 12, 2024
d2c0bef
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 12, 2024
d1072c2
Merge branch 'develop' into pyk-streaming-parser-hints
rv-jenkins Jun 12, 2024
b72f4a1
Merge branch 'develop' into pyk-streaming-parser-hints
Robertorosmaninho Jun 12, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions pyk/docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@

extensions = [
'sphinx.ext.autodoc',
'sphinx.ext.napoleon',
'sphinx.ext.viewcode',
]
templates_path = ['_templates']
Expand All @@ -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

Expand Down
Loading
Loading