Skip to content

Drop sys/time.h and unistd.h#343

Open
wegank wants to merge 1 commit into
algebraic-solving:masterfrom
wegank:unistd-drop
Open

Drop sys/time.h and unistd.h#343
wegank wants to merge 1 commit into
algebraic-solving:masterfrom
wegank:unistd-drop

Conversation

@wegank

@wegank wegank commented May 27, 2026

Copy link
Copy Markdown
Contributor

If I'm not mistaken, unistd.h was never actually used, and we only use gettimeofday from sys/time.h, which can easily be replaced with the modern (and more accurate) timespec_get from the already-imported time.h. So we can drop them both, I think?

@wegank

wegank commented May 27, 2026

Copy link
Copy Markdown
Contributor Author

The failing test is reproducible on my aarch64-windows machine with the given seed.

$ ./msolve.exe -f input_files/eco10-31.ms -o out.ms --random-seed 1779878689 -P 2 -d 0 -L 0 -l 44 -t 1 -v 2
Initial seed for pseudo-random number generator is 1779878689
...
------------------------------------------------------------------------------------
msolve overall time           1.71 sec (elapsed) /  1.71 sec (cpu)
------------------------------------------------------------------------------------
$ cat out.ms

$

I can look at it in two weeks. Otherwise, since Windows is Tier 3, this should not block the PR.

@wegank

wegank commented May 27, 2026

Copy link
Copy Markdown
Contributor Author

Oh, actually this is not Windows-specific; I can reproduce on macOS by modifying the rand function. I'll open an issue.

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.

1 participant