resolve warnings related to eq_big_perm, change it to perm_big (!97) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

The source project of this merge request has been removed.

Merged Ghost User requested to merge (removed):warnings into master 4 years ago

All threads resolved!

Activity

Björn Brandenburg @bbb · 4 years ago

Owner

Resolved 4 years ago by Björn Brandenburg

Thank you! Looking at the output of the CI job, there still appear to a few more instances of eq_big_perm and perm_eq_mem in other files. While you are at it, could you please take care of those as well?

Last reply by Björn Brandenburg 4 years ago
Ghost User added 1 commit 4 years ago
added 1 commit

925e88b9 - resolve a few more

Compare with previous version
Ghost User added 1 commit 4 years ago
added 1 commit

2dde725c - Update interference_bound_edf.v

Compare with previous version
Björn Brandenburg resolved all threads 4 years ago

resolved all threads
Björn Brandenburg merged 4 years ago

merged

Please register or sign in to reply