Browsing Swedish translation

1910.

Ada Semantic Interface Specification (ASIS) documentation

1911.

This package contains the tutorial, news and examples, but not the manuals because of their license. They are available online at http://www.adacore.com/asis.

1912.

Ada Semantic Interface Specification (ASIS) example programs

1913.

* asistant is an interactive command-line tool to explore the ASIS parse tree
of a program.
* gnatcheck verifies the conformance of source text to coding conventions
* gnatelim finds out unused subprograms and eliminates them.
* gnatmetric calculates metrics such as code complexity.
* gnatpp is a pretty-printer which reformats Ada source text according to
a default or user-specified style guide.
* gnatstub generates an empty but compilable body for a given specification.
* gnattest creates AUnit test skeletons and harness for a project
(gnattest requires the libaunit development package to be installed)

1914.

Adaptive Sampling Kit for big experimental spaces

1915.

Adaptive Sampling Kit (ASK) is a toolkit for sampling big experimental spaces. When the space is small, the response can be measured for every point in the space. When the space is large, doing an exhaustive measurement is either not possible in terms of execution time or simply not practical. ASK tries to find good approximations of the response by sampling only a small fraction of the space. ASK features multiple active learning algorithms to prioritize the exploration of the interesting parts of the experimental space.

1916.

documentation for ASL

1917.

command-line tools for ASL

1918.

AfterStep mail monitor

1919.

asmail is a small mail monitor similar to xbiff. It follows the AfterStep window manager's look and feel and is ideally suited to be run within AfterStep's Wharf module.