search

arXiv / html_feedback

Supports a student project developing a UI for feedback on arXiv articles rendered as html.
MIT License
17 stars 3 forks source link

Parallel Program Analysis on Path Ranges #1416

Open pcousot opened 3 months ago

pcousot commented 3 months ago

Description

https://arxiv.org/html/2402.11938v2Figure 1 and 3 do not render correctly, 5

(Optional:) Please add any files, screenshots, or other information here.

No response

(Required) What is this issue most closely related to? Select one.

Figures

Internal issue ID

81d4805d-7535-4088-ab3c-122256aa0606

Paper URL

https://arxiv.org/html/2402.11938v2

Browser

Safari/605.1.15

Device Type

Desktop

html-feedback-bot[bot] commented 3 months ago

Location in document: undefined

Selected HTML: Figure 1: Example program, its CFA, and a shortened execution tree

github-actions[bot] commented 3 months ago

Hello @pcousot, thanks for the issue report! We are reviewing your report and will address it as soon as possible.