We are glad to announce that the Takuan invariant suppression module has been integrated into Daikon core.
Using this module, Daikon can received in its input a file containing a list of "already known" invariants. Then, during its execution it will not check them, saving time and providing a more accurate output.
A periodic update has been performed for Jenkins and Nexus. For details about bug fixes and new features, see their release notes:
Redmine has been upgraded to version 2.4.2, adding many features and bugfixes.
Among them, LDAP support has been added. Existing users wishing to authenticate against their University of Cádiz LDAP credentials should modify their Redmine username to their "u + National ID" LDAP username, and change the authentication method to "LDAP UCA".
Nexus has been upgraded to version 2.7.1-01, which corrects an urgent security vulnerability among other bugs:
After running into some "out of memory" issues with the existing 2.3.0 installation of Nexus, the instance running in Neptuno has been upgraded to version 2.7.0. This version fixes many bugs and requires Java 7, as Java 6 went EOL on February 2013.
New improvements, optimizations and some bugs fixed!
Se ha creado un proyecto padre para reunir a los PFC alojados en esta forja. Este proyecto servirá para reunir información útil a los alumnos de PFC de las carreras de Informática.
A Hudson continous integration server is now available at https://neptuno.uca.es/hudson/.
The Hudson server also has Sonar installed for generating code quality metrics. Reports are available at https://neptuno.uca.es/sonar/.
If you'd like Hudson or Sonar for your project at this forge, please contact the administrator.
Version 1.1 of GAmera has been tagged in the main source area. To install it, download its installation script to any directory and run the following command from there:
This script has been tested with Ubuntu 9.10 and openSUSE 11.0.
For details about the changes, please check the changelog.
Since last Monday, HTTP access to all Subversion repositories has been cut off for security reasons. Subversion repositories are now only available through SSL, using the same URL but with the
To upgrade your working copy of the SVN repository in the project with short ID
project-id, there are two options:
- Create a new working copy from scratch:
svn co https://neptuno.uca.es/svn/project-id
- Relocate your existing working copy to the new address:
svn switch --relocate https://neptuno.uca.es/svn/project-short-name/
project-short-name is the short ID string for your project. For instance, all pages of the User Area project contain "/userarea" after "/projects", so its short ID is "userarea" (without quotes).
NOTE 2: older GNU/Linux distributions might not trust the TENERA SSL certificate used in this site. You will have to tell Subversion to permanently trust this site's certificate in that case.
Also available in: Atom