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

enable net_size_check by default with different max sizes for c and cuda #649

Merged
merged 7 commits into from
Aug 8, 2024

Conversation

KunalSin9h
Copy link
Contributor

Fixes #622

src/hvm/check_net_size.rs Outdated Show resolved Hide resolved
@KunalSin9h
Copy link
Contributor Author

KunalSin9h commented Aug 7, 2024

@developedby i resolve the issue.

src/hvm/check_net_size.rs Outdated Show resolved Hide resolved
src/lib.rs Outdated Show resolved Hide resolved
src/hvm/check_net_size.rs Outdated Show resolved Hide resolved
src/lib.rs Outdated Show resolved Hide resolved
tests/golden_tests.rs Outdated Show resolved Hide resolved
Compiled
Errors:
In definition 'main':
Definition is too large for hvm (size=120002, max size=4095). Please break it into smaller pieces.
Copy link
Member

Choose a reason for hiding this comment

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

This is weird, it should be breaking this thing in pieces of the size we passed to the float_combinators pass (64, MAX_NET_SIZE_CUDA)

Copy link
Member

Choose a reason for hiding this comment

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

I'll have a look into why this is later

Copy link
Member

@developedby developedby 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, good job.

@KunalSin9h KunalSin9h requested a review from developedby August 8, 2024 11:11
@developedby
Copy link
Member

You have to rerun the tessts and update the snapshots for you last changes

@KunalSin9h
Copy link
Contributor Author

@developedby updated the snapshots!

@developedby developedby added this pull request to the merge queue Aug 8, 2024
@developedby
Copy link
Member

Thank you so much! This has been bugging me for some time

Merged via the queue into HigherOrderCO:main with commit 23e086c Aug 8, 2024
5 checks passed
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.

Enable net size check when running with run-cu
2 participants