Chris Leary

[enhancement:DSLX:type_system] Ensure parametric env map is completely populated on instantiation

2

### What's hard to do? (limit 100 words) Right now we accept situations where the caller doesn't fully populate the parametric env map. For example in this program: ``` fn...

Tracking issue: OS X (aarch64) build/test status

5

Just an issue to track and take notes on the current (merged to google/xls) status of OS X support. Taking notes in an issue in the google/xls repo as it's...

### What's hard to do? (limit 100 words) This is more of a syntactic nicety so marking as long-term-enhancement, but wanted to file so I had an issue to point...

### What's hard to do? (limit 100 words) Right now we just have one span of text that's reported for a given DSLX error message, but you can make much...

### What's hard to do? (limit 100 words) Right now the delay model assigns a single delay to all of the output bits for a particular IR operation. That is,...

This should help minimize divergences with my DSO release branch -- I think the targets are reasonable to live upstream. These are the DSOs that get pulled in the Rust...

[enhancement] XLS playground colab should be documented in our markdown docs

2

### What's hard to do? (limit 100 words) Hard to remember the flags for the DSLX magic and how they may differ from the command line flags. ### Current best...

[common] Status matchers in OSS build do not give nice errors

3

"16-byte object" is not a very helpful debug string -- we should figure out how to make this format itself nicely. This was matching with a C string literal via...

Migrate XLS to bzlmod

2

Bazel is moving to a new system for managing external dependencies called bzlmod. To conform to this future we'll need to migrate from using our WORKSPACE file to using a...