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 …

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.

Les transparents présentés lors du FOSDEM 2006 sont disponibles en ligne.

Aurélien Jarno a porté GNAT 3.4, 4.0 et 4.1 vers GNU/kFreeBSD. Le patch a été accepté dans GCC. Il a en outre porté GNAT 3.15p vers ce système; dans Debian, le paquet gnat 3.15p-18 prend en compte les modifications nécessaires. Les autres paquets Ada dans Debian suivront. GNU/kFreeBSD est un système d’exploitation construit sur le noyau de FreeBSD, mais avec l’environnement utilisateur GNU (glibc, utilitaires, etc.). Il existe une distribution Debian GNU/kFreeBSD en cours de développement. Les paquets Debian gnat-3.4, gnat-4.0 et gnat-4.1 incorporent d’ores et déjà ce patch. Voir en ligne …

Les vidéos de la « Ada UK Conference 2006 » sont disponibles sur le site d’AdaCore. Voir en ligne : Site des vidéos

La problématique de la rénoncialtion aux droits fondamentaux, telle est l’objet de notre présente refléxion.La question de savoir s’il est admissible que l’on rénonce à un droit fondamental reçoit des réponses variées, mais qui souvent tournent autour de deux thèses. Le premier est celui de la nature même de certains droits fondamentaux et l’autre est celui du caractère fondamental de certains droits de l’homme en général. Dans la présente étude, nous examinons la question de la rénonciation au droit à la vie par la pratique de l’éuthanasie. Il s’agira précisement de …

Plusieurs présentations relatives à Ada auront lieu dans une salle dédiée lors du FOSDEM 2006 à Bruxelles. Le célèbre FOSDEM (Free and Open-Source Developers’ Meeting) se tient chaque année en février à Bruxelles. L’édition 2006 est prévue pour les samedi 25 et dimanche 26 février. L’association Ada-Belgium organise une série de présentations relatives à Ada, pendant toute la journée de dimanche.

Offre de stage, développement Ada

Domaine: compilation, ASIS, GTK/Ada

Mise à jour de la Foire Aux Questions (FAQ) du groupe fr.comp.lang.ada pour prendre en compte les différentes licenses de GNAT.

Peut-être vous êtes vous déja demandé comment sauvegarder des préférences de l’utilisateur d’une exécution à l’autre. Il existe de nombreuses solutions, mais, pour peu que l’on se contente d’un stockage dans un format binaire, GNAT nous en fournie une imbattable en terme de simplicité.

Cet article a pour but de fédérer les efforts de rédaction d’un « Ada Adopton Flyer » tout en évitant un trafic trop important sur la liste ada-france.

Dans le cadre du thème Langages de haut niveau pour les applications , Ada-France organise la présentation d’Ada aux RMLL 2004, le 8 juillet.

Ada-France a organisé une journée thèmatique autour d’Ada et Modélisation. Cette journée a eu lieu à Jussieu en salle 203 (bat 41) pour le 27 mai 2004.