about summary refs log tree commit diff stats
path: root/056trace.subx
Commit message (Collapse)AuthorAgeFilesLines
* 6507 - use syscall names everywhereKartik Agaram2020-06-101-2/+1
|
* 6182 - start of support for safe handlesKartik Agaram2020-04-031-15/+15
| | | | | | | | | | | | | | So far it's unclear how to do this in a series of small commits. Still nibbling around the edges. In this commit we standardize some terminology: The length of an array or stream is denominated in the high-level elements. The _size_ is denominated in bytes. The thing we encode into the type is always the size, not the length. There's still an open question of what to do about the Mu `length` operator. I'd like to modify it to provide the length. Currently it provides the size. If I can't fix that I'll rename it.
* 5924Kartik Agaram2020-01-271-26/+26
|
* 5897 - rename comparison instructionsKartik Agaram2020-01-161-11/+11
| | | | | | | Signed and unsigned don't quite capture the essence of what the different combinations of x86 flags are doing for SubX. The crucial distinction is that one set of comparison operators is for integers and the second is for addresses.
* 5883 - drop the `ref` keywordKartik Agaram2020-01-121-4/+8
| | | | | | | | | | When I created it I was conflating two things: a) needing to refer to just the start, rather than the whole, and b) counting indirections. Both are kinda ill-posed. Now Mu will have just `addr` and `handle` types. Normal types will translate implicitly to `addr` types, while `handle` will always require explicit handling.
* 5876 - address -> addrKartik Agaram2020-01-031-16/+16
|
* 5804Kartik Agaram2019-12-081-48/+48
| | | | | Try to make the comments consistent with the type system we'll eventually have.
* 5803Kartik Agaram2019-12-071-27/+7
|
* 5700Kartik Agaram2019-10-171-1/+1
|
* 5698Kartik Agaram2019-10-151-20/+20
| | | | Thanks Andrew Owen for reporting this typo.
* 5628Kartik Agaram2019-09-061-1/+1
|
* 5592 - switch register names to lowercaseKartik Agaram2019-08-261-382/+382
|
* 5485 - promote SubX to top-levelKartik Agaram2019-07-271-0/+1009