040000 tree bc499805028268638846080149e62b9e8770b8f0	CXX
040000 tree aa4b3488e03ba111a85d3418b5af720be69772b7	Concrete
040000 tree b7e5a6d98e31a93ef948c3b5029d228a8e4e1932	Coverage
040000 tree c7b9b3bafb53d858481de64d1de9173bc7a05a4e	Dogfood
040000 tree 94366d75aa4b6169a9e2abd04e0fe86c845f62c7	Expr
040000 tree d5b58861fd1f3e6436fd13d3b77d0d330f092f73	Feature
100644 blob 75e05dda27208c6e94d3a606c6eb28b09a396468	Makefile
100644 blob ad9f2eabc7f1448143f2028dbc2e4c1648e5a4b6	Makefile.tests
040000 tree 408871fe81caa0b662480b5fa673069ecca46c9f	Programs
100644 blob 53d30ce26210bdba6d2bec59da31db5f1208d218	README
040000 tree 3a886176f0f57d2a66b9d0b859029eb00632e780	Runtime
040000 tree bca3c896dd97604ee3d40ab86f96bac6e461f272	Solver
100755 blob 3e2cace4cfcb7b91c41d481ccdd7f7de90b98045	TestRunner.sh
040000 tree d001f50266df38a09ca55d1ddd5f4dcc1c8bde9b	lib
100644 blob 39aaa82442522f77698b278936b58d7580cb5a85	lit.cfg
100644 blob ec92b32decf8d1d2da8eccbec54d751e7fa54356	lit.site.cfg.in
040000 tree e90961e7faed5bc7a4969ecde6a1c81d0dce2079	regression