PROPOSED
Enable sha512 support
build for aarch-unknown-linux-gnu
Enable wala to run in subdirectory
BACKLOG
Rehabilitate test_trace_auth_inactive test
PENDING
DOING
REVIEW
FINISHED
BLOCKED