Johan Euphrosine

fully automate doc publication

4

It seems that the current documentation process is not fully automated: - https://github.com/google/xls/actions/workflows/build-mkdocs-commit-html.yml is manually triggered w/ a GitHub personal access tokens. - https://github.com/google/xls/actions/workflows/pages/pages-build-deployment is managed by GitHub w/ publication...

### What's hard to do? (limit 100 words) When a dslx function or test fails it can be difficult to traceback why it did so: the interpreter doesn't print stacktrace...

As suggested by @grebe in #935 > I think gcd is a good candidate for proc implementations, which would let you do the "early return" I think you're describing. Each...

### What's hard to do? (limit 100 words) #448 #1427 #1429 discuss how to make output port names configurable globally (by adding an argument to `codegen_main`), but it would be...

github workflows should test the Dockerfile

1

https://github.com/google/xls/pull/1421 fixed the docker build it would be nice to have a way to detect when it's broken again in the future. ideally there would be a workflow in https://github.com/google/xls/tree/main/.github/workflows...

**Describe the bug** It seems that the DSLX intepreter can't type check tuple explicit type declaration. **To Reproduce** The following snippets ``` let a = (u8, u16)[1]:[(u8:8, u16:64)]; ``` produces...

Release notes should all include all new commits

1

Currently release only include the `HEAD` commit in their description, ex: https://github.com/google/xls/releases/tag/v0.0.0-4945-g24be2c494 only includes https://github.com/google/xls/commit/24be2c4943ad9a2365d3b13bb62b3b40f20ed76a commit message: ``` Make visitor for block elaborations. PiperOrigin-RevId: 624326262 ``` It would be nice...

Currently it seems that we use different conventions for public commit messages in this repository: - @cdleary tend to use `[Subsystem:Sub subsystem][downcase(Type of change)] Message` - @proppy tend to use...

map w/ builtin that has a type parametric doesn't convert

1

**Describe the bug** trying to convert a map that uses a parametric builtin fails with the following error: ``` INTERNAL: Invalid builtin name for map: widening_cast ``` **To Reproduce** ```...

[enhancement] channel slicing

1

### What's hard to do? (limit 100 words) Currently it's hard to synchronise N procs communication on channels of size `T` (example: 4x `chan`) w/ 1 proc (ex: 4x `chan`)...