Notes on project build status

Here is the meaning of status icons:

• :heavy_check_mark: : Build success, and can run all test cases while revealing potential undefined behaviors.
• :large_orange_diamond: : Build success, can run most test cases but will fail in some.
• :red_circle: : Build success, but failed to run all test cases.
• :black_circle: : Build failure.
• :large_blue_diamond: : Have dig deep into the code and found some interesting results.

Project	Link	Notes	Status
scrypt	https://github.com/Tarsnap/scrypt	Testing results	:black_circle:
bogosort	https://github.com/runtimeverification/rv-match_testing/tree/master/tests/bogosort	Build successfully	:heavy_check_mark:
spin	http://spinroot.com/spin/Src/spin647.tar.gz	Testing results	:heavy_check_mark:
tcpdump	https://github.com/the-tcpdump-group/tcpdump	Testing results	:red_circle: :large_blue_diamond:
vim	https://github.com/vim/vim	Testing results	:black_circle:
libpcap	https://github.com/the-tcpdump-group/libpcap.git	Testing results	:large_orange_diamond:
getty	https://github.com/StarchLinux/getty	Testing results	:black_circle: :large_blue_diamond:
mawk	https://invisible-island.net/mawk/mawk.html	Testing results	:red_circle: :large_blue_diamond:
wget	https://github.com/mirror/wget	Testing results	:black_circle:
libuv	https://github.com/libuv/libuv	Testing results	:red_circle:
dpkg	https://salsa.debian.org/dpkg-team/dpkg	Testing results	:black_circle:
remotery	https://github.com/Celtoys/Remotery	Testing results	:black_circle: :large_blue_diamond:
coreutils	https://github.com/coreutils/coreutils	Testing results	:black_circle: :large_blue_diamond: