Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3646 | Kartik K. Agaram | 2016-11-07 | 1 | -22/+22 |
| | |||||
* | 3645 | Kartik K. Agaram | 2016-11-07 | 4 | -40/+26 |
| | | | | | | Extract a helper to compute the element type of an array. As a side effect, the hack for disambiguating array:address:number and array:number:3 is now in just one place. | ||||
* | 3644 | Kartik K. Agaram | 2016-11-07 | 2 | -71/+80 |
| | | | | Eject some array-related code out of the container layer. | ||||
* | 3643 | Kartik K. Agaram | 2016-11-07 | 14 | -31/+31 |
| | | | | | Standardize on calling literate waypoints "Special-cases" rather than "Cases". Invariably there's a default path already present. | ||||
* | 3642 | Kartik K. Agaram | 2016-11-06 | 10 | -119/+167 |
| | |||||
* | 3641 | Kartik K. Agaram | 2016-11-06 | 1 | -2/+3 |
| | |||||
* | 3640 | Kartik K. Agaram | 2016-11-06 | 1 | -10/+7 |
| | |||||
* | 3639 | Kartik K. Agaram | 2016-11-06 | 1 | -8/+8 |
| | | | | | Following commit 3637, rename another auxiliary variable with our new convention. | ||||
* | 3638 | Kartik K. Agaram | 2016-11-06 | 1 | -16/+15 |
| | | | | Reorder a couple of nonsensically-placed fragments. | ||||
* | 3637 - better 'missing type ingredient' errors | Kartik K. Agaram | 2016-11-06 | 4 | -81/+81 |
| | | | | | | | | | | | | Programming languages need some higher-level language construct that's neither an interface nor a class nor an object but a *collection of mutually recursive functions with a well-defined set of entry points and common ingredients. Perhaps the solution here is the Haskell "save your boilerplate" paper. For now I'm going to include the purpose in auxiliary variable names that aren't really necessary for the core processing of a function. Thanks Caleb Couch for reporting this issue. | ||||
* | 3636 | Kartik K. Agaram | 2016-11-06 | 1 | -1/+1 |
| | |||||
* | 3635 - show the array variant of 'new' earlier | Kartik K. Agaram | 2016-11-06 | 1 | -4/+23 |
| | |||||
* | 3634 | Kartik K. Agaram | 2016-11-06 | 1 | -0/+4 |
| | |||||
* | 3633 - new nest of bugs in 'new' | Kartik K. Agaram | 2016-11-06 | 1 | -6/+9 |
| | |||||
* | 3632 | Kartik K. Agaram | 2016-11-06 | 1 | -0/+7 |
| | | | | Follow-up to commit 3628. | ||||
* | 3631 | Kartik K. Agaram | 2016-11-06 | 1 | -0/+7 |
| | |||||
* | 3630 - generate trace for a single scenario | Kartik K. Agaram | 2016-11-06 | 3 | -3/+13 |
| | | | | | | | | To do so, run: $ ./mu --trace test <scenario name> The trace will then be in file 'interactive'. | ||||
* | 3629 - refcount commandline args | Kartik K. Agaram | 2016-11-06 | 2 | -0/+3 |
| | |||||
* | 3628 - fix a segfault in parsing | Kartik K. Agaram | 2016-11-05 | 2 | -2/+16 |
| | | | | Thanks Jack Couch for accidentally leading me to this bug. | ||||
* | 3627 - selective dumping a single label | Kartik K. Agaram | 2016-11-05 | 2 | -2/+10 |
| | | | | Follow-up to commit 3516. | ||||
* | 3626 | Kartik K. Agaram | 2016-11-05 | 2 | -0/+46 |
| | |||||
* | 3625 - gracefully handle fractional array index | Kartik K. Agaram | 2016-11-05 | 1 | -0/+11 |
| | | | | | Follow-up to commit 3622. Even though there's no code change that's just a happy accident; we hadn't at all considered this constraint thus far. | ||||
* | 3624 - new rounding instruction: 'truncate' | Kartik K. Agaram | 2016-11-05 | 1 | -0/+35 |
| | |||||
* | 3623 | Kartik K. Agaram | 2016-11-05 | 2 | -0/+2 |
| | | | | Umpteenth bugfix to ensure we show the number of failed scenarios. | ||||
* | 3622 - handle fractional coordinates in print | Kartik K. Agaram | 2016-11-05 | 4 | -0/+66 |
| | |||||
* | 3621 | Kartik K. Agaram | 2016-11-04 | 4 | -6/+6 |
| | |||||
* | 3620 | Kartik K. Agaram | 2016-11-04 | 1 | -2/+2 |
| | |||||
* | 3619 | Kartik K. Agaram | 2016-10-31 | 2 | -12/+50 |
| | |||||
* | 3618 | Kartik K. Agaram | 2016-10-31 | 4 | -18/+18 |
| | |||||
* | 3617 | Kartik K. Agaram | 2016-10-31 | 1 | -21/+21 |
| | |||||
* | 3616 | Kartik K. Agaram | 2016-10-31 | 1 | -8/+8 |
| | |||||
* | 3615 | Kartik K. Agaram | 2016-10-31 | 1 | -7/+7 |
| | |||||
* | 3614 | Kartik K. Agaram | 2016-10-31 | 1 | -8/+8 |
| | |||||
* | 3613 | Kartik K. Agaram | 2016-10-31 | 3 | -8/+23 |
| | |||||
* | 3612 | Kartik K. Agaram | 2016-10-31 | 1 | -4/+3 |
| | |||||
* | 3611 | Kartik K. Agaram | 2016-10-31 | 1 | -0/+1 |
| | | | | Fix CI. | ||||
* | 3610 - bugfix in type-checking 'call' instructions | Kartik K. Agaram | 2016-10-31 | 2 | -2/+14 |
| | | | | | | | Thanks Rebecca Allard for running into this. The test is in layer 13 even though the code that regressed was fixed in layer 71, because the test was working as-is in earlier layers. | ||||
* | 3609 | Kartik K. Agaram | 2016-10-29 | 3 | -2/+10 |
| | |||||
* | 3608 - concurrent writes to fake file system | Kartik K. Agaram | 2016-10-29 | 3 | -2/+10 |
| | |||||
* | 3607 | Kartik K. Agaram | 2016-10-28 | 1 | -1/+1 |
| | |||||
* | 3606 | Kartik K. Agaram | 2016-10-28 | 1 | -1/+1 |
| | |||||
* | 3605 | Kartik K. Agaram | 2016-10-28 | 1 | -25/+32 |
| | |||||
* | 3604 | Kartik K. Agaram | 2016-10-27 | 13 | -70/+108 |
| | |||||
* | 3603 | Kartik K. Agaram | 2016-10-27 | 1 | -2/+0 |
| | |||||
* | 3602 | Kartik K. Agaram | 2016-10-27 | 2 | -28/+20 |
| | | | | | Simplify primitive interface to read from a socket: now returns just a single character. | ||||
* | 3601 | Kartik K. Agaram | 2016-10-27 | 1 | -1/+1 |
| | | | | | Now we can just read a single character from the socket, and it isn't much slower either (maybe 10%). | ||||
* | 3600 - allow reading a single byte from a socket | Kartik K. Agaram | 2016-10-27 | 1 | -3/+3 |
| | | | | | | | Required fixing an off-by-one error. (Not bothering writing a test for this since I'm hoping to simplify $read-from-socket to always return a single character..) | ||||
* | 3599 | Kartik K. Agaram | 2016-10-27 | 2 | -4/+8 |
| | |||||
* | 3598 - 'use before set' errors were too cryptic | Kartik K. Agaram | 2016-10-27 | 2 | -3/+3 |
| | |||||
* | 3597 - typo in screen checking | Kartik K. Agaram | 2016-10-27 | 1 | -4/+4 |
| | | | | Thanks Ella Couch for reporting this. |