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

Automatic PR dev->master #918

Merged
merged 36 commits into from
Feb 14, 2024
Merged

Automatic PR dev->master #918

merged 36 commits into from
Feb 14, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Dec 1, 2023

AWS tests passed. dev branch can be merged to master.

@davideschiavone
Copy link
Contributor

@suppamax is it normal that fails the check?

Yoann Pruvost and others added 25 commits December 6, 2023 18:07
RVFI - Correcting rvfi trace commit in some corner cases
476381d
@davideschiavone
Merge pull request #919 from YoannPruvost/dev_ypr_better_rvfi_commit
61423d9 
RVFI - Correcting rvfi trace commit in some corner cases
RVFI - Propagate back late mstatus_fs update
f182233
@davideschiavone
Merge pull request #921 from YoannPruvost/dev_ypr_mstatus_update
11e2490 
RVFI - Propagate back late mstatus_fs update
RVFI - Cleaning ex to wb trigger in rvfi
0fbd573
RVFI - Removing commented out code
bebce6b
@davideschiavone
Merge pull request #922 from YoannPruvost/dev_ypr_ex_valid_adjusted
d658f65 
RVFI - Cleaning ex to wb trigger in rvfi
RVFI - Removing apu_rvalid from gating ex to wb trigger
05374b5
RVFI - Removing commented out code
2acd133
Merge pull request #923 from YoannPruvost/dev_ypr_ex_trigger
b88b4cc 
RVFI - Removing apu_rvalid from gating ex to wb trigger
RVFI - Better illegal reporting
68497d2
RVFI - better mstatus_fs updates caused by flw
115d5f8
Running verible
01d399a
@suppamax
Update check_target_on_pr.yml
9eee13d
@suppamax
Update check_target_on_pr.yml
fc09f33
@davideschiavone
Merge pull request #926 from suppamax/patch-2
e3cc719 
Update check_target_on_pr.yml
@davideschiavone
Merge pull request #925 from YoannPruvost/dev_dpc_and_illegal_and_mst…
e4a12f9 
…atus

RVFI - Illegal and mstatus
Corrected MPEC/MEPC typo error.
7c4d841 
Signed-off-by: Pascal Gouedo <[email protected]>
@davideschiavone
Merge pull request #927 from pascalgouedo/dev_dd_pgo_doc
c010206 
Corrected MPEC/MEPC typo error in User Manual
RVFI - Better xret handling
17b972f
RVFI - Better minstret csr sampling
a5061c7
@YoannPruvost
Merge pull request #930 from YoannPruvost/dev-rvfi_mret
308c5b6 
RVFI - Better XRET handling and better minstret csr sampling
Additional advice when setting up HWLoops.
b7abe3a 
Signed-off-by: Pascal Gouedo <[email protected]>
@davideschiavone
Merge pull request #932 from pascalgouedo/dev_dd_pgo_doc
8ba4e7e 
Additional advice when setting up HWLoops.
@MikeOpenHWGroup
Add an example for updating copyright and license header (#934)
48021ae
@pascalgouedo
Copy link

Hi @davideschiavone
If you have a look to previous Automatic merges PRs and master branch, you will see that none of them were able to be merged in master for 2 months now.

YoannPruvost and others added 9 commits January 9, 2024 10:11
@YoannPruvost
Merge pull request #935 from YoannPruvost/dev-rvfi_dpc
ca7f156 
RVFI - Recovering proper dpc sampling
RVFI - Checking csr write address for dpc
15e7b2f
@YoannPruvost
Merge pull request #936 from YoannPruvost/dev-RVFI-dpc_we
71833e8 
RVFI - Checking csr write address for dpc
RVFI - Prevent double override of mstatus_fs
e6f4a83
@YoannPruvost
Merge pull request #939 from YoannPruvost/dev-RVFI-mstatus_fs_conflict
82df282 
RVFI - Prevent double override of mstatus_fs
Issue #937 corrections. (#940)
a11f061 
Signed-off-by: Pascal Gouedo <[email protected]>
Removed PULP Floating Point DIV/SQRT unit from manifest. (#938)
75455ab 
Signed-off-by: Pascal Gouedo <[email protected]>
@YoannPruvost
RVFI - Cleaner of fetched instruction to avoid fake invalid (#941)
a227daa
User Manual update : Added clipr/clipur note about rs2. (#944)
1a58c7b 
* Signed-off-by: Pascal Gouedo <[email protected]>

* Added clipr/clipur note about rs2.

Signed-off-by: Pascal Gouedo <[email protected]>

---------

Signed-off-by: Pascal Gouedo <[email protected]>
@davideschiavone davideschiavone added the Component:Doc For issues in the Documentation (e.g. for README.md files) label Feb 14, 2024
@davideschiavone davideschiavone merged commit 6adc6b3 into master Feb 14, 2024
4 of 7 checks passed
@pascalgouedo pascalgouedo removed the Component:Doc For issues in the Documentation (e.g. for README.md files) label Feb 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@davideschiavone davideschiavone Awaiting requested review from davideschiavone

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@davideschiavone @pascalgouedo @jstraus59 @Imperas @MikeOpenHWGroup @suppamax @YoannPruvost