Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 366 - reorg run's helpers | Kartik K. Agaram | 2014-11-28 | 1 | -142/+155 |
| | | | | | First step to using our new 'deref' and 'absolutize' helpers more coherently. | ||||
* | 365 - new primitives let us generalize 'addr' | Kartik K. Agaram | 2014-11-28 | 2 | -4/+8 |
| | |||||
* | 364 | Kartik K. Agaram | 2014-11-28 | 1 | -16/+2 |
| | |||||
* | 363 | Kartik K. Agaram | 2014-11-28 | 2 | -1/+29 |
| | |||||
* | 362 | Kartik K. Agaram | 2014-11-28 | 2 | -0/+4 |
| | | | | Gaining confidence.. | ||||
* | 361 - *now* 'sizeof' on array pointers | Kartik K. Agaram | 2014-11-28 | 2 | -0/+7 |
| | |||||
* | 360 - back up, let's create a new 'deref' helper | Kartik K. Agaram | 2014-11-28 | 2 | -0/+21 |
| | |||||
* | 359 - 'sizeof' supports 'deref' pointers | Kartik K. Agaram | 2014-11-28 | 2 | -1/+8 |
| | | | | Just non-arrays for now. | ||||
* | 358 - start of 'sizeof' support for arrays | Kartik K. Agaram | 2014-11-28 | 2 | -0/+16 |
| | |||||
* | 357 | Kartik K. Agaram | 2014-11-28 | 1 | -0/+10 |
| | |||||
* | 356 - high time 'sizeof' supported operands | Kartik K. Agaram | 2014-11-28 | 2 | -12/+23 |
| | |||||
* | 355 | Kartik K. Agaram | 2014-11-28 | 1 | -0/+11 |
| | |||||
* | 354 - stepping back, test-driving 'addr' helper again | Kartik K. Agaram | 2014-11-28 | 2 | -1/+29 |
| | |||||
* | 353 - found lots of holes in array support | Kartik K. Agaram | 2014-11-27 | 1 | -34/+34 |
| | | | | | I've uncovered a few while enhancing 'interpolate', but I'll wait to fix them all before I commit the enhancements. | ||||
* | 352 - 'interpolate' as a poor man's printf | Kartik K. Agaram | 2014-11-27 | 2 | -2/+174 |
| | |||||
* | 351 - break/loop from nested blocks | Kartik K. Agaram | 2014-11-27 | 2 | -10/+58 |
| | |||||
* | 350 | Kartik K. Agaram | 2014-11-27 | 1 | -9/+9 |
| | |||||
* | 349 - jump to label | Kartik K. Agaram | 2014-11-27 | 2 | -3/+49 |
| | |||||
* | 348 | Kartik K. Agaram | 2014-11-27 | 2 | -7/+7 |
| | |||||
* | 347 - allow 'arg' channel to be rewound | Kartik K. Agaram | 2014-11-27 | 2 | -9/+26 |
| | |||||
* | 346 | Kartik K. Agaram | 2014-11-27 | 1 | -7/+7 |
| | |||||
* | 345 | Kartik K. Agaram | 2014-11-27 | 2 | -59/+2 |
| | |||||
* | 344 - about to give up on rewrite rules | Kartik K. Agaram | 2014-11-27 | 3 | -8/+30 |
| | | | | | | | | | | | | | | | | | I wanted to come up with some way to rewrite 'def-clause foo' to 'after foo/more-clauses', something like: rewrite def-clause [ (fn-name string-address) <- arg (label-name string-address) <- strcat (fn-name string-address deref) ("/more-clauses" literal) (body expr) <- arg reply `(after ,label-name ,body) ] But the quasiquote is still a nested expression that doesn't fit our model well. Still an open question how to do template interpolation in mu. | ||||
* | 343 - experiment: rewrite rules | Kartik K. Agaram | 2014-11-27 | 2 | -2/+38 |
| | | | | We'll worry later about implementing them in mu. | ||||
* | 342 - strcat | Kartik K. Agaram | 2014-11-27 | 2 | -2/+79 |
| | |||||
* | 341 - standardize traces again | Kartik K. Agaram | 2014-11-27 | 3 | -1/+51 |
| | |||||
* | 340 | Kartik K. Agaram | 2014-11-26 | 2 | -2/+3 |
| | |||||
* | 339 - string literals for convenience | Kartik K. Agaram | 2014-11-26 | 2 | -7/+37 |
| | | | | | | I'm cheating a little when it comes to strings, making use of Racket primitives. But in principle it seems like a local transform to implement even in machine code. | ||||
* | 338 - starting to work on string primitives | Kartik K. Agaram | 2014-11-26 | 2 | -1/+13 |
| | |||||
* | 337 - rename 'continue' instructions to 'loop' | Kartik K. Agaram | 2014-11-26 | 2 | -28/+28 |
| | |||||
* | 336 | Kartik K. Agaram | 2014-11-26 | 1 | -1/+0 |
| | |||||
* | 335 - tangle at labels scoped to functions | Kartik K. Agaram | 2014-11-26 | 2 | -5/+37 |
| | |||||
* | 334 | Kartik K. Agaram | 2014-11-26 | 1 | -0/+4 |
| | |||||
* | 333 | Kartik K. Agaram | 2014-11-26 | 1 | -1/+2 |
| | |||||
* | 332 - example function with multiple clauses | Kartik K. Agaram | 2014-11-26 | 2 | -0/+32 |
| | | | | | | | | | | | I'm still figuring out the idioms, and it doesn't seem like there's an easy way to avoid redundant allocations and arg reading. At least for generic functions we want to optimize for each call-site, we can create subsidiary labels to jump to. Also, this is the first genuine use for random access to a function's arguments. | ||||
* | 331 | Kartik K. Agaram | 2014-11-26 | 1 | -3/+1 |
| | |||||
* | 330 | Kartik K. Agaram | 2014-11-26 | 1 | -12/+52 |
| | |||||
* | 329 | Kartik K. Agaram | 2014-11-26 | 1 | -1/+1 |
| | |||||
* | 328 | Kartik K. Agaram | 2014-11-26 | 1 | -35/+34 |
| | |||||
* | Merge pull request #1 from KyleAMathews/patch-1 | Kartik Agaram | 2014-11-25 | 1 | -14/+28 |
|\ | | | | | Convert readme to markdown for github. | ||||
| * | Rename file so markdown will compile | Kyle Mathews | 2014-11-25 | 1 | -14/+28 |
|/ | |||||
* | 326 | Kartik K. Agaram | 2014-11-25 | 1 | -2/+2 |
| | |||||
* | 325 - example program using channels | Kartik K. Agaram | 2014-11-25 | 3 | -0/+79 |
| | |||||
* | 324 - more elaboration in Readme | Kartik K. Agaram | 2014-11-25 | 1 | -22/+143 |
| | | | | | I have different prose in Readme and at the top of the tests. Let's see how hard they are to manage over time. | ||||
* | 323 - function clauses | Kartik K. Agaram | 2014-11-24 | 2 | -2/+33 |
| | | | | | | | | | | | You can now call 'def' on a function name multiple times. Each time the instructions you provide are *prepended* to any existing instructions. One important use for this is when you define a new type and need to support it in all your generic methods. Now you can keep all those extensions in one place, near the definition of the type. To redefine a function, use 'def!'. | ||||
* | 322 | Kartik K. Agaram | 2014-11-24 | 1 | -12/+12 |
| | |||||
* | 321 - before/after can now come anywhere | Kartik K. Agaram | 2014-11-24 | 3 | -31/+35 |
| | | | | | | This pollutes our traces with all 'system software'. Too much trouble to keep it out; just lump it for now. Who knows, might even be useful. Most of the time convert* labels are easy to grep out when debugging. | ||||
* | 320 | Kartik K. Agaram | 2014-11-24 | 1 | -1/+1 |
| | |||||
* | 319 - ack, forgot to handle blocks when tangling | Kartik K. Agaram | 2014-11-24 | 3 | -13/+87 |
| | | | | | | | | | | | | Will the 'lightweight tools' really be all that useable if we encourage people to layer them one atop another and track precisely what inputs each can accept? Something to keep an eye on. In the meanwhile, we have a new (but very unrealistic) example demonstrating the tangling directives. There's still a big constraint on ordering: before/after clauses have to come before functions that need them. | ||||
* | 318 | Kartik K. Agaram | 2014-11-24 | 1 | -0/+7 |
| |