Skip to content

Reversed time_to_neighbor#8

Open
KelvinYang0320 wants to merge 2 commits intopku-liang:micro_tutorialfrom
KelvinYang0320:micro_tutorial
Open

Reversed time_to_neighbor#8
KelvinYang0320 wants to merge 2 commits intopku-liang:micro_tutorialfrom
KelvinYang0320:micro_tutorial

Conversation

@KelvinYang0320
Copy link
Copy Markdown

@wangyuyue I think you should reverse the time_to_neighbor before passing it to isl_union_map_product.
Currently, TENET gets something like [PE[0], T[1]] -> [PE[1] -> T[0]], but it is not possible to pass data from the current timestamp to the previous timestamp.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant