» GNAT http://www.canalada.org Thu, 17 Jun 2010 19:46:26 +0000 http://wordpress.org/?v=2.8.3 en hourly 1 AdaCore publica una versión de GNAT para el LEGO MINDSTORMS NXT http://www.canalada.org/gnat-legom-mindstorms-nxt/ http://www.canalada.org/gnat-legom-mindstorms-nxt/#comments Thu, 18 Jun 2009 20:36:28 +0000 Gneuromante http://www.canalada.org/?p=83 GNAT for LEGO MINDSTORMS NXT es un porte del compilador GNAT bajo licencia GPL a la plataforma de robótica  LEGO MINDSTORMS NXT. Esta plataforma que nació como un proyecto educativo en el MIT Media Lab ha evolucionado a un producto comercial usado en multitud de universidades y por aficionados de todo el mundo.

Esta versión de GNAT nos permite compilar programas realizados 100% en Ada y ejecutarlos en un robot LEGO MINDSTORMS, haciendo uso de todas las posibilidades del hardware: sensores, comunicaciones inalámbricas, motores, etc.

En su página web podemos encontrar más información y un interesante vídeo: GNAT GPL for LEGO MINDSTORMS

]]> http://www.canalada.org/gnat-legom-mindstorms-nxt/feed/ 0 AdaCore y NetBSD entrevistan al ganador del reto de criptoanálisis de Colossus http://www.canalada.org/adacore-y-netbsd-entrevistan-al-ganador-del-reto-de-criptoanalisis-de-colossus/ http://www.canalada.org/adacore-y-netbsd-entrevistan-al-ganador-del-reto-de-criptoanalisis-de-colossus/#comments Thu, 24 Jan 2008 23:47:33 +0000 Gneuromante 33 at http://www.canalada.org Tanto AdaCore, fabricantes de GNAT, como NetBSD, uno de los sistemas operativos con mayor énfasis en la seguridad, han entrevistado a Joachim Schüth, ganador del concurso de criptoanális, que ya comentamos en canalada.org.

Es evidente que este programador ha caido en las redes del Ada y se le nota. ¿Alguien más dispuesto a darle una oportunidad al Ada?

“Craqueando el código Lorenz”, entrevista de AdaCore

“Superando a Colossus”, entrevista de NetBSD.

]]> http://www.canalada.org/adacore-y-netbsd-entrevistan-al-ganador-del-reto-de-criptoanalisis-de-colossus/feed/ 0 Liberado GNATBench, plug-in Ada para Eclipse http://www.canalada.org/liberado-gnatbench-plug-in-ada-para-eclipse/ http://www.canalada.org/liberado-gnatbench-plug-in-ada-para-eclipse/#comments Tue, 04 Dec 2007 22:28:09 +0000 Gneuromante 30 at http://www.canalada.org AdaCore, la compañía detrás de GNAT, acaba de publicar bajo la licencia GPL su plug-in para Eclipse. Hasta ahora sólo estaba disponible para sus clientes, desde hoy también está disponible como software libre desde https://libre.adacore.com.

Más información en http://www.adacore.com/home/gnatpro/toolsuite/gnatbench

Recordemos que existe otro plug-in Ada para Eclipse, desarrollado inicialmente por Aonix (otro proveedor de Ada) y que ha sido aprobado para convertirse en el plug-in oficial de Eclipse para este lenguaje.

Más información en http://www.eclipse.org/hibachi/

]]> http://www.canalada.org/liberado-gnatbench-plug-in-ada-para-eclipse/feed/ 0 Nueva versión de GNAT GPL http://www.canalada.org/nueva-version-de-gnat-gpl/ http://www.canalada.org/nueva-version-de-gnat-gpl/#comments Fri, 11 May 2007 19:43:11 +0000 Gneuromante 24 at http://www.canalada.org En libre.adacore.com acaban de publicar una nueva versión de GNAT GPL, con soporte de las novedades centrales de Ada 2005, incluyendo algunas características del nuevo anexo de tiempo real gracias al runtime basado en el S.O. MaRTE, implementado en colaboración con la Universidad de Cantabria.

Es muy recomendable echarle un vistazo a la página de MaRTE OS y comprobar lo que esta universidad española está haciendo en relación a Ada y a los sistemas de tiempo real.

]]> http://www.canalada.org/nueva-version-de-gnat-gpl/feed/ 0 Código de ejemplo GtkAda para Windows y GNU/Linux http://www.canalada.org/codigo-de-ejemplo-gtkada-para-windows-y-gnulinux/ http://www.canalada.org/codigo-de-ejemplo-gtkada-para-windows-y-gnulinux/#comments Sun, 07 Jan 2007 11:57:45 +0000 Gneuromante 8 at http://www.canalada.org hex_dec es un pequeño programa Ada que convierte de hexadecimal a decimal y permite imprimir el resultado. Aunque su utilidad es reducida, lo publico aquí porque puede servir de ejemplo de cómo realizar un programa portable para Windows y GNU/Linux con GNAT y GtkAda.

Para compilar ver archivo LEEME.txt.

Descargar código fuente.

]]> http://www.canalada.org/codigo-de-ejemplo-gtkada-para-windows-y-gnulinux/feed/ 0