Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 195 - more cleanup | Kartik K. Agaram | 2014-10-31 | 1 | -3/+5 |
| | | | | | All test functions in mu.arc.t now passing cleanly through convert-names. edit.arc.t is still an open sore. | ||||
* | 194 - cleanup: 'get', 'get-address' | Kartik K. Agaram | 2014-10-31 | 1 | -27/+21 |
| | |||||
* | 193 | Kartik K. Agaram | 2014-10-31 | 1 | -2/+2 |
| | |||||
* | 192 - cleanup | Kartik K. Agaram | 2014-10-31 | 1 | -51/+44 |
| | | | | | Decent messages for all assertion failures. Not actually tested though.. | ||||
* | 191 | Kartik K. Agaram | 2014-10-31 | 1 | -1/+1 |
| | |||||
* | 190 - finally, variable names again | Kartik K. Agaram | 2014-10-31 | 1 | -67/+80 |
| | | | | 32 commits and 3 days later. | ||||
* | 189 | Kartik K. Agaram | 2014-10-31 | 1 | -10/+9 |
| | |||||
* | 188 - new op: 'prepare-reply' | Kartik K. Agaram | 2014-10-31 | 1 | -4/+10 |
| | | | | | It's needed to allow 'defer' to execute statements on 'reply' without touching the results. | ||||
* | 187 - return function results by value | Kartik K. Agaram | 2014-10-31 | 1 | -12/+21 |
| | |||||
* | 187 | Kartik K. Agaram | 2014-10-31 | 1 | -3/+0 |
| | |||||
* | 186 - per-call default scope | Kartik K. Agaram | 2014-10-31 | 1 | -2/+2 |
| | | | | | We can't free memory yet, but at least this way we stop using stale scopes by default. | ||||
* | 185 - make sure functions call by value | Kartik K. Agaram | 2014-10-31 | 1 | -8/+10 |
| | | | | This becomes important in the presence of scopes. | ||||
* | 184 | Kartik K. Agaram | 2014-10-30 | 1 | -1/+2 |
| | |||||
* | 183 - global variables | Kartik K. Agaram | 2014-10-30 | 1 | -4/+5 |
| | | | | If an operand has metadata 'global', it isn't offset off default-scope. | ||||
* | 182 | Kartik K. Agaram | 2014-10-30 | 1 | -1/+2 |
| | |||||
* | 181 - fix inconsistent metadata | Kartik K. Agaram | 2014-10-30 | 1 | -4/+5 |
| | | | | | 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 | -1/+2 |
| | |||||
* | 179 | Kartik K. Agaram | 2014-10-30 | 1 | -2/+4 |
| | |||||
* | 178 | Kartik K. Agaram | 2014-10-30 | 1 | -2/+2 |
| | |||||
* | 177 - more robust 'die' | Kartik K. Agaram | 2014-10-30 | 1 | -5/+12 |
| | |||||
* | 176 | Kartik K. Agaram | 2014-10-29 | 1 | -3/+3 |
| | |||||
* | 175 - have 'new' write array size automatically | Kartik K. Agaram | 2014-10-29 | 1 | -1/+2 |
| | |||||
* | 174 - experiment: communicating errors between routines | Kartik K. Agaram | 2014-10-29 | 1 | -9/+15 |
| | | | | Who does cleanup? That comes later, with custodians. | ||||
* | 172 - save completed routines for better white-box testing | Kartik K. Agaram | 2014-10-29 | 1 | -6/+8 |
| | |||||
* | 171 - rename 'context' to 'routine' | Kartik K. Agaram | 2014-10-29 | 1 | -63/+64 |
| | | | | | Given goroutines, the new name conveys a more accurate connotation of concurrency considerations. | ||||
* | 170 - stack frame support | Kartik K. Agaram | 2014-10-29 | 1 | -15/+25 |
| | | | | | When the current context has a 'default-scope', directly-addressed memory offsets off of it. | ||||
* | 169 | Kartik K. Agaram | 2014-10-29 | 1 | -11/+10 |
| | |||||
* | 168 | Kartik K. Agaram | 2014-10-29 | 1 | -1/+4 |
| | |||||
* | 167 | Kartik K. Agaram | 2014-10-29 | 1 | -37/+38 |
| | | | | Make context a global. | ||||
* | 164 - start of a simple tangling system | Kartik K. Agaram | 2014-10-29 | 1 | -0/+18 |
| | |||||
* | 163 - start of a simple assembler | Kartik K. Agaram | 2014-10-29 | 1 | -2/+32 |
| | |||||
* | 162 | Kartik K. Agaram | 2014-10-29 | 1 | -4/+4 |
| | |||||
* | 160 - fix stale editor test | Kartik K. Agaram | 2014-10-28 | 1 | -0/+6 |
| | |||||
* | 159 - putting types table in test file was a bad idea | Kartik K. Agaram | 2014-10-28 | 1 | -0/+34 |
| | | | | We could no longer just create .mu files and run them on the command line. | ||||
* | 158 - stop supporting non-numeric addresses | Kartik K. Agaram | 2014-10-28 | 1 | -36/+40 |
| | | | | | That was relying on the underlying host lisp. Next we'll build a simple assembler to get back descriptive variable names. | ||||
* | 157 - 'new-list' handles integers | Kartik K. Agaram | 2014-10-25 | 1 | -2/+18 |
| | |||||
* | 156 - new primitive for lifting into tagged-types: 'save-type' | Kartik K. Agaram | 2014-10-24 | 1 | -0/+4 |
| | |||||
* | 149 - get rid of 'type' and 'otype' in favor of tagged types for dispatch | Kartik K. Agaram | 2014-10-14 | 1 | -4/+0 |
| | |||||
* | 148 - better idiom for generic functions | Kartik K. Agaram | 2014-10-14 | 1 | -2/+17 |
| | |||||
* | 147 | Kartik K. Agaram | 2014-10-14 | 1 | -11/+11 |
| | |||||
* | 146 | Kartik K. Agaram | 2014-10-14 | 1 | -1/+1 |
| | |||||
* | 145 - delete random programs | Kartik K. Agaram | 2014-10-14 | 1 | -2/+1 |
| | | | | | | | | | They need a type table to work, but I'm keeping type tables next to the tests. Everything needs to be a test from now on. (But first some fixes to the terminal primitives.) | ||||
* | 144 | Kartik K. Agaram | 2014-10-14 | 1 | -5/+10 |
| | |||||
* | 142 - helper for lists | Kartik K. Agaram | 2014-10-12 | 1 | -0/+7 |
| | | | | | Amazing how easy it was to just dump the trace and diff, compared to my old approach of adding new traces and rerunning. | ||||
* | 140 | Kartik K. Agaram | 2014-10-12 | 1 | -1/+19 |
| | |||||
* | 137 | Kartik K. Agaram | 2014-10-12 | 1 | -2/+2 |
| | |||||
* | 136 - log memory in consistent order | Kartik K. Agaram | 2014-10-12 | 1 | -1/+1 |
| | | | | | This is super slow. Maybe I should keep it commented out until we need it? Open to doing that in future. | ||||
* | 134 - 'arg' explicitly tells us if an arg was found | Kartik K. Agaram | 2014-10-12 | 1 | -1/+2 |
| | | | | | | 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/+2 |
| | |||||
* | 131 - maybe-coerce now allocates new space each call | Kartik K. Agaram | 2014-10-11 | 1 | -15/+24 |
| | | | | | | | | | | | | | | | | | | | | | | (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. |