100644 blob 8fcc5b2368a0414c938275d631c405b659db5395	Makefile
100644 blob aa7c6dd2df6055260512bf9e19560a60580b7200	README
100644 blob 8ae98fbe668b1884c7e6d1705c914eb1183a7de1	assert_fail.cpp
100644 blob ec051b39e5ffd20f7b154fae1322142c5f14ada4	handle_contract_violation.cpp