Chris Leary

This was stalled to the point it requires some rebasing now -- if you rebase I can merge it promptly. Really sorry about the delay!

Note in Rust playground you get: ``` error: literal out of range for `i8` --> src/main.rs:2:17 | 2 | let x: i8 = 255i8; | ^^^^^ | = note: `#[deny(overflowing_literals)]`...

Had previously mentioned to @proppy -- we have a presubmit test that checks /self-contained DSLX unit tests/, [*] but (like the thing that slipped by in the OP) nothing that...

Since this a JIT bug I'm going to tentatively assign to @RobSpringer

Just a note for context that we do currently have the `--output_schedule_path` flag in [codegen_main](https://github.com/google/xls/blob/1b6859dc384fe8fa39fb901af3de8453661ff345/xls/tools/codegen_main.cc#L58) for dumping out the generated pipeline metadata; however, there's a bunch more metrics we could...

I think some of this was done recently by augmenting our existing proto output. @meheff @taktoa could you give a brief update on that? Down closer to the backend, we...

Here's a sample CL that added more metrics as described in the OP: https://github.com/google/xls/commit/6652da40ee3c419a7bd1b265bada649727e45f6b#diff-930822aa60ed73921e227ad1698f2ef94cbba6cef9d6adabd550f19d0b181a7e We may need some documentation to follow up on how people can effectively dump this out...

I think the primary motivation here was: if we have a multiplier that's `NxM->[N+M]` how long can we reasonably expect the proof (LEC of XLS IR vs structural netlist) to...

Thanks for reporting, I'll try to repro. In the meantime the docker-based installation should be able to get you going in a known-working way.

I'm sorry but I was unable to reproduce this:  I installed a fresh Ubuntu 22.04 from ISO in virtualbox 6.1, updated, installed bazel via the website instructions linked in...