about summary refs log tree commit diff stats
path: root/020run.cc
Commit message (Collapse)AuthorAgeFilesLines
* 1901Kartik K. Agaram2015-07-301-1/+1
| | | | | Don't swamp edit.mu with warnings when something writes to address 0. Warn once, then keep going.
* 1879 - types required at first mention of a nameKartik K. Agaram2015-07-281-1/+3
| | | | That should avoid many issues with typos in names.
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-11/+11
| | | | First step to reducing typing burden. Next step: inferring types.
* 1863 - two bugfixes in deleting sandboxesKartik K. Agaram2015-07-281-4/+14
| | | | | Forgot to show screen after delete, and 'release' events were causing double deletions.
* 1844 - explicitly end each trace lineKartik K. Agaram2015-07-251-8/+11
| | | | | | | | | More verbose, but it saves trouble when debugging; there's never something you thought should be traced but just never came out the other end. Also got rid of fatal errors entirely. Everything's a warning now, and code after a warning isn't guaranteed to run.
* 1830Kartik K. Agaram2015-07-231-0/+3
|
* 1824Kartik K. Agaram2015-07-201-1/+2
|
* 1814 - save code in editorKartik K. Agaram2015-07-181-1/+1
| | | | | | | Very rudimentary ability to read/write from file+version control. No control over name. Recipes now saved. But what to do about sandboxes?
* 1782 - stop tracing anything but warnings inside editKartik K. Agaram2015-07-141-1/+1
| | | | | | | | | Speeds up edit.mu tests by 10x, and shrinks memory usage by 100x. We need a more efficient implementation of traces, but we can keep going for now. We didn't really need to reclaim memory just yet, after all. Mu is pretty memory-efficient.
* 1751 - sluggishness fixedKartik K. Agaram2015-07-101-1/+1
| | | | | | | Ah, I was indeed double-rendering, but somehow it was still hard to see the problem past that preliminary diagnosis. Still two failing tests to fix.
* 1724 - first stab at printing interactive resultsKartik K. Agaram2015-07-081-0/+1
|
* 1702 - experiment: start using 'ordinal' in namesKartik K. Agaram2015-07-041-6/+6
| | | | | | | It comes up pretty early in the codebase, but hopefully won't come up in the mu level until we get to higher-order recipes. Potentially intimidating name, but such prime real estate with no confusing overloadings in other projects!
* 1699 - first-class recipe typesKartik K. Agaram2015-07-031-0/+1
| | | | | It should now be easy to do dynamic dispatch, create higher-order functions, etc.
* 1620Kartik K. Agaram2015-06-221-5/+6
| | | | | | | | chessboard finally passing all its tests. What made this hard was that for some reason one of the background routines in the main chessboard test wasn't terminating like it used to. And so it was polluting *later* tests. Just clean up that source of contamination for now. Later we'll think about routine termination.
* 1616 - merging keyboard and events into 'console'Kartik K. Agaram2015-06-211-0/+1
| | | | | Only core layers currently passing. Console apps are probably still broken.
* 1614Kartik K. Agaram2015-06-211-5/+0
|
* 1612Kartik K. Agaram2015-06-201-0/+7
|
* 1611 - switch to keyboard+mouse eventsKartik K. Agaram2015-06-201-2/+12
|
* 1585Kartik K. Agaram2015-06-171-2/+2
|
* 1582Kartik K. Agaram2015-06-171-0/+1
|
* 1581Kartik K. Agaram2015-06-171-1/+1
|
* 1523Kartik K. Agaram2015-06-031-3/+2
| | | | Variable 'instruction_counter' was obfuscating more than it clarified.
* 1518 - still horribly brokenKartik K. Agaram2015-06-011-0/+7
| | | | | | Just figured out why a first keystroke of backspace was sending me out for a spin: run_interactive needs all early exits that don't actually run anything to increment the current_step_index(). FML, this is lousy..
* 1417 - draft zoom levels in tracesKartik K. Agaram2015-05-211-11/+3
|
* 1414 - traces now robust to new recipes/typesKartik K. Agaram2015-05-211-13/+9
|
* 1399 - better 'unknown type' warningsKartik K. Agaram2015-05-181-8/+0
| | | | | | | | Implement warnings for types without definitions without constraining where type definitions must appear. We also eliminate the anti-pattern where a change in layer 10 had its test in layer 11 (commit 1383).
* 1391 - avoid unsigned integersKartik K. Agaram2015-05-171-16/+16
|
* 1383 - warn on unknown typeKartik K. Agaram2015-05-161-0/+8
| | | | | | | | | | | | | This bit me in the last commit for the first time. Layer 010vm.cc is starting to look weird. It has references to stuff that gets implemented much later, like containers and exclusive containers. Its helpers are getting an increasing amount of logic. And it has no tests. I'm still inclined to think it's useful to have major data structures in one place, even if they aren't used for a bit. But those helpers should perhaps move out somehow or get some tests in the same layer.
* 1374 - chessboard end-to-end test passes!Kartik K. Agaram2015-05-141-0/+1
| | | | | | | | | | After like 40 seconds (because of the 120-column screen), but whatever. The final bug was that clear-screen wasn't actually working right for fake screens. (The trace is too large for github, so I'm going to leave it out for now.)
* 1367Kartik K. Agaram2015-05-141-1/+1
|
* 1363 - rename 'integer' to 'number'Kartik K. Agaram2015-05-131-6/+6
| | | | ..now that we support non-integers.
* 1360 - store doubles in memoryKartik K. Agaram2015-05-121-6/+6
| | | | | | | | | | | | | This is a far cleaner way to provide *some* floating-point support. We can only represent signed integers up to 2^51 rather than 2^63. But in exchange we don't have to worry about it elsewhere, and it's probably faster than checking tag bits in every operation. Hmm, yeah, surprised how easy this was. I think I'll give up on the other approach. I still don't have non-integer literals. But we won't bother with those until we need them. `3.14159:literal` seems ugly.
* 1359Kartik K. Agaram2015-05-121-1/+3
|
* 1357 - temporarily revert floating-point supportKartik K. Agaram2015-05-121-20/+3
|
* 1356 - snapshot #2: floating point supportKartik K. Agaram2015-05-121-3/+21
| | | | | | | | | | | | | | | I added one test to check that divide can return a float, then hacked at the rippling failures across the entire entire codebase until all tests pass. Now I need to look at the changes I made and see if there's a system to them, identify other places that I missed, and figure out the best way to cover all cases. I also need to show real rather than encoded values in the traces, but I can't use value() inside reagent methods because of the name clash with the member variable. So let's take a snapshot before we attempt any refactoring. This was non-trivial to get right. Even if I convince myself that I've gotten it right, I might back this all out if I can't easily *persuade others* that I've gotten it right.
* 1352Kartik K. Agaram2015-05-121-1/+1
|
* 1346Kartik K. Agaram2015-05-111-0/+3
| | | | | | On my ubuntu 14.04.1 + gcc 4.8.2 machine, ifstream doesn't actually raise an error on trying to open a non-existent file until you try to do something with it. Garbage!
* 1327 - better error handling in chessboardKartik K. Agaram2015-05-101-1/+2
| | | | | Also a bugfix in break to label, because I noticed the screen wasn't being cleaned up on quit.
* 1302Kartik K. Agaram2015-05-071-0/+1
|
* 1301 - back to the chessboardKartik K. Agaram2015-05-071-0/+1
| | | | Still need a nice syntax for managing the routine under test.
* 1299 - stop using [] in any vectorKartik K. Agaram2015-05-071-4/+4
| | | | | | | | | Useful check: $ grep "[^ '\"]\[[^\"]" *.cc \ |perl -pwe 's/\Wargv\[|\WTests\[|\Wframe\[|\WMemory\[|\WName\[|\WSurrounding_space\[|\WRecipe\[|\WType\[|\WRecipe_number\[|\WType_number\[|\WBefore_fragments\[|\WAfter_fragments\[//g' \ |perl -pwe 's/\Wargv\[|\WTests\[|\Wframe\[|\WMemory\[|\WName\[|\WSurrounding_space\[|\WRecipe\[|\WType\[|\WRecipe_number\[|\WType_number\[|\WBefore_fragments\[|\WAfter_fragments\[//g' \ |grep '[^ ]\['
* 1298 - better ingredient/product handlingKartik K. Agaram2015-05-071-7/+31
| | | | | | | | | | | | | | | | | | | All primitives now always write to all their products. If a product is not used that's fine, but if an instruction seems to expect too many products mu will complain. In the process, many primitives can operate on more than two ingredients where it seems intuitive. You can add or divide more than two numbers together, copy or negate multiple corresponding locations, etc. There's one remaining bit of ugliness. Some instructions like get/get-address, index/index-address, wait-for-location, these can unnecessarily load values from memory when they don't need to. Useful vim commands: %s/ingredients\[\([^\]]*\)\]/ingredients.at(\1)/gc %s/products\[\([^\]]*\)\]/products.at(\1)/gc .,$s/\[\(.\)]/.at(\1)/gc
* 1296 - roll back 1295Kartik K. Agaram2015-05-071-1/+0
|
* 1295 - broken snapshotKartik K. Agaram2015-05-071-0/+1
| | | | | I spent a couple of hours debugging this because routine-state only sometimes writes to its product. This is unacceptable. Fix this first.
* 1293 - start porting the chessboard app overKartik K. Agaram2015-05-061-0/+1
| | | | | | | | | Just to put all our new test primitives through their paces, and iron out any kinks. Just the one chessboard scenario is taking 1.5-2.5x all the tests we've written so far. But we're starting from a faster baseline, that was the point of the C++ port. I also have -O3 optimizations in my back-pocket.
* 1276 - make C++ version the defaultKartik K. Agaram2015-05-051-0/+206
I've tried to update the Readme, but there are at least a couple of issues.