Table of contents
requires an authentication.
SED contributes to maintain and promote the following tools use:
Software versioning and revision control system
Inria Forge: Beware this will be obsolete soon
- National page gforge.inria.fr
- Admins Wiki wiki.inria.fr/forge
GitLab
- National Page gitlab.inria.fr
Continuous Integration
Jenkins
The chosen solution for continuous integration is Jenkins.
- Official Page Jenkins
- Inria Server: ci.inria.fr
Build/Tests Tools
Maven
Tool for build, reporting and dependencies management
- Official Page: maven.apache.org
- Inria Maveb Repository
CDash
Vizualisation tool for the CMake suite, online open-source, that allows to group, analyze and display the test procedures results.
- Official Page: cdash.org
- Inria Server: cdash.inria.fr
ALLGo
Online algorithms test server (web-services).
- Official Page: allgo.inria.fr
Debugging
DDT/Map
Debugging/Profiling tools.
- More info on the intranet, DDT/Map
Bugzilla
Online bug tracking tool.
- Official Page: bugzilla.org
- Inria Server: bugzilla.inria.fr
Note: Gitlab and Forge versioning systems also directly include bug tracking tools.
Text Edition
Online collaborative text editor.
- Instance at IRISA: https://sharelatex.irisa.fr
- Official Page: www.sharelatex.com
