Chris Rankin 2652dfce3f
Support for creating and joining Java threads within SGX Avian. (#123)
* Add threading support to SGX Avian.
* Handle contract verification exceptions using uncaught exception handler.
* Indent uniformly to 4 spaces.
* Add comments for some of the uses of SGX synchronisation primitives.
2018-03-06 15:45:44 +00:00
..