Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • sac2c sac2c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 403
    • Issues 403
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 12
    • Merge requests 12
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #1177
Closed
Open
Created Apr 05, 2015 by Robert Bernecky@rbeDeveloper

-dopra may break on non-convex polyhedra if non-unit STEP

Bugzilla Link 1152
Created on Apr 05, 2015 20:12
Version svn
OS Linux
Architecture PC

Extended Description

I am just beginning to learn about this polyhedral stuff, but I think
there may be the potential for at least one more bug in PRA:
PRA calls PolyLib, which apparently only supports convex polyhedra.
As I understand it, an affine expression tree describing a consumerWL
in which the producerWL has non-unit STEP (or maybe if either of
them have non-unit STEP) turns into a non-convex polyhedron, essentially
one with holes through it.
Intersecting the PWL and CWL (or multiple partitions of the same WL)
could erroneously produce an OKAY result, despite the fact that
they are NOT okay.
I do not have a test case to prove this. At present, it is just
a conjecture.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking