040000 tree 388335a55c685736574bb6910fc0e34c98c16f43	s4-base
040000 tree 1594186f70f406d58934f5f05dd8d3c767f6897f	s4-benchmarks
040000 tree 585e7943b3d4c1ece971ff81c903a70287ecfd64	s4-comm
040000 tree 389f73f7e143bf3b6406071a67827136d13a9ee6	s4-core
040000 tree 4bfc0b58e22b17ac4c663be732b1e3543e38dcb2	s4-edsl
040000 tree 168fa2873fc906ab8ff31d0d1ca310be60a185dd	s4-example
040000 tree e0f18c963dde6c8748c79fc3145c4ea35ee5869b	s4-tools