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.

Sign up for GitHub

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

Jump to bottom

Draft: Recent Changes #60

Merged
merged 80 commits into from
Mar 28, 2024
Merged

Draft: Recent Changes #60

merged 80 commits into from
Mar 28, 2024

Conversation

PhilippvK
Copy link
Member

No description provided.

@PhilippvK
settings: expose debug_build config and use_ninja to user
dc9e029
@PhilippvK
examples/cfg/llvm.yml: no not build x86 target
62fff51
@PhilippvK
demo: add prepatched setting
8ee4e92
@PhilippvK
cdsl writer: fixes
75c6769
@PhilippvK
mattr: use +gpr32v by default
53a54df
@PhilippvK
add __repr__ for Seal5Operand
e8c8ca1
@PhilippvK
small fix for gen_set_td
a6ab658
@PhilippvK
examples/cfg/llvm.yml: no not build x86 target
ec67145
@PhilippvK
update llvm18 patch
de32129
@PhilippvK
move pattern gen support patch to PASE_0
9a6f11c
@PhilippvK
try passing legalizer settings via cmdline
4fe35da
@PhilippvK
WIP: add seal5 prefix to all instrs (workaround)
2a6dd85
@PhilippvK
demo: expose some options as environment vars
a059aa2
@PhilippvK
fix gen_riscv_instr_info_str
a3e06cc
@PhilippvK
clear filters in flow.settings.reset()
9de8792
@PhilippvK
pattern-gen: disable-gisel-legality-check
5fb43cd
@PhilippvK
filter_model: allow regex filters
c06252e
@PhilippvK
run pattern_gen using threadpoolexecutor
4b93be2
@PhilippvK
allow gloab file patterns in flow.load()
2543668
@PhilippvK
add stage runtimes to metrics
ac6cc62
@PhilippvK
rename test files
74897d4
@PhilippvK
filter_model: allow regex filters 2
0602401
@PhilippvK
add sha256 examples
378e7db
@PhilippvK
clear pass settings in flow.reset()
b5cf73d
@PhilippvK
detect_inouts: fix bug in ternary visitor
390ffbd
@PhilippvK
convert_behav_to_tablegen: fix
458f7d5
@PhilippvK
Seal5Pass: actually use user-provided overrides
2391f5e
@PhilippvK
Seal5Settings.reset(): clear user provided tests
0df1450
@PhilippvK
seal5.backends.llvmir.writer: use mattr from riscv.yml
0c0dc2d
@PhilippvK
update demo files
2d79837
@PhilippvK
add new rv_tumeda files
8bd61a2
@PhilippvK
refactor cfgs
ae236df
@PhilippvK
provide smaller demo scripts (grouped by corev, gen, s4e)
49c4b62
@PhilippvK
notes
a748ae4
@PhilippvK
gen example updates
82ce3b0
@PhilippvK
add manual uimm12_op.patch
80cdd91
@PhilippvK
gen example updates
b5b9585
@PhilippvK
riscv_instr_info: fix handling of writeback constraints
5c12094
@PhilippvK
seal5.transform.converter: fix
5f1e82d
@PhilippvK
seal5.transform.filter_model: make assertions more helpful
1b991c5
@PhilippvK
update demo
9ffb140
@PhilippvK
add custom patches
09a2608
@PhilippvK
coredsl2_seal5: add more helpful error message for missing imports
62d4a32
@PhilippvK
small fix for seal5.backends.coredsl2.writer when list of operands is…
aec7b0d 
… empty
@PhilippvK
whitespace fixes in some backends
1392465
@PhilippvK
fix for filter_model
f80d907
@PhilippvK
examples/corev_demo.py: fixes
6d037bd
@PhilippvK
examples/s4e_demo.py: fixes
890c038
@PhilippvK
small fix for seal5.backends.coredsl2.writer when list of operands is…
b4f9eab 
… empty 2
@PhilippvK
examples/s4e_demo.py: load test file
7c4e8c2
@PhilippvK
add missing cdsl files for rv_gen
e8719e5
@PhilippvK
remove rv_gen dir
793f81b
@PhilippvK
add rv_gen submodule
ab36a8e
@PhilippvK
[CI] .github/workflows/demo.yml: allow chooing script name for demo
39b5e22
@PhilippvK
update rv_s4e submodule ref
866c183
@PhilippvK
[lint] run black formatter
7220421
@PhilippvK
[lint] make flake8 happy
af31695
PhilippvK
PhilippvK commented Mar 28, 2024
View reviewed changes
Copy link
Member Author

@PhilippvK PhilippvK left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ready for merge

@PhilippvK PhilippvK merged commit 6631b40 into main Mar 28, 2024
4 of 6 checks passed
@PhilippvK PhilippvK deleted the philippvk-new branch August 16, 2024 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@PhilippvK