I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?