Project members
Members can be added by project Maintainers or Owners
Account | Source | Role | Expiration | Activity |
|---|---|---|---|---|
Inherited from KLEE |
Owner
|
Nov 10, 2014
Nov 11, 2017
Apr 26, 2025
| ||
Direct member by Per Lindgren |
Developer
|
Sep 29, 2017
Feb 22, 2018
Nov 16, 2018
| ||
Direct member by Per Lindgren |
Owner
|
Dec 15, 2016
Feb 18, 2018
Feb 18, 2024
|
