mus logging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
local updates

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
local updates

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
finish sls code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
sls updates

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>