Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 1276 - make C++ version the default | Kartik K. Agaram | 2015-05-05 | 1 | -5208/+0 |
| | | | | I've tried to update the Readme, but there are at least a couple of issues. | ||||
* | 881 | Kartik K. Agaram | 2015-03-10 | 1 | -0/+1 |
| | |||||
* | 742 - turns out chessboard test logs were incomplete | Kartik K. Agaram | 2015-02-11 | 1 | -9/+4 |
| | | | | | Now that we aren't loading system software for every test we can afford to log the loading of test functions. | ||||
* | 722 - split at substring, and assorted helpers | Kartik K. Agaram | 2015-02-08 | 1 | -0/+70 |
| | |||||
* | 720 - substring matching and searching | Kartik K. Agaram | 2015-02-08 | 1 | -0/+169 |
| | |||||
* | 718 - disable raw memory warnings in tests | Kartik K. Agaram | 2015-02-08 | 1 | -0/+2 |
| | |||||
* | 712 | Kartik K. Agaram | 2015-02-07 | 1 | -0/+14 |
| | |||||
* | 711 - extract method: string-copy | Kartik K. Agaram | 2015-02-07 | 1 | -0/+1 |
| | |||||
* | 708 | Kartik K. Agaram | 2015-02-05 | 1 | -10/+10 |
| | |||||
* | 706 | Kartik K. Agaram | 2015-02-04 | 1 | -0/+83 |
| | |||||
* | 705 - clean up traces before we try to parse them | Kartik K. Agaram | 2015-02-03 | 1 | -14/+16 |
| | | | | | | | | | | For now we want to parse two labels: 'run', identifying call stack, op and args 'mem', distinguishing reads and writes This should give us fodder for a few weeks, to build both a folding UI for individual statements and descending the call stack, and also a query engine that can figure out sources and sinks in the trace graph. | ||||
* | 689 | Kartik K. Agaram | 2015-01-31 | 1 | -1/+3 |
| | | | | Typo in a recent test. | ||||
* | 677 - more improvements for names in shared spaces | Kartik K. Agaram | 2015-01-29 | 1 | -1/+54 |
| | |||||
* | 676 - allow routines to share *names* for locals | Kartik K. Agaram | 2015-01-29 | 1 | -0/+26 |
| | |||||
* | 675 | Kartik K. Agaram | 2015-01-29 | 1 | -2/+2 |
| | |||||
* | 635 | Kartik K. Agaram | 2015-01-26 | 1 | -1/+39 |
| | |||||
* | 634 | Kartik K. Agaram | 2015-01-26 | 1 | -0/+35 |
| | |||||
* | 630 - routines can now allocate unlimited memory | Kartik K. Agaram | 2015-01-26 | 1 | -0/+2 |
| | |||||
* | 629 | Kartik K. Agaram | 2015-01-26 | 1 | -1/+33 |
| | |||||
* | 628 | Kartik K. Agaram | 2015-01-26 | 1 | -0/+27 |
| | |||||
* | 627 | Kartik K. Agaram | 2015-01-26 | 1 | -0/+25 |
| | |||||
* | 626 - start eliminating the memory-per-routine limit | Kartik K. Agaram | 2015-01-26 | 1 | -0/+23 |
| | |||||
* | 625 - guard against errors with input-output args | Kartik K. Agaram | 2015-01-25 | 1 | -0/+30 |
| | | | | | | | | | | | (Another attempt at 623.) I dunno, this may all be a wild goose chase. I haven't been disciplined in tagging in-out arguments in 'read-move' and its helpers. Maybe I should just drop those 'nochange' oargs in 'read' and 'write'. Maybe I should reserve output args only for return values that callers might actually care about, and use more conventional metadata like 'const' or 'unique' or 'inout' on other args. | ||||
* | 624 - no, that's all wrong, scratch 623 | Kartik K. Agaram | 2015-01-25 | 1 | -53/+23 |
| | |||||
* | 623 - 'nochange' to guard against race conditions | Kartik K. Agaram | 2015-01-25 | 1 | -23/+53 |
| | | | | | | | | | I dunno, this may all be a wild goose chase. I haven't been disciplined in tagging in-out arguments in 'read-move' and its helpers. Maybe I should just drop those 'nochange' oargs in 'read' and 'write'. Maybe I should reserve output args only for return values that callers might actually care about, and use more conventional metadata like 'const' or 'unique' or 'inout' on other args. | ||||
* | 616 - buffered-stdin handles backspace | Kartik K. Agaram | 2015-01-25 | 1 | -0/+34 |
| | | | | Chessboard now *almost* handles backspace perfectly. | ||||
* | 604 - new function to buffer stdin | Kartik K. Agaram | 2015-01-24 | 1 | -0/+72 |
| | | | | | Still surprisingly hard to debug. We might be barking up the wrong tree. Or we might just need to lump it. System software is hard. | ||||
* | 600 - fake keyboard | Kartik K. Agaram | 2015-01-22 | 1 | -3/+31 |
| | | | | | Use asynchronous channels like 'stdin' for most tests. Use the synchronous fakes for testing low-level stdin helpers. | ||||
* | 599 | Kartik K. Agaram | 2015-01-21 | 1 | -1/+0 |
| | |||||
* | 598 - clear up a minor mystery | Kartik K. Agaram | 2015-01-21 | 1 | -0/+1 |
| | |||||
* | 597 | Kartik K. Agaram | 2015-01-21 | 1 | -0/+14 |
| | |||||
* | 592 | Kartik K. Agaram | 2015-01-18 | 1 | -2/+5 |
| | |||||
* | 582 - first tests for printing to screen | Kartik K. Agaram | 2015-01-17 | 1 | -0/+26 |
| | |||||
* | 576 - helper for printing integers | Kartik K. Agaram | 2015-01-17 | 1 | -0/+35 |
| | | | | | | | | | | | | | | | This requires creating a new data structure called buffer, because strings are too inefficient for appending to, and we need to know how long they need to be before we clear them. But I'm not gonna bother to write tests for all the new primitives I just introduced, because that's not expedient. One test for mu is how nicely it handles situations like this without requiring perfect test hygiene. In this case, I can imagine tools that will extract tests for a particular function out of all known tests. Especially if it's a pure function that should be easy. Then just show each test to the programmer and ask him to give it a reasonable name. | ||||
* | 569 - ah, the right way to do generic functions | Kartik K. Agaram | 2015-01-14 | 1 | -0/+2 |
| | | | | | | | | | | Each clause creates its own default-space for local variables. Now we can justify prepending bodies on every 'function' form. Later we can optimize away the duplicate default-spaces. Another cost: we can't mindlessly use 'next-input' anymore. Pity. | ||||
* | 564 | Kartik K. Agaram | 2015-01-14 | 1 | -679/+679 |
| | |||||
* | 542 | Kartik K. Agaram | 2015-01-12 | 1 | -0/+52 |
| | | | | Tests for terminating when there's just helpers left. | ||||
* | 529 - 'sleep' can now wait for a routine to complete | Kartik K. Agaram | 2015-01-10 | 1 | -0/+26 |
| | |||||
* | 528 | Kartik K. Agaram | 2015-01-10 | 1 | -3/+4 |
| | |||||
* | 525 - 'fork' now returns a routine id | Kartik K. Agaram | 2015-01-10 | 1 | -0/+30 |
| | |||||
* | 524 | Kartik K. Agaram | 2015-01-10 | 1 | -14/+14 |
| | |||||
* | 522 - another arg for 'fork' | Kartik K. Agaram | 2015-01-10 | 1 | -5/+23 |
| | | | | Fork syntax is now: fork <function> [global space] [max cycle limit] args* | ||||
* | 519 - ooh, use metadata to disambiguate args | Kartik K. Agaram | 2015-01-10 | 1 | -5/+5 |
| | |||||
* | 515 - support time limits for threads | Kartik K. Agaram | 2015-01-10 | 1 | -0/+124 |
| | | | | | Disquieting that I can't make each of these five tests fail in isolation. We have to fix them all at once. | ||||
* | 514 | Kartik K. Agaram | 2015-01-09 | 1 | -16/+18 |
| | |||||
* | 512 - update html rendering | Kartik K. Agaram | 2015-01-09 | 1 | -191/+227 |
| | |||||
* | 511 - make 'sleep' clearer | Kartik K. Agaram | 2015-01-08 | 1 | -13/+13 |
| | |||||
* | 510 | Kartik K. Agaram | 2015-01-08 | 1 | -2/+2 |
| | |||||
* | 509 | Kartik K. Agaram | 2015-01-08 | 1 | -23/+23 |
| | |||||
* | 506 - continue 505 | Kartik K. Agaram | 2015-01-06 | 1 | -21/+27 |
| | | | | Still no reason uncovered to avoid non-pointers. |