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

Use std::chrono::steady_clock for timers. #189

Merged

Conversation

waywardmonkeys
Copy link

This improves portability by not using gettimeofday() or clock().

@waywardmonkeys
Copy link
Author

@zayenz This will probably end up conflicting with other changes, so when they land, I'm happy to rebase whatever is needed.

This improves portability by not using `gettimeofday()` or `clock()`.
@zayenz
Copy link
Member

zayenz commented Dec 4, 2023

I could rebase the branch from the interface, and there were no conflicts. Waiting for the build to finish before merging (since it is an obviously good fix :-) ).

@zayenz zayenz merged commit bc31c31 into Gecode:release/6.3.0 Dec 5, 2023
3 checks passed
@waywardmonkeys waywardmonkeys deleted the use-std-chrono-for-timer branch December 5, 2023 07:59
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