search

microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems.
http://research.microsoft.com/en-us/projects/ironclad/
Other
241 stars 56 forks source link

Prevent conflict between builds concurrently using host shell #12

Closed jaylorch closed 3 years ago

jaylorch commented 3 years ago

Fixes #11