summaryrefslogtreecommitdiff
path: root/libraries/random
Commit message (Collapse)AuthorAgeFilesLines
* Update submodule stm + randomThomas Miedema2016-01-201-0/+0
| | | | | Skip random tests when random is not built. Skip stm tests when stm is not built.
* Update pretty and random submodulesHerbert Valerio Riedel2014-12-221-0/+0
| | | | | This updates those two packages to their most recent respective proper releases.
* Update submodule `random` to point to latest HEADHerbert Valerio Riedel2013-09-111-0/+0
|
* Update submoduleGabor Greif2013-02-261-0/+0
|
* Fix Trac #7681.Richard Eisenberg2013-02-111-0/+0
| | | | | | | | Removed checks for empty lists for case expressions and lambda-case. If -XEmptyCase is not enabled, compilation still fails (appropriately) in the renamer. Had to remove dead code from TrieMap to pass the validator.
* Update random submoduleIan Lynagh2013-02-111-0/+0
|
* Add the new random commit againIan Lynagh2013-02-051-0/+0
|
* Revert "Update the random repo again, now the patch is actually pushed"Ian Lynagh2013-02-041-0/+0
| | | | This reverts commit a40e7d7082ac75b4629db9bda75366519f3218a0.
* Update the random repo again, now the patch is actually pushedIan Lynagh2013-02-041-0/+0
|
* Revert random submodule back to an extant hash.Geoffrey Mainland2013-02-041-0/+0
|
* Follow random submodule changeIan Lynagh2013-02-031-0/+0
|
* random is a submoduleIan Lynagh2013-02-031-0/+0
Looks like I forgot to make it one in the original conversion