secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
927 stars 140 forks source link

Update CREDITS.txt #544

Closed fabianbs96 closed 1 year ago

fabianbs96 commented 1 year ago

Story

The CREDITS.txt file is out-dated. Update it

Prerequisites

Out Of Scope

Acceptance Criteria

The following acceptance criteria are defined regarding the result of this story: Clarify what the final result should be, not how to accomplish it.

Related Stories

Follow-up Stories

bleakprestiger commented 1 year ago

Can I take this enhancement ?

fabianbs96 commented 1 year ago

@bleakprestiger thanks for being willing to contribute to PhASAR. If you are confident tthat you know who are the regular contributors to PhASAR, of course, you can pick this up. Otherwise we might also find another task for you to work on