PAL CARD CATALOG ENTRY

SHORT DESCRIPTION

Ada Compiler Validation Capability


MOVEMENT WITHIN THE PAL CARD CATALOG
Move to top-level taxonomy
Move to keyword list

ASSET PROFILE

UNIT NAME
AJPO-SEI/ACVC
VERSION
N/A
ORIGIN
AJPO and SEI
REVIEW CODE
OK
INET ADDRESS
action@ajpo.sei.cmu.edu
AUTHOR
See individual files
RIGHTS
Approved for public release; distribution unlimited
COPYRIGHT
See individual files
LOCATION
ajpo.sei.cmu.edu and ftp.sei.cmu.edu

FILE LISTING

Directory Display


languages/ada/ajpo/testing/acvc:
  File Name                 Size
  ---------                 ----
  83acvc/                    512
  95acvc/                    512

languages/ada/ajpo/testing/acvc/83acvc:
  File Name                 Size
  ---------                 ----
  README                     329
  acvc.txt                 6,270
  acvc11.lst              58,210
  ajpo0492.txt             3,624
  atests/                    512
  btests/                    512
  ctests/                    512
  dtests/                    512
  etests/                    512
  impguide.txt             4,506
  info                    23,206
  ltests/                    512
  support/                   512
  valfacil.htm             3,035
  valfacil.txt             2,449
  wdrwn83.htm             10,042
  wdrwn83.txt              9,185

languages/ada/ajpo/testing/acvc/83acvc/atests:
  File Name                 Size
  ---------                 ----
  a2.zip                  18,506
  a3.zip                  15,075
  a5.zip                   4,254
  a6.zip                   1,668
  a7.zip                   8,745
  a8.zip                  15,848
  a9.zip                   7,314
  aa.zip                   1,708
  ab.zip                     546
  ac.zip                   3,288
  ad.zip                  16,951
  ae.zip                   7,532

languages/ada/ajpo/testing/acvc/83acvc/btests:
  File Name                 Size
  ---------                 ----
  b2.zip                  51,315
  b3.zip                 156,711
  b4.zip                 112,411
  b5.zip                  57,361
  b6.zip                  49,457
  b7.zip                  55,796
  b8.zip                  83,456
  b9.zip                  63,106
  ba.zip                  57,949
  bb.zip                   3,803
  bc.zip                 115,989
  bd.zip                  43,464
  be.zip                  11,358

languages/ada/ajpo/testing/acvc/83acvc/ctests:
  File Name                 Size
  ---------                 ----
  c2.zip                  50,870
  c3.zip                 489,318
  c4.zip                 635,807
  c5.zip                 117,983
  c6.zip                  83,352
  c7.zip                  27,362
  c8.zip                 150,811
  c9.zip                 185,926
  ca.zip                  63,041
  cb.zip                  24,913
  cc.zip                  99,611
  cd.zip                 214,923
  ce.zip                 285,949

languages/ada/ajpo/testing/acvc/83acvc/dtests:
  File Name                 Size
  ---------                 ----
  d2.zip                   5,578
  d4.zip                   2,418
  d5.zip                   4,329
  d6.zip                  22,955

languages/ada/ajpo/testing/acvc/83acvc/etests:
  File Name                 Size
  ---------                 ----
  e2.zip                   5,371
  e4.zip                     104
  e5.zip                   1,232
  ea.zip                  10,325
  eb.zip                   1,928
  ed.zip                   8,006
  ee.zip                  12,621

languages/ada/ajpo/testing/acvc/83acvc/ltests:
  File Name                 Size
  ---------                 ----
  la.zip                  48,606

languages/ada/ajpo/testing/acvc/83acvc/support:
  File Name                 Size
  ---------                 ----
  avat/                      512
  checkfile.ada            6,644
  cz1101a.ada              2,723
  cz1102a.ada              1,053
  cz1103a.ada              7,464
  enumchek.ada             2,376
  fcndecl.ada                239
  lencheck.ada             2,395
  macro.dfs               21,031
  macrosub.ada            21,381
  repbody.ada              7,313
  repspec.ada              4,324
  spprt13sp.tst            1,591

languages/ada/ajpo/testing/acvc/83acvc/support/avat:
  File Name                 Size
  ---------                 ----
  avat.zip                49,751

languages/ada/ajpo/testing/acvc/95acvc:
  File Name                 Size
  ---------                 ----
  9XBASIC.tar.Z        3,311,715
  ACVC20.LST              72,872
  ADA94.tar.Z          1,360,159
  README                     165
  category.lst             3,455
  rel_note.asc             2,754
  tar_files.info             864
  tod.asc                144,893
  ug.ps                2,514,889
  valfacil.txt             2,449
  wdrwn95.txt             23,647
  wdrwn95.txt~            19,717


Totals
  ==============  ==============
   95 Files           11,228,790

ABSTRACT

Ada Compiler Validation Capability (ACVC)

This is used to validate Ada compilers for conformance to the
language standard.  Both Ada83 and Ada95 compilers are covered.


REVISION HISTORY

4 Dec 93  First release to the PAL
Updated by the Ada Information Clearinghouse


RELEASE NOTICE

Approved for public release; distribution unlimited

For information on how to obtain hard copies of these or any other Ada
9X Project Reports, contact the Ada Information Clearinghouse at
800/AdaIC-11 or 703/685-1477.


DISCLAIMER

      This documentation are provided "AS IS" without any expressed or
implied warranties whatsoever.  No warranties as to performance,
merchantability, or fitness for a particular purpose exist.
      The user is advised to review the documentation thoroughly before
relying on it.  The user must assume the entire risk and liability of
using this documentation.  In no event shall any person or organization of
people be held responsible for any direct, indirect, consequential or
inconsequential damages or lost profits.