diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:47:56 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-04 14:47:56 +0200 |
| commit | 4ff2b6dcc98d42fb75c4491ab3871cef10857ebf (patch) | |
| tree | f3848bfb928022bf983a63f33a0f1da48ac0aa85 /gcc/graphds.c | |
| parent | e72a92e447fc0d13a6744e4d4a5e2c50c8515f79 (diff) | |
| download | gcc-4ff2b6dcc98d42fb75c4491ab3871cef10857ebf.zip gcc-4ff2b6dcc98d42fb75c4491ab3871cef10857ebf.tar.gz gcc-4ff2b6dcc98d42fb75c4491ab3871cef10857ebf.tar.bz2 | |
[multiple changes]
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.
From-SVN: r213577
Diffstat (limited to 'gcc/graphds.c')
0 files changed, 0 insertions, 0 deletions