Shale Xiong

Improve logging

8

**Requested feature** An easy to use logging. - unified logging through all components, for example, `info!` and `debug!` in [`log` crate](https://docs.rs/log/latest/log/). - documentation for log. This includes what information is...

Naming of Mutex

1

Is there a particular reason the mutex is named `SgxMutex` rather than the standard name `Mutex` from the std? The name difference is particularly annoying when we want to use...

Features: Add DSL for executing several programs. The DSL contains standard sequential composition, `program_path_1 ; program_path_2 ;` and conditional composition, `if conditional_file { ... } else { ... }`. The...

Rework entirely on the execution engines and modify the policy accordingly. - Remove the support of WASMI since it only has an experimental support to WASI. - Remove the in-memory...