| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 7307 | Kartik Agaram | 2020-11-29 | 1 | -10/+2 |
| | | |||||
| * | 7305 - make float-size more consistent as well | Kartik Agaram | 2020-11-29 | 1 | -4/+15 |
| | | |||||
| * | 7304 - more consistent printing of floats | Kartik Agaram | 2020-11-29 | 1 | -3/+17 |
| | | |||||
| * | 7303 - better threshold for scientific notation | Kartik Agaram | 2020-11-29 | 1 | -3/+13 |
| | | |||||
| * | 7298 - slightly smarter float width | Kartik Agaram | 2020-11-29 | 1 | -6/+96 |
| | | |||||
| * | 7297 - tile: use floats everywhere | Kartik Agaram | 2020-11-29 | 1 | -0/+7 |
| | | |||||
| * | 7296 - rough support for printing floats | Kartik Agaram | 2020-11-29 | 1 | -0/+526 |
| No rounding yet, and we have a blunt way to decide when to start truncating. | |||||