Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update submodule stm + random | Thomas Miedema | 2016-01-20 | 1 | -0/+0 |
| | | | | | Skip random tests when random is not built. Skip stm tests when stm is not built. | ||||
* | Update pretty and random submodules | Herbert Valerio Riedel | 2014-12-22 | 1 | -0/+0 |
| | | | | | This updates those two packages to their most recent respective proper releases. | ||||
* | Update submodule `random` to point to latest HEAD | Herbert Valerio Riedel | 2013-09-11 | 1 | -0/+0 |
| | |||||
* | Update submodule | Gabor Greif | 2013-02-26 | 1 | -0/+0 |
| | |||||
* | Fix Trac #7681. | Richard Eisenberg | 2013-02-11 | 1 | -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 submodule | Ian Lynagh | 2013-02-11 | 1 | -0/+0 |
| | |||||
* | Add the new random commit again | Ian Lynagh | 2013-02-05 | 1 | -0/+0 |
| | |||||
* | Revert "Update the random repo again, now the patch is actually pushed" | Ian Lynagh | 2013-02-04 | 1 | -0/+0 |
| | | | | This reverts commit a40e7d7082ac75b4629db9bda75366519f3218a0. | ||||
* | Update the random repo again, now the patch is actually pushed | Ian Lynagh | 2013-02-04 | 1 | -0/+0 |
| | |||||
* | Revert random submodule back to an extant hash. | Geoffrey Mainland | 2013-02-04 | 1 | -0/+0 |
| | |||||
* | Follow random submodule change | Ian Lynagh | 2013-02-03 | 1 | -0/+0 |
| | |||||
* | random is a submodule | Ian Lynagh | 2013-02-03 | 1 | -0/+0 |
Looks like I forgot to make it one in the original conversion |