Chris Leary
Chris Leary
Agreed! Surprised I didn't already have a bug filed for add sum types. Note that one of the complexities for hardware is what to do if an invalid-tagged value comes...
Going to mark as long term for now just because it's not actively in the queue to get implemented, but I agree it's high up there in the "pending features...
This was more involved than I thought it was going to be so I stalled on the first attempt, LMK how important it is for making forward progress or if...
It should have been putting them /before/ the item, but also we have support for inline comments on struct field members, need to factor out the handling so it's common...
Is this because we need to update rules_hdl to be consistent with the XLS repo? cc @mithro who had been looking at that
@zhang0504 A note of caution, "I'll go crazy" in the original post is not in line with the code of conduct -- please review it and do better in the...
Note that @allight implemented a first step towards bounded model checking (i.e. unrolling proc iterations to check properties across time steps) in https://github.com/google/xls/commit/bfd2e393ae38f1cc4b080f1adbfdcff8c5a3faeb