Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 7799 | Kartik K. Agaram | 2021-02-24 | 1 | -9/+9 |
| | |||||
* | 7798 | Kartik K. Agaram | 2021-02-24 | 1 | -12/+12 |
| | |||||
* | 7797 | Kartik K. Agaram | 2021-02-23 | 1 | -48/+17 |
| | |||||
* | 7796 | Kartik K. Agaram | 2021-02-23 | 1 | -3/+4 |
| | |||||
* | 7795 | Kartik K. Agaram | 2021-02-23 | 1 | -1/+1 |
| | |||||
* | 7794 | Kartik K. Agaram | 2021-02-23 | 2 | -17/+17 |
| | |||||
* | 7793 - baremetal/shell: menu | Kartik K. Agaram | 2021-02-22 | 3 | -48/+93 |
| | |||||
* | 7792 | Kartik K. Agaram | 2021-02-22 | 1 | -0/+53 |
| | |||||
* | 7791 | Kartik K. Agaram | 2021-02-22 | 2 | -50/+37 |
| | | | | Reorganize keyboard handling. | ||||
* | 7790 | Kartik K. Agaram | 2021-02-22 | 2 | -5/+140 |
| | |||||
* | 7789 | Kartik K. Agaram | 2021-02-22 | 3 | -34/+58 |
| | | | | Start adding some lines to the trace. Never shown yet. | ||||
* | 7787 - baremetal/shell: moving cursor into trace | Kartik K. Agaram | 2021-02-22 | 3 | -12/+140 |
| | |||||
* | 7786 - baremetal/shell: render error messages | Kartik K. Agaram | 2021-02-22 | 3 | -13/+172 |
| | |||||
* | 7785 - baremetal/shell: trace primitives done | Kartik K. Agaram | 2021-02-22 | 3 | -5/+86 |
| | | | | Rendering traces will be an ongoing journey. | ||||
* | 7784 - baremetal/shell: start of trace | Kartik K. Agaram | 2021-02-22 | 3 | -11/+56 |
| | |||||
* | 7781 - baremetal/shell: tokenize numbers | Kartik K. Agaram | 2021-02-21 | 1 | -0/+93 |
| | | | | | | | | We've now reached a point where we need to start thinking of error handling, and tests for error handling. The top-level has `stop`, but that's really just for working with Unix's exit(). Here we have the opportunity to bake errors into the trace. Which might also be a good opportunity for fleshing out the UX for the trace. | ||||
* | 7780 | Kartik K. Agaram | 2021-02-21 | 2 | -0/+53 |
| | | | | | | Start trimming whitespace from the input. It's probably a bad idea to rebuild all our primitives for gap buffers. | ||||
* | 7779 | Kartik K. Agaram | 2021-02-21 | 1 | -4/+25 |
| | |||||
* | 7778 | Kartik K. Agaram | 2021-02-21 | 1 | -2/+5 |
| | |||||
* | 7777 | Kartik K. Agaram | 2021-02-21 | 4 | -16/+69 |
| | | | | Same identity REPL, but now going through some symbol processing. | ||||
* | 7776 | Kartik K. Agaram | 2021-02-21 | 1 | -1/+11 |
| | |||||
* | 7775 | Kartik K. Agaram | 2021-02-21 | 2 | -18/+18 |
| | |||||
* | 7774 | Kartik K. Agaram | 2021-02-21 | 2 | -8/+7 |
| | | | | YAGNI over premature optimization. Avoid unnecessary copies. | ||||
* | 7773 | Kartik K. Agaram | 2021-02-21 | 2 | -10/+4 |
| | |||||
* | 7772 | Kartik K. Agaram | 2021-02-21 | 3 | -20/+29 |
| | |||||
* | 7771 | Kartik K. Agaram | 2021-02-21 | 4 | -3/+42 |
| | | | | | We might not scan directly through the gap buffer after all. Premature optimization? | ||||
* | 7770 - baremetal/shell: scanning through gap buffer | Kartik K. Agaram | 2021-02-21 | 2 | -1/+168 |
| | |||||
* | 7769 | Kartik K. Agaram | 2021-02-21 | 2 | -2/+0 |
| | |||||
* | 7768 - baremetal/shell: assume multi-line from the start | Kartik K. Agaram | 2021-02-21 | 1 | -5/+8 |
| | |||||
* | 7767 - baremetal/shell: skeleton repl | Kartik K. Agaram | 2021-02-21 | 1 | -1/+18 |
| | | | | Prints a fixed value for now, regardless of what is typed. | ||||
* | 7763 - baremetal/shell: newline | Kartik K. Agaram | 2021-02-20 | 2 | -40/+85 |
| | |||||
* | 7762 - baremetal/shell: backspace | Kartik K. Agaram | 2021-02-20 | 2 | -5/+21 |
| | | | | | | The text buffer can now shrink, which means we need to be careful to erase the old location of the cursor. Just clear screen before render each time. Which means we need to be more efficient with our rendering. | ||||
* | 7761 - baremetal/shell: read input from keyboard | Kartik K. Agaram | 2021-02-20 | 3 | -8/+72 |
| | |||||
* | 7759 - changing course; delete the postfix shell | Kartik K. Agaram | 2021-02-20 | 5 | -3358/+0 |
| | | | | | | | | | | | | | | | | | | | | | | | | It might be too ambitious for an initial Mu system, and I also want to watch my novelty budget. I also have great doubts about the ability of this live-updating postfix system to scale to interesting programs. Conditionals, loops, multi-line functions, all this requires further work. Instead, I'm going to recenter around Mu's original goals: - saying no to most features - encouraging/teaching testing - traces as a unifying metaphor In particular, instead of a live-updating system, the new debug loop will be: - generate a trace - browse the trace - modify the program - generate a trace - ... The only persistence we'll need here is a way to track what the programmer has drilled into in the trace. That might have some commonalities with the old system of expanded words. | ||||
* | 7758 | Kartik K. Agaram | 2021-02-20 | 2 | -0/+1090 |
| | | | | Just some temporary files before I blow them away. | ||||
* | 7757 | Kartik K. Agaram | 2021-02-19 | 2 | -15/+119 |
| | |||||
* | 7753 | Kartik K. Agaram | 2021-02-15 | 1 | -2/+5 |
| | |||||
* | 7752 | Kartik K. Agaram | 2021-02-15 | 1 | -2/+20 |
| | |||||
* | 7751 | Kartik K. Agaram | 2021-02-15 | 1 | -8/+10 |
| | |||||
* | 7749 | Kartik K. Agaram | 2021-02-15 | 1 | -3/+1 |
| | | | | | Forget about support for quitting for now. Quit by rebooting the computer or VM. | ||||
* | 7744 | Kartik K. Agaram | 2021-02-14 | 1 | -4/+6 |
| | |||||
* | 7743 | Kartik K. Agaram | 2021-02-14 | 2 | -1/+56 |
| | | | | First bugfix in baremetal/shell. Already it's much easier to debug. | ||||
* | 7742 - baremetal/shell is alive | Kartik K. Agaram | 2021-02-14 | 1 | -1/+10 |
| | |||||
* | 7741 - baremetal/shell: first run: single number | Kartik K. Agaram | 2021-02-14 | 1 | -0/+34 |
| | |||||
* | 7740 - baremetal/shell: eval and render line | Kartik K. Agaram | 2021-02-14 | 2 | -0/+108 |
| | |||||
* | 7739 - baremetal/shell: first draft of loop | Kartik K. Agaram | 2021-02-14 | 2 | -62/+237 |
| | | | | | This is quite new and speculative. I tried to list out some potential future tests later when we add 'return'. We'll see how it goes. | ||||
* | 7734 - baremetal/shell: break out of group | Kartik K. Agaram | 2021-02-13 | 1 | -2/+93 |
| | |||||
* | 7733 - baremetal/shell: conditional skips groups | Kartik K. Agaram | 2021-02-13 | 1 | -1/+83 |
| | |||||
* | 7732 - baremetal/shell: grouping words | Kartik K. Agaram | 2021-02-12 | 1 | -1/+95 |
| | | | | Now there's a neat resonance carrying over all 3 levels of Mu notation. | ||||
* | 7731 - baremetal/shell: conditional execution | Kartik K. Agaram | 2021-02-12 | 1 | -3/+69 |
| |