- Sunnyvale, CA
Earned achievements
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x2
Pull Shark
x2Pull Shark
x2@ericpts opened pull requests that have been merged.
History
Bronze unlocked
·
First unlocked
2015-10-14 18:43:04 UTC
runtimeverification/racy-c-programs#2 · 2nd pull request merged
Thomas1995/Rentz#2 · 16th pull request merged