Ankush Desai
Results
12
issues of
Ankush Desai
Currently, the test-cases are overly complicated with having to union modules and specify the main machine, etc. This needs to be revisited.
P Language Enhancement
We had added module system for compositional reasoning. No one seems to use it and there must be a simpler way of setting things up when developers are not using...
P Module System (Compositional Reasoning)