News

Takuan: Takuan Contributes to Daikon

Added by Manuel Palomo Duarte over 2 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: Nexus upgraded to 2.9.0-04, Jenkins upgraded to 1.565.1

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

A periodic update has been performed for Jenkins and Nexus. For details about bug fixes and new features, see their release notes:

https://support.sonatype.com/entries/23157258
http://jenkins-ci.org/changelog-stable

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

Added by Antonio García Domínguez over 3 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.1-01

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

Nexus has been upgraded to version 2.7.1-01, which corrects an urgent security vulnerability among other bugs:

https://support.sonatype.com/entries/37828023

User Support Area: Nexus upgraded to 2.7.0-04

Added by Antonio García Domínguez over 3 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.

Takuan: Takuan version 2.0 available

Added by Manuel Palomo Duarte almost 5 years ago

New improvements, optimizations and some bugs fixed!

Download from https://neptuno.uca.es/files/takuan2-perf-exp/software/takuan-launcher-2.0-i386.tar.gz

PFC: Creación del proyecto

Added by Antonio García Domínguez about 6 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: Continuous integration server available

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

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.

GAmera: Version 1.1 available

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

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:

bash install.sh

This script has been tested with Ubuntu 9.10 and openSUSE 11.0.

For details about the changes, please check the changelog.

User Support Area: HTTP access to SVN closed

Added by Antonio García Domínguez over 7 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 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/

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.

1 2 (1-10/15)

Also available in: Atom