Skip to content

Feature/pregenerate dealings #4289

New issue

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

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

Already on GitHub? # to your account

Closed

Conversation

jstuczyn
Copy link
Contributor

@jstuczyn jstuczyn commented Jan 4, 2024

Another step in the BN-31 journey.

this PR requires #4288 to be merged first.

This PR makes sure that a dealer would not attempt to generate brand new dealing data for a dealing it has already created and/or submitted.

@jstuczyn jstuczyn added this to the Marabou milestone Jan 4, 2024
@jstuczyn jstuczyn force-pushed the feature/pregenerate-dealings branch from 1810947 to fbdf0a0 Compare January 4, 2024 15:25
@jstuczyn jstuczyn force-pushed the feature/persistent-dealings branch from 491ada1 to bfcc5e9 Compare January 17, 2024 14:02
@jstuczyn jstuczyn force-pushed the feature/pregenerate-dealings branch from fbdf0a0 to 44bd70c Compare January 17, 2024 14:07
@jstuczyn jstuczyn requested a review from octol January 19, 2024 13:47
This was referenced Feb 2, 2024
@jstuczyn
Copy link
Contributor Author

jstuczyn commented Feb 5, 2024

superseded by #4371

@jstuczyn jstuczyn closed this Feb 5, 2024
@benedettadavico benedettadavico removed this from the Marabou milestone Feb 13, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants