Programs developed for Progvis, illustrating differnent aspects of concurrency and memory handling.
Progvis is a program visualization tool written in Storm. Supports a subset of C/C++, and other languages supported by the Storm language platform. Aimed at showing how concurrent programs interact with pointers/references and other fundamental programming concepts.