Update to version 1.6.10

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed pdeligia closed 5 years ago

pdeligia commented 5 years ago

This is a maintenance release, improving scripts and doing some cleanup.