Compte rendu de la réunion du 14 octobre 2009

Par Rosen Jeanpierre

Le 14 octobre 2009 a 14h15 les candidats à la reprise de l’association Ada France se sont réunis dans les locaux d’AdaLog.

AdaControl 1.10r10

Par Rosen Jeanpierre

Posté sur fr.comp.lang.ada : Cette nouvelle version est une simple correction de bugs, pour des cas tordus de renamings compliqués. Aucun changement de fonctionnalité. Mise à jour conseillée, désolé pour le dérangement. J-P. Rosen

AdaControl 1.10r8

Par Rosen Jeanpierre

Adalog a le plaisir d’annoncer la mise à disposition d’une nouvelle version d’AdaControl, avec maintenant 372 possibilité de vérifications! Plus des améliorations aux autres règles, et à la facilité d’utilisation en général (et même quelques corrections de bugs). Les distributions exécutables sont maintenant précompilées pour gnat/GPL2008. En plus, les utilisateurs Windows seront ravis de voir que les distributions source et exécutable sont aussi fournies sous forme d’installateurs qui s’occupent de tout. (Merci à Inno-Setup, un excellent générateur d’installateurs libre). Comme toujours, tout est sous licence GMGPL. Un service de support commercial, ainsi que …

Nouvelle édition de la Charte Debian pour Ada

Par Rosen Jeanpierre

Cette Troisième Édition de la Charte Debian pour Ada reflète la manière dont les paquets sont faits dans Debian 5.0 « Lenny ». Le document est disponible en anglais en HTML, texte, PDF, info et texinfo. La source texinfo de ce document se trouve dans la base de données Monotone publique d’Ada-France. Les changements depuis la Seconde Édition (Debian 4.0 « Etch »):

  • Publication finale de l’Amendement 1 (Ada 2005)
  • Transition vers GCC 4.3
  • Les fichiers projets deviennent des fichiers projets de bibliothèques (library project files)
  • GLADE remplacé par PolyORB (mais malheureusement pas fourni dans Debian)

Un petit tutoriel Ada

Par Rosen Jeanpierre

L’association Telecom-Robotics a publié un tutoriel Ada.

Ada au FOSDEM 2009, appel aux bonnes volontés

Par Rosen Jeanpierre

Ada-Belgium sollicite les contributions pour une seconde journée de présentations Ada au FOSDEM 2009. Après les succès des Rencontres Mondiales du Logiciel Libre à Bordeaux en 2004 et du FOSDEM à Bruxelles en 2006, Ada-Belgium fait un appel aux personnes intéressées pour le FOSDEM de février 2009 à Bruxelles.

Ada-Belgium organise un barbecue avec atelier Debian le 18 mai 2008

Par Rosen Jeanpierre

Ada-Belgium organise un barbecue avec atelier de mise au point de paquetages Debian, sur une demi-journée, le 18 mai 2008, à Louvain. Les personnes intéressées doivent s’inscrire à l’avance. Le barbecue est gratuit pour les membres d’Ada-Belgium, et payant (10 euros) pour les non-membres. Le reste de la journée est gratuit. Voir en ligne : L’invitation officielle en anglais, avec description de la demi-journée

Présentations faites lors de la journée Ada 6 décembre 2007

Par Rosen Jeanpierre

Programme de la Journée Ada-France le 6 décembre 2007, à Brest

Par Rosen Jeanpierre

Reprise des activités d’Ada-France

Par Rosen Jeanpierre

Journée Ada-France le 6 décembre 2007 à Brest

Par Rosen Jeanpierre

Compte rendu de l’assemblée générale du 19 Janvier 2007

Par Rosen Jeanpierre

Ada chez Barco avionique

Par Rosen Jeanpierre

