about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* 3810Kartik K. Agaram2017-04-046-34/+34
| | | | | | | Stop naming 'jump' instructions in their errors since they're so often rewritten from 'break' or 'loop' instructions. Thanks Lakshman Swaminathan for running into this issue.
* 3809Kartik K. Agaram2017-04-046-233/+235
|
* 3808 - 'length' for duplex listsKartik K. Agaram2017-03-316-766/+796
|
* 3807Kartik K. Agaram2017-03-311-3/+3
| | | | Handle CFLAGS like "-g -O3 -pg" while compiling.
* 3806Kartik K. Agaram2017-03-213-78/+63
|
* 3805Kartik K. Agaram2017-03-202-207/+291
|
* 3804Kartik K. Agaram2017-03-201-2/+2
| | | | Drop the inaccurate cross-links to 'truncate' everywhere.
* 3803Kartik K. Agaram2017-03-206-226/+224
|
* 3802 - more accurate sandbox resultsKartik K. Agaram2017-03-204-482/+524
| | | | Thanks Lakshman Swaminathan for reporting this issue.
* 3801Kartik K. Agaram2017-03-202-10/+10
|
* 3800Kartik K. Agaram2017-03-182-449/+489
|
* 3799Kartik K. Agaram2017-03-184-6/+6
|
* 3798 - trace-browser: make search like in viKartik K. Agaram2017-03-152-448/+490
|
* 3797Kartik K. Agaram2017-03-1514-744/+738
|
* 3796Kartik K. Agaram2017-03-145-926/+968
| | | | | | Standardize the order of some common blocks in `render`, `render-text` and `render-code`. This is preparation for trying to reorganize them to reduce duplicate code.
* 3795Kartik K. Agaram2017-03-142-5/+5
|
* 3794Kartik K. Agaram2017-03-143-6/+6
| | | | Fix a _very_ misleading comment.
* 3793Kartik K. Agaram2017-03-148-1036/+1036
| | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness.
* 3792Kartik K. Agaram2017-03-122-267/+317
| | | | | | | Bugfix: make sure 'print 0, 0' always does the right thing, no matter how it's overloaded. Thanks Ella Couch for reporting this.
* 3791Kartik K. Agaram2017-03-124-1467/+1391
| | | | Simpler way to do commit 2929.
* 3790Kartik K. Agaram2017-03-129-1042/+1051
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-1210-1046/+1062
| | | | | | | | | | | | | I accidentally got rid of git snapshotting of lessons back when I switched to testable file primitives last December (commit 3705). >:-( Bringing it back now, hopefully better. The improvement is that there's now at most one commit every time we hit F4. This change adds yet another reason that running `mu` from a different directory is just not supported.
* 3788Kartik K. Agaram2017-03-122-796/+805
|
* 3787Kartik K. Agaram2017-03-122-12/+12
|
* 3786Kartik K. Agaram2017-03-101-2/+11
| | | | https://www.reddit.com/r/badcode/comments/5xo3qv/its_better_to_have_it_all_on_one_line_right/delodzn
* 3785Kartik K. Agaram2017-03-102-107/+111
| | | | Don't show empty hidden counts in the trace-browser.
* 3784Kartik K. Agaram2017-03-101-317/+487
|
* 3783Kartik K. Agaram2017-03-101-2/+1
|
* 3782Kartik K. Agaram2017-03-101-4/+31
| | | | Highlight searches in trace-browser.
* 3781Kartik K. Agaram2017-03-101-2/+12
| | | | Support backspacing anywhere inside the search pattern in trace-browser.
* 3780Kartik K. Agaram2017-03-091-7/+7
|
* 3779Kartik K. Agaram2017-03-091-4/+35
| | | | Move cursor inside search pattern in trace-browser.
* 3778Kartik K. Agaram2017-03-091-9/+31
| | | | Support backspace in trace-browser.
* 3777 - rudimentary search in trace-browserKartik K. Agaram2017-03-091-0/+72
|
* 3776Kartik K. Agaram2017-03-091-3/+3
| | | | Bugfix.
* 3775Kartik K. Agaram2017-03-091-5/+10
|
* 3774Kartik K. Agaram2017-03-091-15/+15
|
* 3773 - trace-browser bugfixKartik K. Agaram2017-03-091-0/+4
|
* 3772Kartik K. Agaram2017-03-091-16/+16
|
* 3771Kartik K. Agaram2017-03-081-1/+1
|
* 3770Kartik K. Agaram2017-03-082-194/+204
|
* 3769Kartik K. Agaram2017-03-082-272/+288
|
* 3768 - trace browser: scrolling horizontallyKartik K. Agaram2017-03-082-265/+285
|
* 3767Kartik K. Agaram2017-03-082-251/+263
|
* 3766Kartik K. Agaram2017-03-082-12/+12
|
* 3765Kartik K. Agaram2017-03-082-8/+8
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-08120-429/+551
|
* 3763Kartik K. Agaram2017-03-072-253/+251
|
* 3762Kartik K. Agaram2017-03-071-1/+1
|
* 3761Kartik K. Agaram2017-03-07115-11309/+11541
|