Assumptions for work depth analysis

spcl / dace-vscode

Rich editor for SDFGs with included profiling and debugging, static analysis, and interactive optimization.

https://marketplace.visualstudio.com/items?itemName=phschaad.sdfv

BSD 3-Clause "New" or "Revised" License

19 stars 10 forks source link

Assumptions for work depth analysis #234

Closed hodelcl closed 1 year ago

hodelcl commented 1 year ago

This PR enables the user to enter assumptions for the symbols before calling the work depth analysis.

It uses a VS code InputBox to handle the input. Validity of the input is checked by a regex. If the check passes, the assumptions are forwarded to the work depth analysis.

The corresponding PR to the dace repo can be found here.

hodelcl commented 1 year ago

I integrated all your comments:

put the InputBox for the assumptions and the input checking in separate functions,
deleted the dace_vscode.arith_ops module,
renamed the depth module to work_depth.