git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Thomas Quinot <quinot@adacore.com>
	Mon, 30 Jan 2012 11:39:58 +0000 (11:39 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Mon, 30 Jan 2012 11:39:58 +0000 (12:39 +0100)
commit	7873037fd8ad42ad0494cb2f5d7044309381183c
tree	ec6bf83bc929b3be00973cb3f3a43eb911058903	tree
parent	6d9e03cb09911ae858fa1522f49a06f4fd852879	commit \| diff

s-rannum.adb, [...] (Get_Seed): Return Unsigned_64 rather than Duration.

2012-01-30 Thomas Quinot <quinot@adacore.com>

* s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
Unsigned_64 rather than Duration.
(System.Random_Numbers.Reset): Use full value of seed
(do not truncate sub-second bits).

2012-01-30 Thomas Quinot <quinot@adacore.com>

* sem_cat.adb, sem_ch12.adb: Minor reformatting.

From-SVN: r183708

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/s-rannum.adb		diff \| blob \| blame \| history
gcc/ada/s-ransee.adb		diff \| blob \| blame \| history
gcc/ada/s-ransee.ads		diff \| blob \| blame \| history
gcc/ada/sem_cat.adb		diff \| blob \| blame \| history
gcc/ada/sem_ch12.adb		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom