about summary refs log tree commit diff stats
path: root/subx
Commit message (Collapse)AuthorAgeFilesLines
* .Kartik Agaram2019-06-131-1/+36
|
* flesh out survey testsKartik Agaram2019-06-122-15/+219
|
* .Kartik Agaram2019-06-121-1/+8
| | | | Fix a bug when running tests singly in the 'SubX standard library'.
* .Kartik Agaram2019-06-1219-114/+0
| | | | | Now that we don't have to edit code to run a single test, delete that commented out fragment everywhere.
* .Kartik Agaram2019-06-111-0/+1
|
* rerun most recent test if cursor not in a testKartik Agaram2019-06-112-1/+15
|
* fork vimrc for Mu and SubXKartik Agaram2019-06-111-1/+93
| | | | | I checked if we needed to bring back anything since commit 3976, but the only difference is dropping the :(scenario) DSL.
* new Vim convenience macroKartik Agaram2019-06-112-0/+37
| | | | Runs test under cursor and opens its trace.
* .Kartik Agaram2019-06-114-100/+0
|
* .Kartik Agaram2019-06-091-7/+7
|
* .Kartik Agaram2019-06-081-3/+3
|
* .Kartik Agaram2019-06-081-1/+1
|
* fix stale docsKartik Agaram2019-06-081-11/+5
|
* snapshot of trace primitivesKartik Agaram2019-06-081-0/+346
|
* .Kartik Agaram2019-06-089-73/+61
|
* Fix stale `initialize-trace-stream`Kartik Agaram2019-06-0810-8/+287
|
* .Kartik Agaram2019-06-082-0/+0
|
* .Kartik Agaram2019-06-089-22/+17
| | | | Simplify `string-equal`.
* implement compute-widthnc2019-06-082-270/+357
|
* added tests for compute-widthnc2019-06-081-0/+112
|
* start fleshing out trace support some moreKartik Agaram2019-06-058-5/+23
| | | | | I think the path to readable tests for survey.subx passes through white-box tests.
* .Kartik Agaram2019-05-2712-136/+143
| | | | | | 'get-or-insert-stream' is now the more generic 'get-or-insert' that can handle tables of any value type. But callers have to be careful to cast values to the right type.
* .Kartik Agaram2019-05-266-385/+278
|
* new primitive: check-array-equalKartik Agaram2019-05-268-0/+68
|
* new primitive: parse-array-of-intsKartik Agaram2019-05-2514-8/+355
| | | | | | | | | | Mostly for tests. For every new type we want to compare in a test, we're now going to start using some primitive that can parse its value from string. In this manner we can get syntax for literals in machine code. Open question: parsing aggregates of aggregates. Like an array of structs. This is the first time we allocate from the heap in standard library tests. So we now need to start initializing the heap in all our apps.
* .Kartik Agaram2019-05-2511-18/+17
| | | | | hoist 'Heap' variable into the std library in anticipation of the parse-array-of-ints primitive.
* new primitive: array-equal?Kartik Agaram2019-05-258-0/+247
|
* new primitive for tests: check-string-equalKartik Agaram2019-05-258-0/+53
|
* .Kartik Agaram2019-05-252-1/+2
|
* .Kartik Agaram2019-05-241-7/+6
|
* .Kartik Agaram2019-05-201-0/+0
|
* .Kartik Agaram2019-05-191-0/+6
| | | | add lengths to data blobs
* initial skeleton for survey.subxKartik Agaram2019-05-182-0/+297
| | | | | | | | Start of the final phase needed to implement SubX in SubX: $ cat files.subx ... |dquotes |assort |pack |survey |hex > a.elf survey.subx is responsible for assigning addresses to labels and segments.
* 5189Kartik Agaram2019-05-187-0/+0
| | | | Fix CI.
* 5188Kartik Agaram2019-05-182-12/+9
| | | | Clean up some unused constants.
* 5187Kartik Agaram2019-05-183-2/+3
| | | | CI should have been failing for a few days. Now fixed.
* switch to new syntax for segment headers in C++Kartik Agaram2019-05-1836-514/+481
|
* support the new segment syntax in assort.subxKartik Agaram2019-05-172-51/+35
| | | | | | | | | | | Now all implemented phases of the SubX translator in SubX support the new syntax: ✓ hex.subx (no changes required) survey.subx (not yet started) ✓ pack.subx (fixed here) ✓ assort.subx ✓ dquotes.subx (has failing tests for other reasons)
* another phase that supports the new segment syntaxKartik Agaram2019-05-172-18/+18
| | | | | | | | | | Current state: ✓ hex.subx (no changes required) survey.subx ✓ pack.subx (fixed here) assort.subx ✓ dquotes.subx (has failing tests for other reasons)
* start of new syntax for segment headersKartik Agaram2019-05-172-26/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Right now SubX defines headers with the following syntax: ``` === ... ``` The `...` can be either a numeric address or a name. Numeric addresses are useful for tests where we want to check addresses of individual instructions. Names are useful in real programs where we want to add to a segment in many places. This approach has long seemed a mess. It's hard to explain, and there's a certain amount of historical evolution that led to it that should be irrelevant to comprehend the current state of the codebase. I started out assuming the first segment was always code, before adding the special names 'code' and 'data'. We pretend to support more than two segments but we don't really. To simplify the code and explanation we'll move to a new syntax: ``` === <name> <address> ``` Code will always belong in the special name 'code', but it no longer has to be first. We need to migrate both our SubX-in-SubX phases and the C++ version. The plan is to start from the top down and update bootstrapping phases that've already been built (see commit 5102 for the list of phases). This commit updates pack.subx. Current state: ✓ hex.subx (no changes required) survey.subx ✓ pack.subx (fixed here) assort.subx dquotes.subx
* 5181Kartik Agaram2019-05-172-0/+20
| | | | Test for the bugfix of commit 2f49a27504.
* 5180Kartik Agaram2019-05-1611-44/+25
| | | | | | | Clean up some old TODOs related to our pre-mmap limitations. Also caught another case of using the wrong comparison. When comparing addresses, one must always use unsigned rather than signed jump instructions.
* 5179Kartik Agaram2019-05-161-4/+8
|
* complete the skeleton of dquotes.subxKartik Agaram2019-05-1512-49/+210
| | | | | | | | | | | | | | | | Still some failing tests: - emit-string-literal-data doesn't ignore metadata when computing the length of literal strings - emit-string-literal-data doesn't handle escape sequences One issue doesn't have a failing test: - emit-metadata doesn't handle string literals containing '/' All these open issues involve a common design question: how to parse a 'word' that includes a string literal that may include spaces. For everything else I know words can't contain spaces and datums can't contain slashes. But for string literals things are tougher.
* Merge branch 'dquotes' into dquotes-1Kartik Agaram2019-05-153-69/+132
|\
| * Merge branch 'master' into dquotesKartik Agaram2019-05-153-69/+132
| |\
| | * 5163Kartik Agaram2019-05-152-11/+27
| | | | | | | | | | | | A few more places with flag corrections.
| | * 5162Kartik Agaram2019-05-151-7/+7
| | |
| | * 5161Kartik Agaram2019-05-151-27/+27
| | |
| | * 5160Kartik Agaram2019-05-153-16/+6
| | |