Tag - Annonces

GNAT GPL 2012 est paru !

Par Rosen Jeanpierre

La nouvelle version publique de GNAT, avec le support d’Ada 2012, vient de sortir. Comme d’habitude, il est disponible sur http://libre.adacore.com

Adacontrol version 1.12r4

Par Rosen Jeanpierre

La version 1.12r4 d’Adacontrol est disponible.

GNAT GPL 2010 Edition

Par Rosen Jeanpierre

L’édition 2010 de GNAT GPL edition est disponible.

AdaSockets 1.8.8

Par Rosen Jeanpierre

La version 1.8.8 d’AdaSockets est disponible sur le site de Samuel Tardieu.

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 …

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

GNAT porté vers GNU/kFreeBSD

Par Rosen Jeanpierre

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 …

GNADE 1.5.1

Par Rosen Jeanpierre

La version 1.5.1 de GNADE (GNAT Ada Database Environment) est disponible. Cette version aligne les build Windows et Linux, et utilise les projet files de GNAT. Voir en ligne : GNADE

G2F_Io, un binding Ada d’ImageMagick

Par Rosen Jeanpierre

Ali Bendriss met en ligne une version alpha incomplète de G2F_Io, un binding Ada de l’API C d’ImageMagick. ImageMagick est une riche bibliothèque de lecture, écriture et de manipulation d’images dans 89 formats majeurs. Ali attend les commentaires, en particulier sur le typage, la gestion de la mémoire, les exceptions, et même pourquoi pas un autre nom pour le binding. G2F_Io est sous license GMGPL, testé sous Linux et Windows 2000 avec GNAT, et la version d’ImageMagick concernée est la 5.5.7. Voir en ligne : G2F_Io

AWS 1.4

Par Rosen Jeanpierre

AWS est un ensemble de paquetages permettant d’intégrer des services WWW dans une application Ada.

XML/Ada 1.0

Par Rosen Jeanpierre

XML/Ada 1.0, une bibliothèque libre permettant de développer des applications XML, est disponible.

XML4Ada95

Par Rosen Jeanpierre

ImgSvr

Par Rosen Jeanpierre

AdaGraph 0.5e

Par Rosen Jeanpierre

Jerry van Dijk corrige un bug bloquant d’AdaGraph sur Win2K/XP. La bibliothèque dispose maintenant d’un installeur et d’une documentation html. Voir en ligne : AdaGraph

AdaOpenGL 0.12

Par Rosen Jeanpierre

La version 0.12 de AdaOpenGL viens de sortir. Cette librairie est un biding Ada pour la trés populaire API OpenGL. Un projet interessant, dans la lignée de GtkAda, qui aporte le support d’une librairie largement utilisée à Ada. Le projet avance doucement et un peut d’aide ne serais pas de refus, notament des volontaires pour tester le soft et donner un retour sur les bugs rencontrés. Voir en ligne : AdaOpenGL

Version 3 de AdaCL

Par Rosen Jeanpierre

La version 3.0.0 de la bibliothèque AdaCL de Martin Krischik apporte un ramasse-miette utilisant l’algorythme Boehm-Demers-Weiser et un kit d’extension pour les composants de Booch. Un exemple d’utilisation est disponible en ligne. Voir en ligne : AdaCL

Version 2.2 de GtkAda disponible

Par Rosen Jeanpierre

La version 2.2.0 est la première mise à jour majeure de la bibliothèque GtkAda depuis la 2.0.0. Elle est logiquement destinée à Gtk+ 2.2.0 et suivantes. La bibliothèque, sa documentation et la liste des évolutions sont disponible sur le site de GtkAda. Voir en ligne : GtkAda