Liveness/Parameter Analysis updates

UQ-PAC / BASIL

Apache License 2.0

8 stars 0 forks source link

Liveness/Parameter Analysis updates #189

Closed sadrabt closed 6 months ago

sadrabt commented 6 months ago

Addresses review comments for #179

Creates common class PushDownWorklistFixPointFunctions for propagation worklist solvers that doesn't extend type restricted Dependencies
TwoElementLattice inherits directly from Lattice
Tests now use BasilResult. Removed liveness and parameter analysis result dump
Improved documentation for IDEAnalysis

l-kent commented 6 months ago

It would be ideal to use tests from the test folder and not the examples folder. If you want to use specific examples that do not exist in the test folder, they should be added to a new test suite. It would also probably be good to have at least one less trivial test case for these analyses, something with a few procedures with many more variables?

l-kent commented 6 months ago

Since this doesn't seem to conflict with anything else in the staging branch it should be fine to just merge it into that unless @ailrst objects?