Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 5585 | Kartik Agaram | 2019-08-25 | 1 | -113/+21 |
| | |||||
* | Merge branch 'master' into desugar | Kartik Agaram | 2019-08-25 | 1 | -117/+191 |
|\ | |||||
| * | 5515 | Kartik Agaram | 2019-08-14 | 1 | -22/+22 |
| | | | | | | | | Drop a bash-ism. | ||||
| * | 5514 - disable emulated runs on Linux | Kartik Agaram | 2019-08-14 | 1 | -60/+133 |
| | | |||||
| * | 5513 | Kartik Agaram | 2019-08-14 | 1 | -22/+22 |
| | | |||||
| * | 5511 | Kartik Agaram | 2019-08-14 | 1 | -34/+35 |
| | | |||||
| * | 5510 | Kartik Agaram | 2019-08-14 | 1 | -1/+1 |
| | | | | | | | | | | Stop supporting CFLAGS in CI scripts; they're now meaty enough that I never run them locally in debug mode. | ||||
* | | fix a missing test of desugar in CI | Kartik Agaram | 2019-08-16 | 1 | -0/+20 |
| | | |||||
* | | add desugar to CI | Kartik Agaram | 2019-08-13 | 1 | -0/+5 |
|/ | |||||
* | 5485 - promote SubX to top-level | Kartik Agaram | 2019-07-27 | 1 | -0/+336 |