040000 tree eb97c62af57e0fc3045932c4acc55df5f72ea9ac	s4-base
040000 tree 714a81bf7746d0ebe96183be3ac126370fa263a3	s4-benchmarks
040000 tree 421305dde0dd5d0838e94a8b55a972d83c054cd1	s4-comm
040000 tree 5564b82b80e8f83033a4c70b144f4e9ece124d47	s4-core
040000 tree d9cf37e8c964a4b0ecef75950ac5c9e1ab07ec1c	s4-edsl
040000 tree 168fa2873fc906ab8ff31d0d1ca310be60a185dd	s4-example
040000 tree ec9cfa6161f09d79a7ffec4df5e7c6c9b3c5fba0	s4-tools