Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Big Clafer update
We have released a new version of the Clafer to Alloy translator. The translator contains several optimizations that speed up model analysis in the Alloy Analyzer. The analysis is at least two times shorter, but speedup by factor of 4 is not uncommon. More about the optimizations can be found in CS 744 project report [PDF].
The new code is publicly available at GitHub. You can download the code and run on your computer (instructions are in the readme file. Alternatively, you can try the new online version. We also created an emacs mode for editing Clafer files.