Ross Daly

Possible ADT naming change for more consistency

4

I think we should rename our adt types to be the following: (sum types) Variant TaggedUnion (product types) Tuple Record Currently, Sum behaves like Variant, Product behaves like Record, and...

[Feature Request] Pipeline Operator to be used in __call__

1

Description: Have an operator or a function that represents a pipeline register that can be used in `__call__`. Currently the only way to add a register is to declare it...

Using this PR as a new feature review (eg not meant to be merged) Goal: Add precise verilator-like simulation semantics for peak classes and registers Under this paradigm (only using...

Family issues

2

This is a tracker for resolving family issues: The major issue is that different codepaths make different assumptions regarding families In a peak program there are 4 use cases of...

external loop code does not work with Float (UF)

4

Failing test in branch:float-test to reproduce: `pytest tests/test_aadt_mapping -k test_external_loop_UF` The external_loop speedup mechanism cannot handle an uninterpreted function in the SMT formula. This is needed for Lassen.

rewrite rule generator can choose "impossible" values

1

For example in https://github.com/cdonovick/peak/blob/2e6b964a55c655e0d9e5a320e51bd8dc1de50b0d/tests/test_aadt_mapping.py#L13 It finds a rewrite rule for 'Sub', but the enum it chooses for Inst.OpCode is '0' which is not from the set of possible OpCodes. This...