mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
84e0472c62
- add distributed examples linear_search and allocators as they are mentioned in the UG - change some pointers to the removed chapter in the doc Change-Id: I6f373b951774df15c602d249fdb98209529c2cc1
38 lines
1.0 KiB
Plaintext
38 lines
1.0 KiB
Plaintext
-- Comments in this file must appear at the start of a line
|
|
-- and begin with "--". See Makefile for how this is processed.
|
|
--
|
|
-- This file contains an alphabetically sorted list of test cases
|
|
-- from testsuite/gnatprove/tests/
|
|
--
|
|
-- Each line is treated as the name of a directory which is copied
|
|
-- into the SPARK 2014 distribution.
|
|
--
|
|
-- If this file is updated, then updates to the following should
|
|
-- also be considered:
|
|
-- 1. The SPARK 2014 Toolset User's Guide
|
|
-- 2. SPARK plug-in in GPS (in spark/gnatprove_menus.xml). This controls
|
|
-- which of these examples are directly accessible to users from
|
|
-- the GPS Help/SPARK/Examples menu.
|
|
-- 3. As 2, but in GNATBench.
|
|
--
|
|
--
|
|
-- The examples that follow all provide a project file that should
|
|
-- be opened in GPS or GNATbench when selecting the example.
|
|
--
|
|
adacore_u
|
|
allocators
|
|
autopilot
|
|
binary_search_unconstrained
|
|
database
|
|
heatingsystem
|
|
linear_search
|
|
longest_common_prefix
|
|
pointer_based_maps
|
|
search_linked_list
|
|
sparkskein
|
|
spark_book
|
|
stopwatch
|
|
string_search
|
|
tetris
|
|
tokeneer
|