Update to 1.7.0 - Githubissues

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Update to 1.7.0 #477

Closed pdeligia closed 4 years ago

pdeligia commented 4 years ago

This PR removes TraceViewer (moved to another repo), performs some cleanup and also exposes BugTrace as public (which is used by TraceViewer), and finally bumps the version to 1.7.0.