peak external loop code does not work with Float (UF)

external loop code does not work with Float (UF)

Open rdaly525 opened this issue 4 years ago • 4 comments

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.

Jun 12 '20 04:06 rdaly525

@jack-melchert do you know Nestan's github name?

Jun 12 '20 04:06 rdaly525

No I'm not sure what it is, but I sent her this issue on slack.

Jun 12 '20 16:06 jack-melchert

@ntsis

Jun 12 '20 19:06 rdaly525

@ntsis and @cdonovick any update on how to resolve this issue?

Jun 19 '20 15:06 rdaly525