People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Big Clafer update
by Kacper Bąk on July 26, 2011
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.
