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

Fix some minor typos, bugs and the GitHub CI workflows #58

Open
wants to merge 11 commits into
base: master
Choose a base branch
from

Conversation

nmnobre
Copy link

@nmnobre nmnobre commented May 18, 2023

Hi @Yixin-Hu, @danielepanozzo,

These are just some quality-of-life improvements/updates to keep the project alive. :-)
It'd be nice if we could have a chat (even if just via email) about some new features I'm implementing.

Kind regards,
-Nuno Nobre

@nmnobre nmnobre force-pushed the qol_fixes branch 7 times, most recently from a7030c5 to 78d0b6e Compare July 5, 2023 16:39
nmnobre added 3 commits July 6, 2023 14:00
Previously, the new no. of faces printed after remove duplicates
didn't take into account the removal of repeated faces w/ opposite
orientation and of degenerate faces, i.e. those w/ repeated vertices
or too small an area.

In addition, the edge collapsing and swapping log msgs used to
speak of faces, which while technically correct, could be confusing
since we're talking 2d faces, i.e. edges.
@nmnobre nmnobre force-pushed the qol_fixes branch 4 times, most recently from 2254de1 to be9873a Compare July 7, 2023 11:36
@nmnobre nmnobre changed the title Fix minor typos, add missing time units and fix GitHub CI workflows Fix some minor typos, bugs and the GitHub CI workflows Jul 7, 2023
See the Container data races section [container.requirements.dataraces]
of the C++ standard. You can find draft documents hosted at
https://www.open-std.org/jtc1/sc22/wg21/docs/standards#14882.
@MariusCausemann
Copy link

Hi @nmnobre ,
I have an issue with a segfault in the preprocessing phase ( issue #75 ). Since you fixed an issue with a data race in this stage, I was wondering if my problem and the issue you spotted could be related?

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.

2 participants