CitLab Wiki

CitLab can be installed as eclipse plugin. Add the following url to the update sites of your eclipse:

http://svn.code.sf.net/p/citlab/code/updatesite/

Deselect "Group items by category" checkbox in order to see the available plugins.

After the installation process ends, check for Eclipse Updates and install them.

The plugins are installed together with all the dependencies, except for the executables for Casa and medici under Windows. For those programs, you need to install cygwin (you need /usr/bin/cygwin1.dll, /usr/bin/cygwin1.dll).

To use the new validation tools, download the right yices1 release at
http://yices.csl.sri.com/old/download-yices1-full.html:
Windows users can download Yices with GMP statically linked and extract
libyices.dll from the subfolder "lib" of the downloaded archive

Linux and OSX users can only download Yices with GMP dynamically linked and extract
libyices.so from the subfolder "lib" of the downloaded archive so they have to install
also GMP library https://gmplib.org/
After these steps
Add the following line to your eclipse.ini
-Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla
When you use for the first time the validator CitLab will ask you to give the path