Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 4242 - get rid of refcounts entirely | Kartik Agaram | 2018-05-12 | 1 | -6/+6 |
| | | | | | | | | | We're going to lean back into the experiment of commit 4179 back in Jan. If we delete memory it's up to us to ensure no pointers into it survive. Since deep-copy depends on our refcounting infrastructure, it's gone as well. So we're going to have to start watching out for pointers shared over channels. | ||||
* | 4239 | Kartik Agaram | 2018-05-08 | 1 | -5/+5 |
| | |||||
* | 4200 | Kartik K. Agaram | 2018-01-27 | 1 | -80/+80 |
| | | | | Forgot to set up exuberant_ctags_rc as .ctags on new laptop. | ||||
* | 4199 | Kartik K. Agaram | 2018-01-25 | 1 | -478/+477 |
| | |||||
* | 4165 | Kartik K. Agaram | 2017-12-27 | 1 | -29/+29 |
| | |||||
* | 4161 | Kartik K. Agaram | 2017-12-15 | 1 | -5/+5 |
| | |||||
* | 4134 - 'input' = 'ingredient' | Kartik K. Agaram | 2017-12-03 | 1 | -31/+31 |
| | |||||
* | 4122 | Kartik K. Agaram | 2017-11-15 | 1 | -1028/+1036 |
| | |||||
* | 4102 | Kartik K. Agaram | 2017-11-01 | 1 | -3/+3 |
| | |||||
* | 4004 | Kartik K. Agaram | 2017-09-23 | 1 | -1/+1 |
| | |||||
* | 4003 | Kartik K. Agaram | 2017-09-23 | 1 | -1386/+1371 |
| | |||||
* | 3934 | Kartik K. Agaram | 2017-06-20 | 1 | -6/+6 |
| | |||||
* | 3901 | Kartik K. Agaram | 2017-06-09 | 1 | -1223/+1214 |
| | |||||
* | 3837 | Kartik K. Agaram | 2017-04-19 | 1 | -1224/+1249 |
| | |||||
* | 3830 - crosslink shape-shifting containers in html | Kartik K. Agaram | 2017-04-18 | 1 | -13/+13 |
| | |||||
* | 3829 | Kartik K. Agaram | 2017-04-18 | 1 | -1294/+1293 |
| | |||||
* | 3787 | Kartik K. Agaram | 2017-03-12 | 1 | -6/+6 |
| | |||||
* | 3764 - better colors for cross-links | Kartik K. Agaram | 2017-03-08 | 1 | -3/+4 |
| | |||||
* | 3761 | Kartik K. Agaram | 2017-03-07 | 1 | -464/+465 |
| | |||||
* | 3716 | Kartik K. Agaram | 2016-12-26 | 1 | -0/+2 |
| | | | | Make hyperlinks less salient in the rendered html since there's so many of them. | ||||
* | 3713 - cross-link calls with definitions in html | Kartik K. Agaram | 2016-12-26 | 1 | -76/+76 |
| | |||||
* | 3710 | Kartik K. Agaram | 2016-12-26 | 1 | -1419/+1419 |
| | | | | | Turns out we don't need to explicitly add anchors for each line. Vim's TOhtml has magic for that out of the box. | ||||
* | 3709 - line numbers in html | Kartik K. Agaram | 2016-12-26 | 1 | -1422/+1446 |
| | | | | | | Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number. | ||||
* | 3699 | Kartik K. Agaram | 2016-11-28 | 1 | -1/+1 |
| | | | | | Delete some obsolete /same-as-ingredient attributes. We should always let Mu deduce those at this point. | ||||
* | 3688 | Kartik K. Agaram | 2016-11-25 | 1 | -0/+1 |
| | | | | | | | Move my todos over the past couple of years into the codebase now that it might be going dormant. Surprising how few todos left undone! | ||||
* | 3683 | Kartik K. Agaram | 2016-11-23 | 1 | -0/+26 |
| | |||||
* | 3674 | Kartik K. Agaram | 2016-11-13 | 1 | -1/+1 |
| | |||||
* | 3673 | Kartik K. Agaram | 2016-11-13 | 1 | -0/+83 |
| | |||||
* | 3569 | Kartik K. Agaram | 2016-10-23 | 1 | -515/+515 |
| | | | | Update syntax highlighting to not color numeric locations like literals. | ||||
* | 3568 | Kartik K. Agaram | 2016-10-23 | 1 | -1/+1 |
| | | | | Fix syntax highlighting for labels after commit 3552. | ||||
* | 3558 | Kartik K. Agaram | 2016-10-22 | 1 | -1/+1 |
| | |||||
* | 3431 | Kartik K. Agaram | 2016-09-30 | 1 | -6/+6 |
| | | | | | Improvements to syntax highlighting, particularly for Mu code in C++ files. | ||||
* | 3430 | Kartik K. Agaram | 2016-09-28 | 1 | -160/+184 |
| | |||||
* | 3395 | Kartik K. Agaram | 2016-09-17 | 1 | -203/+203 |
| | |||||
* | 3371 | Kartik K. Agaram | 2016-09-16 | 1 | -41/+58 |
| | |||||
* | 3355 | Kartik K. Agaram | 2016-09-15 | 1 | -152/+137 |
| | |||||
* | 3219 | Kartik K. Agaram | 2016-08-17 | 1 | -0/+14 |
| | | | | | | | | Trying keeping html in the master branch: https://github.com/blog/2228-simpler-github-pages-publishing Let's see if https://akkartik.github.io/mu updates after I push this commit to just the master branch. | ||||
* | 3158 | Kartik K. Agaram | 2016-07-27 | 1 | -2/+2 |
| | |||||
* | 3102 | Kartik K. Agaram | 2016-07-05 | 1 | -0/+1307 |