AdaGide Logo

Welcome to the A# home page!

A# is a port of Ada to the Microsoft .NET Platform.  A# is freely distributed by the Department of Computer Science at the United States Air Force Academy as a service to the Ada community under the terms of the GNU general public license.

A# has been fully integrated into AdaGIDE, a leading open-source IDE for Ada under Windows.  A .NET port of the multi-platform open-source GUI Design tool RAPID has been completed.  I've looked into incorporating A# into Visual Studio .NET, but right now it looks like too much work for me to take on.

Read more about the A# project in our SIGAda 2002 paper.  Here are files from a SIGAda 2004 tutorial (available 14 November 2004).

New with version 2.01 (26 October 2004)

New with version 1.20

Features

Download

To use A#, you need the following:

MSIL2Ada was generated using AdaGOOP.

The latest version was posted 1 November 2004.  Bug report list is here.

US mirror (site may be more up-to-date):

http://asharp.martincarlisle.com

European mirror:

ftp://sunsite.informatik.rwth-aachen.de/pub/mirror/ftp.usafa.af.mil/pub/dfcs/carlisle/asharp/

Rebuilding from sources:

To rebuild from sources, you can use the Makefile in the src subfolder.  Also use the makefile in src\lib to rebuild mgnat.dll and mgnatcs.dll.  Note that MGNAT must be compiled using GNAT for Windows, and also that the Makefile must be run from a UNIX shell (e.g. Cygwin, at http://www.cygwin.com ).  Rebuilding mgnatcs.dll requires MS Visual Studio .NET.  "make install" will then copy the files.  Note that you will have to change Makefile and jMakefile to reflect your directory structure (look for "c:/d/rsrch..." and replace and also "c:\d\rsrch...").

Hints:

  1. Building a DLL:  Try "mgnatmake -z test_pkg.adb -largs /DLL /out=test_pkg.dll", where test_pkg.adb is a package that with's all of the others that you want to include in the DLL.  Make sure that ada_test_pkg_pkg.adainit is called by the client of the DLL.

Authors:

Comments, suggestions, and bug reports are welcome. If you have a comment, suggestion or bug report, send email to: Martin.Carlisle@usafa.af.mil.  The bug report list is here.

This page maintained by Dr. Martin Carlisle, HQ USAFA/DFCS, (719) 333-3590, Date Last Modified: 05/02/2008 4:32 PM
U.S. Air Force Academy, USAFA, CO 80840, (719) 333-1110 DSN: 333-1110, Updated: 02 Dec 08

You are accessing a U.S. Government (USG) Information System (IS) that is provided for USG-authorized use only.

By using this IS (which includes any device attached to this IS), you consent to the following conditions:

- The USG routinely intercepts and monitors communications on this IS for purposes including, but not limited to, penetration testing, COMSEC monitoring, network operations and defense, personnel misconduct (PM), law enforcement (LE), and counterintelligence (CI) investigations.

- At any time, the USG may inspect and seize data stored on this IS.

-Communications using, or data stored on, this IS are not private, are subject to routine monitoring, interception, and search, and may be disclosed or used for any USGauthorized purpose.

- This IS includes security measures (e.g., authentication and access controls) to protect USG interests--not for your personal benefit or privacy.

- Notwithstanding the above, using this IS does not constitute consent to PM, LE or CI investigative searching or monitoring of the content ofprivileged communications, or work product, related to personal representation or services by attorneys, psychotherapists, or clergy, and their assistants. Such communications and work product are private and confidential. See User Agreement for details.

Privacy & Security Notice   |   Disclaimers   |   Contact Us / Submit Feedback / Webmaster