100644 blob eb0ddd73ff20ada6d1436d10c0513eff322162e4	TODO
100644 blob 699462baa2d9a808af459448133a9fb855c98917	analysis.go
100644 blob 6da20146cb0ec2eab9235c953616eeab38f44338	api.go
100644 blob 6ef415d220ae780b13e326c031a436d35bf3792d	callgraph.go
100644 blob f7603cbc69f89ab045dd23d328bd7bdc5a7a46d3	constraint.go
100644 blob 013cc10702e09dade8eeef6c04d88b0ef1fdbcbe	doc.go
100644 blob 3606ed6973d413f48ad886b712c6a3409195026e	example_test.go
100644 blob b3a4d7547b7c7d46a1e02836bb3876b8acd7ebb4	gen.go
100644 blob a2257fec54943c57bd57a231d19479a236310c82	intrinsics.go
100644 blob 48a9f0b9f975578cf47345dda865b3d47af47073	labels.go
100644 blob e27508afd8c6411ea60b8a9d53748d2ce47d2c38	opt.go
100644 blob 4f276e70632a8a3eb53f23e9f22b64b7e5902217	pointer_test.go
100644 blob a0b11e8a8878233612da9a98619d95850ac24b3e	print.go
100644 blob c9b3e24a5770723c0c94ec6b83517cc65125813b	reflect.go
100644 blob 6a6a5ee901779627c1b4e447098b3448876eedda	solve.go
040000 tree 2d72e4edb16c829b21a5fd4d4728e40a8ac79d24	testdata
100644 blob 06d271d7bf1f221b90ceebf6bd8df4b45439490f	util.go