[Announcement] New Project: ASIS for GNAT

From: Martin Krischik (krischik_at_users.sourceforge.net)
Date: 03/12/04 

Date: Fri, 12 Mar 2004 17:05:07 +0100

Hello,

I like to announce the beginning of a new Project.

The Project amis to provide an up to date implementations of ASIS = Ada
Semantic Interface Specification for GNAT based on gcc 3.5. The currently
available open source ASIS implementation is for GNAT on gcc 2.8.1.

The Project is located at sourceforge:

http://sourceforge.net/projects/gnat-asis/

Current experinental versions are available via cvs.

With Regards

Martin 

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com

Relevant Pages

  • Re: [Announcement] New Project: ASIS for GNAT
    ... > The Project amis to provide an up to date implementations of ASIS = Ada ... > available open source ASIS implementation is for GNAT on gcc 2.8.1. ...
    (comp.lang.ada)
  • Re: long double versions of functions in gcc under Cygwin
    ... In some implementations, the compiler and the runtime library are ... systems, the C runtime library happens to be one that, like gcc, is ... do admit that cross-platform and cross-compiler compatibility would be ...
    (comp.lang.c)
  • Re: CERT C Secure Coding Standard - last call for reviewers
    ... There are several implementations. ... That's probably because the gcc developers consider those unimplemented ... Here is a list of C99 features not fully implemented in mainline gcc: ... additional math library functions in. ...
    (comp.lang.c)
  • Re: Latest GNAT version
    ... except that these versions don't support ASIS or the distributed systems annex GLADE. ... I for one would very much like to transition Ada in Debian to GCC 4.0, which will be the system compiler for the next stable release, codenamed "etch". ... I want Ada to have the same advantage, and not just in Debian but in other distributions too. ...
    (comp.lang.ada)
  • Re: execution time becomes unpredictable?!
    ... > performance and real implementations of memory heaps *really do* ... > do exist Oimplementations of malloc/free (and realloc, ... As far as I know, gcc, ... > because its open source and "Lea" malloc implementation is reasonably ...
    (comp.lang.c)