Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding support for multi-alts in graph #783

Merged
merged 9 commits into from May 13, 2024
Merged

Conversation

JPepperwood123
Copy link
Contributor

The previous multi-alts PR incorporated the support for multi-alts in all the .rkt files as the equation finally gets displayed.

However, despite all the error values being generated, only one singular target (the best one) was being selected across all the Developer Targets.

This PR attempts to include all Developer Targets in the graph where the values are not only displayed, but are multi-colored to an extent to look unique.

This involved changing pages.rkt and report.js to allow not one target, but an array of developer targets, which required removing a lot of hardcoding.

Copy link
Contributor

@pavpanchekha pavpanchekha left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, please clean up & we can merge if good nightly.

src/web/pages.rkt Outdated Show resolved Hide resolved
src/web/pages.rkt Outdated Show resolved Hide resolved
src/web/pages.rkt Outdated Show resolved Hide resolved
src/web/pages.rkt Outdated Show resolved Hide resolved
src/web/pages.rkt Outdated Show resolved Hide resolved
src/web/pages.rkt Outdated Show resolved Hide resolved
; error: object with fields {start, target, end}, where each field holds
; an array like [y0, ..., ym] where y0 etc are bits of error for the output
; on each point
; error: JSON dictionary where keys are {start, end, target1, ..., targetn}.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I mean, this is ok, but isn’t it kind of ugly? Why not make one entry, target, point to an array?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

My idea as to generalize the report.js as much as possible. This made it one for-loop instead of multiple. And multiple start and end seemed of less probability. I could revert it, but it was to make the JS much less easier to read

src/web/resources/report.js Show resolved Hide resolved
src/web/resources/report.js Outdated Show resolved Hide resolved
@JPepperwood123 JPepperwood123 requested review from bksaiki and removed request for bksaiki May 10, 2024 00:56
@JPepperwood123 JPepperwood123 merged commit ae7239f into main May 13, 2024
12 checks passed
@pavpanchekha pavpanchekha deleted the alt-support-code branch May 16, 2024 17:52
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.

None yet

2 participants