projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa500b7) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 12:26:07 +0000 (14:26 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 10 Oct 2013 12:26:07 +0000 (14:26 +0200)
commit4169c2d220718a78e661a605ebd838b0ad5a40bd
treeb74e92dafacc02652acb04902f680496d7b0355btree
parentaa500b7a972aebff7375a093c2a7d90aad427b65commit | diff
[multiple changes]

2013-10-10  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Refined_Pre and Refined_Post are now allowed as
assertion identifiers for pragma Assertion_Policy.
* sem_prag.adb (Is_Valid_Assertion_Kind): Add Refined_Pre/Refined_Post
* sem_ch13.adb: Minor reformatting.

2013-10-10  Pascal Obry  <obry@adacore.com>

* prj-conf.adb: Code refactoring.

From-SVN: r203361
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/prj-conf.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history