Summary: This area is for Spec# community discussion of areas for future development.


Some suggested feature development topics include (in no particular order):
* NextRelease
* EnumRange
* LoopInvariants
* LoopVariants
* ParallelLoopExecution
* OldAvailability
* OnceSemantics
Microsoft Communities