Le 12 juin dernier se déroulait l’assemblée générale de l’association Ada-Belgium. À cette occasion, Ludovic Brenta a parlé de la société pour laquelle il travaille, Barco avionique, des produits qu’elle fabrique, des normes de certification et de l’utilisation qu’elle fait d’Ada. Il a ensuite parlé des normes de codage en vigueur chez Barco avionique et de leur justification. Voir en ligne : L’annonce de la soirée avec lien vers les transparents (en anglais)

Ada-France hosts a Monotone server

Par Rosen Jeanpierre

(English version of the previous article) Ada-France hosts an experimental Monotone server containing the pakaging scripts for many Debian packages, as well as other projects. The packaging scripts that Debian uses to produce binary packages from upstream sources are themselves Free Software; they are part of the source packages published on the Debian mirrors. Participating in their maintenance and enhancement is now easier thanks to Monotone.

Log4Ada

Par Rosen Jeanpierre

Log4Ada une bibliothèque de logging est maintenant hébergée sur le serveur monotone de Ada France (Merci Ludovic) : org.log4ada Cette bibliothèque permet de logguer en console ou vers un serveur de type log4j. Il reste pas mal de boulot à réaliser coté donc, même si deux codes de test sont disponibles. Pour plus de renseignements : grave@ipno.in2p3.fr Voir en ligne :

AdaControl 1.6r8

Par Rosen Jeanpierre

Adalog a le plaisir d’annoncer la disponibilité de la version 1.6r8 d’AdaControl, le vérificateur de règles libre pour Ada. Grâce au soutien de notre nouveau client SAGEM-DS et aux contributions de R. Toy, AdaControl fournit maintenant 216 vérifications. En particulier, il y a maintenant des règles pour vérifier que les commentaires d’en-tête de module correspondent à un pattern donné, l’indication de possibles faux positifs ou faux négatifs dus à des constructions non analysables statiquement, la définition fine des éléments autorisés dans les barrières d’entrées (y compris celle du profil Ravenscar), le perfectionnement de l’intégration dans GPS, et bien d’autres choses …

ImgSvr 0.6.7

Par Rosen Jeanpierre

Nouvelle version du logiciel Imgsvr (AdaImgsvr) Celui ci a été grandement simplifié pour les novices. Utilise les fameuses librairies

  • AWS
  • JpegLib
  • libGDBM … Voir en ligne : Site Web du logiciel

Un serveur Monotone sur Ada-France

Par Rosen Jeanpierre

Ada-France a mis en place un serveur Monotone expérimental, dont la base de données contient les scripts des paquets Ada dans Debian. Comme chacun sait, les scripts de tous les paquets Debian sont publics; ils font partie des paquets sources publiés sur les serveurs. Il est désormais plus facile de participer à leur entretien et à leur amélioration grâce à Monotone.

AdaControl dans Debian

Par Rosen Jeanpierre

AdaControl, le logiciel libre de vérification de normes de codage écrit par AdaLog pour Eurocontrol, est arrivé dans Debian instable. Sa série de tests intégrée m’a permis de déterminer qu’ASIS 2005 GPL Edition fonctionnait bien avec GCC 4.1 à condition de désactiver les assertions, mais qu’ASIS 2006 GPL Edition ne fonctionnait pas, à cause de changements nécessaires au compilateur. Ainsi, c’est ASIS 2005 qui sera dans Debian Etch, et qui est déjà dans instable. Un des avantages de l’intégration dans Debian est qu’AdaControl dispose maintenant d’une base de données pour garder …

Ada dans Debian: transition vers GCC 4.1 pour Etch

Par Rosen Jeanpierre

Le compilateur Ada par défaut de Debian va passer de GNAT 3.15p à GCC 4.1. Toutes les bibliothèques seront recompilées avec ce nouveau compilateur. Attention, la license de plusieurs bibliothèques change en GPL pure. Debian est, entre autres, une excellente plate-forme de développement et de déploiement de programmes en Ada. Dans la version stable actuelle, « Sarge », cette plate-forme utilise GNAT 3.15p. Dans la prochaine, « Etch », le compilateur sera GCC 4.1.