This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213577 - in /trunk/gcc/ada: ChangeLog g-sechas...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 04 Aug 2014 12:47:56 -0000
- Subject: r213577 - in /trunk/gcc/ada: ChangeLog g-sechas...
Author: charlet
Date: Mon Aug 4 12:47:56 2014
New Revision: 213577
URL: https://gcc.gnu.org/viewcvs?rev=213577&root=gcc&view=rev
Log:
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, osint.adb, osint.ads: Minor reformatting.
2014-08-04 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Derive_Type_Declaration,
Process_Discriminants): Remove SPARK-specific legality checks.
2014-08-04 Thomas Quinot <quinot@adacore.com>
* g-sechas.ads, g-sechas.adb (HMAC_Initial_Context): New subprogram.
* gnat_rm.texi (GNAT.MD5/SHA1/SHA224/SHA256/SHA512): Document support
for HMAC.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/g-sechas.adb
trunk/gcc/ada/g-sechas.ads
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/osint.adb
trunk/gcc/ada/osint.ads
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_prag.adb