Takuan: Takuan Contributes to Daikon

Added by Manuel Palomo Duarte about 4 years ago

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.

User Support Area: Redmine upgraded to 2.4.2, UCA LDAP is supported

Added by Antonio García Domínguez almost 5 years ago

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".

User Support Area: Nexus upgraded to 2.7.0-04

Added by Antonio García Domínguez about 5 years ago

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.

PFC: Creación del proyecto

Added by Antonio García Domínguez over 7 years ago

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.

User Support Area: HTTP access to SVN closed

Added by Antonio García Domínguez over 8 years ago

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 https:// scheme.

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
  • Relocate your existing working copy to the new address:
    svn switch --relocate

NOTE 1: 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