Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 181 - fix inconsistent metadata | Kartik K. Agaram | 2014-10-30 | 1 | -8/+8 |
| | | | | | We have cases where 'type' is stored in memory, so it can't be a literal type like 'offset'. | ||||
* | 180 | Kartik K. Agaram | 2014-10-30 | 1 | -0/+14 |
| | |||||
* | 179 | Kartik K. Agaram | 2014-10-30 | 1 | -1/+14 |
| | |||||
* | 174 - experiment: communicating errors between routines | Kartik K. Agaram | 2014-10-29 | 1 | -2/+16 |
| | | | | Who does cleanup? That comes later, with custodians. | ||||
* | 173 | Kartik K. Agaram | 2014-10-29 | 1 | -2/+2 |
| | |||||
* | 170 - stack frame support | Kartik K. Agaram | 2014-10-29 | 1 | -0/+14 |
| | | | | | When the current context has a 'default-scope', directly-addressed memory offsets off of it. | ||||
* | 166 | Kartik K. Agaram | 2014-10-29 | 1 | -3/+3 |
| | |||||
* | 165 | Kartik K. Agaram | 2014-10-29 | 1 | -10/+10 |
| | |||||
* | 164 - start of a simple tangling system | Kartik K. Agaram | 2014-10-29 | 1 | -0/+13 |
| | |||||
* | 163 - start of a simple assembler | Kartik K. Agaram | 2014-10-29 | 1 | -0/+13 |
| | |||||
* | 161 | Kartik K. Agaram | 2014-10-29 | 1 | -2/+2 |
| | |||||
* | 159 - putting types table in test file was a bad idea | Kartik K. Agaram | 2014-10-28 | 1 | -38/+7 |
| | | | | We could no longer just create .mu files and run them on the command line. | ||||
* | 157 - 'new-list' handles integers | Kartik K. Agaram | 2014-10-25 | 1 | -9/+37 |
| | |||||
* | 156 - new primitive for lifting into tagged-types: 'save-type' | Kartik K. Agaram | 2014-10-24 | 1 | -1/+15 |
| | |||||
* | 155 | Kartik K. Agaram | 2014-10-24 | 1 | -2/+5 |
| | |||||
* | 153 | Kartik K. Agaram | 2014-10-24 | 1 | -69/+79 |
| | |||||
* | 152 | Kartik K. Agaram | 2014-10-18 | 1 | -70/+70 |
| | |||||
* | 151 | Kartik K. Agaram | 2014-10-18 | 1 | -1/+1 |
| | |||||
* | 149 - get rid of 'type' and 'otype' in favor of tagged types for dispatch | Kartik K. Agaram | 2014-10-14 | 1 | -67/+61 |
| | |||||
* | 148 - better idiom for generic functions | Kartik K. Agaram | 2014-10-14 | 1 | -91/+106 |
| | |||||
* | 147 | Kartik K. Agaram | 2014-10-14 | 1 | -33/+33 |
| | |||||
* | 144 | Kartik K. Agaram | 2014-10-14 | 1 | -0/+7 |
| | |||||
* | 143 | Kartik K. Agaram | 2014-10-12 | 1 | -7/+7 |
| | |||||
* | 142 - helper for lists | Kartik K. Agaram | 2014-10-12 | 1 | -1/+1 |
| | | | | | Amazing how easy it was to just dump the trace and diff, compared to my old approach of adding new traces and rerunning. | ||||
* | 141 - list nodes using tagged-value | Kartik K. Agaram | 2014-10-12 | 1 | -1/+46 |
| | |||||
* | 140 | Kartik K. Agaram | 2014-10-12 | 1 | -3/+16 |
| | |||||
* | 139 | Kartik K. Agaram | 2014-10-12 | 1 | -1/+14 |
| | |||||
* | 138 | Kartik K. Agaram | 2014-10-12 | 1 | -5/+3 |
| | | | | | | | | Current todo stack: trace-based assert new-tagged-value - assert that first arg has size 1 test constructing list manually new-list | ||||
* | 137 | Kartik K. Agaram | 2014-10-12 | 1 | -3/+38 |
| | |||||
* | 135 | Kartik K. Agaram | 2014-10-12 | 1 | -0/+16 |
| | |||||
* | 134 - 'arg' explicitly tells us if an arg was found | Kartik K. Agaram | 2014-10-12 | 1 | -0/+15 |
| | | | | | | Return values can be ignored in mu, in the grand traditions of C programming. Though library writers can impose their conservatism on callers by returning the error condition first. | ||||
* | 133 - handle missing args without error | Kartik K. Agaram | 2014-10-12 | 1 | -1/+15 |
| | |||||
* | 132 | Kartik K. Agaram | 2014-10-11 | 1 | -2/+3 |
| | |||||
* | 131 - maybe-coerce now allocates new space each call | Kartik K. Agaram | 2014-10-11 | 1 | -2/+32 |
| | | | | | | | | | | | | | | | | | | | | | | (Doesn't reclaim yet. Need to build free soon. Then lexical scopes..) This commit showed the benefits of my persisting traces. I realized I needed 'sz' to handle 'deref' args. But I vaguely remembered some earlier instance when some primitive needed to recognize 'deref' at some times but not others. Was it 'sz'? Just added a trace on operands, reran all tests, grepped for deref. $ grep sz .traces -r |grep deref Nothing would fail. Ok, add 'deref' support. Boom, 3 layers of tests passed. Still concerned I'm not using traces enough. Keep vigilant. Mixing print and trace seems like a bad idea. From now on whenever I use any existing commented-out prn's I'm going to turn them into trace calls. That should put pressure on comprehending traces, and tools for doing that, like segmenting by dynamic and static layers. | ||||
* | 130 - build maybe-coerce in mu | Kartik K. Agaram | 2014-10-11 | 1 | -3/+4 |
| | | | | | This is more likely to be right. But the limitations of symbolic locations are starting to be a drag. Time to build lexical scope. | ||||
* | 129 | Kartik K. Agaram | 2014-10-10 | 1 | -1/+5 |
| | |||||
* | 128 | Kartik K. Agaram | 2014-10-10 | 1 | -7/+3 |
| | |||||
* | 127 - tagged values for dynamic typing | Kartik K. Agaram | 2014-10-10 | 1 | -0/+23 |
| | | | | This is almost certainly wrong. | ||||
* | 126 | Kartik K. Agaram | 2014-10-10 | 1 | -59/+59 |
| | |||||
* | 123 - experiment: build the reading flow around the *test* file | Kartik K. Agaram | 2014-10-10 | 1 | -165/+419 |
| | |||||
* | 120 - forgot to alloc space for array length | Kartik K. Agaram | 2014-10-07 | 1 | -2/+2 |
| | |||||
* | 119 - 'continue' was badly broken | Kartik K. Agaram | 2014-10-07 | 1 | -0/+25 |
| | |||||
* | 118 - persist all test traces | Kartik K. Agaram | 2014-10-07 | 1 | -0/+60 |
| | |||||
* | 117 - simplify old tests to use literals | Kartik K. Agaram | 2014-10-07 | 1 | -118/+87 |
| | |||||
* | 116 - retire 'literal' instruction now that we have 'literal' addressing | Kartik K. Agaram | 2014-10-07 | 1 | -150/+150 |
| | |||||
* | 112 | Kartik K. Agaram | 2014-10-06 | 1 | -1/+14 |
| | |||||
* | 111 - no, can't mix array and record access | Kartik K. Agaram | 2014-10-05 | 1 | -6/+22 |
| | | | | records need literal offsets; arrays need variables. | ||||
* | 110 - 107 for 'get-address' | Kartik K. Agaram | 2014-10-05 | 1 | -0/+12 |
| | |||||
* | 109 | Kartik K. Agaram | 2014-10-05 | 1 | -1/+1 |
| | |||||
* | 107 - 'get' can now take an address | Kartik K. Agaram | 2014-10-05 | 1 | -0/+13 |
| |