about summary refs log tree commit diff stats
path: root/html
Commit message (Collapse)AuthorAgeFilesLines
* 3849Kartik K. Agaram2017-05-101-356/+356
|
* 3848Kartik K. Agaram2017-05-062-150/+147
| | | | | Improve an error message. Still lots of room for improving how we render reagents in errors.
* 3847Kartik K. Agaram2017-05-062-149/+157
| | | | | Fix a crash on an invalid program. Thanks Lakshman Swaminathan for reporting this issue.
* 3845Kartik K. Agaram2017-05-0625-1457/+1364
|
* 3840Kartik K. Agaram2017-04-202-1549/+1547
| | | | | | | | Fix CI. Our previous approach was breaking because a test was generating different results depending on what layer you stopped at. Turns out we rename instructions in layer 54. So let's save the original_name in the same layer.
* 3839Kartik K. Agaram2017-04-202-1046/+1048
| | | | | | Fix CI. In the process I also fixed a bug in the tangle/ utility.
* 3838 - further improve an error messageKartik K. Agaram2017-04-201-473/+478
| | | | | | | Expanded instructions don't seem to be worth the space they take up. Let people think through the types of variables for themselves. Thanks again to Ella Couch.
* 3837Kartik K. Agaram2017-04-1913-1674/+1720
|
* 3831Kartik K. Agaram2017-04-183-7/+7
| | | | Fix CI.
* 3830 - crosslink shape-shifting containers in htmlKartik K. Agaram2017-04-1826-565/+565
|
* 3829Kartik K. Agaram2017-04-1811-1345/+1345
|
* 3825Kartik K. Agaram2017-04-1618-3654/+3535
|
* 3823Kartik K. Agaram2017-04-148-1561/+1571
|
* 3820Kartik K. Agaram2017-04-1318-2561/+2609
|
* 3813Kartik K. Agaram2017-04-041-4/+4
|
* 3812Kartik K. Agaram2017-04-041-3/+3
| | | | Fix CI.
* 3811Kartik K. Agaram2017-04-043-4/+4
|
* 3810Kartik K. Agaram2017-04-043-17/+17
| | | | | | | 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-043-229/+230
|
* 3808 - 'length' for duplex listsKartik K. Agaram2017-03-314-762/+777
|
* 3806Kartik K. Agaram2017-03-211-60/+55
|
* 3805Kartik K. Agaram2017-03-201-204/+246
|
* 3804Kartik K. Agaram2017-03-201-2/+2
| | | | Drop the inaccurate cross-links to 'truncate' everywhere.
* 3803Kartik K. Agaram2017-03-203-223/+222
|
* 3802 - more accurate sandbox resultsKartik K. Agaram2017-03-202-480/+501
| | | | Thanks Lakshman Swaminathan for reporting this issue.
* 3801Kartik K. Agaram2017-03-201-5/+5
|
* 3800Kartik K. Agaram2017-03-181-449/+469
|
* 3799Kartik K. Agaram2017-03-182-3/+3
|
* 3798 - trace-browser: make search like in viKartik K. Agaram2017-03-151-439/+460
|
* 3797Kartik K. Agaram2017-03-1510-740/+738
|
* 3796Kartik K. Agaram2017-03-143-874/+893
| | | | | | 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.
* 3794Kartik K. Agaram2017-03-141-2/+2
| | | | Fix a _very_ misleading comment.
* 3793Kartik K. Agaram2017-03-144-910/+910
| | | | | | Move 'render-code' to the layer where it's used. Thanks Caleb Couch for finding this bit of ugliness.
* 3792Kartik K. Agaram2017-03-121-267/+292
| | | | | | | 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-122-1419/+1381
| | | | Simpler way to do commit 2929.
* 3790Kartik K. Agaram2017-03-127-1040/+1043
| | | | Don't try to snapshot in scenarios.
* 3789Kartik K. Agaram2017-03-127-1045/+1047
| | | | | | | | | | | | | 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-121-6/+6
|
* 3785Kartik K. Agaram2017-03-101-104/+106
| | | | Don't show empty hidden counts in the trace-browser.
* 3784Kartik K. Agaram2017-03-101-317/+487
|
* 3771Kartik K. Agaram2017-03-081-1/+1
|
* 3770Kartik K. Agaram2017-03-081-194/+199
|
* 3769Kartik K. Agaram2017-03-081-272/+280
|
* 3768 - trace browser: scrolling horizontallyKartik K. Agaram2017-03-081-263/+273
|
* 3767Kartik K. Agaram2017-03-081-251/+257
|
* 3766Kartik K. Agaram2017-03-081-6/+6
|
* 3765Kartik K. Agaram2017-03-081-4/+4
|
* 3764 - better colors for cross-linksKartik K. Agaram2017-03-08119-424/+542
|
* 3763Kartik K. Agaram2017-03-071-252/+251
|