100644 blob c7802ec1739c81f47d114e531560c7ff8a6001cc	BUILD
100644 blob fd327b7541c2da6a1a1b50073bb107a8842d6c59	Makefile
100755 blob d2e89a6f2a4d2b8f6b545223ca839c007fe0ebd4	analyze_information_flow.py
100755 blob f59cb7ae9c4f014de3690de8ec57c513c7475963	check_call_stack.py
100755 blob 7fbedd05fe563e3b8fdecc7b7d1101600d9bb09b	check_const_time.py
100755 blob e42efbf98cc9cd4710d391c2d3028ec8c204c06d	check_loop.py
040000 tree 5bcab83497b0a4cb7b14ed06114d1b9c571c09bf	docs
100644 blob 7fe056b14c543ea2d89e314435369783a05a4799	mypy.ini
100755 blob 523fa4cbce0b590fe25b8ce03ca1a17222983f4f	otbn-as
100755 blob f040c5bfed7f2199ac4ae83b1a23862f13054c7f	otbn-ld
100755 blob d0249c5d0090dd78016aca903a8255fab3235822	otbn-objdump
040000 tree 1696d9d14c312baf4fd491a22f16ba35e2655bbb	shared
100755 blob 860706eb777cdddcc0e0fd6ad19d9fc4639bb3c8	yaml_to_doc.py