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

Add support for predicates in TriRefinement #1070

Merged
merged 13 commits into from
Sep 19, 2024
Merged

Conversation

eliascarv
Copy link
Member

No description provided.

Copy link

codecov bot commented Sep 18, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.54%. Comparing base (e5d3d51) to head (7765f47).
Report is 4 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1070      +/-   ##
==========================================
+ Coverage   87.52%   87.54%   +0.01%     
==========================================
  Files         188      188              
  Lines        5922     5931       +9     
==========================================
+ Hits         5183     5192       +9     
  Misses        739      739              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

src/refinement/tri.jl Outdated Show resolved Hide resolved
src/refinement/tri.jl Outdated Show resolved Hide resolved
src/refinement/tri.jl Outdated Show resolved Hide resolved
src/refinement/tri.jl Outdated Show resolved Hide resolved
src/refinement/tri.jl Outdated Show resolved Hide resolved
@juliohm juliohm merged commit 07e2b01 into master Sep 19, 2024
16 checks passed
@juliohm juliohm deleted the tri-refinement-pred branch September 19, 2024 11:46
@eliascarv eliascarv changed the title Add support por predicates in TriRefinement Add support for predicates in TriRefinement Sep 19, 2024
eliascarv added a commit that referenced this pull request Sep 19, 2024
* Add support por predicates in 'TriRefinement'

* Apply suggestions

* Apply suggestions

* Apply suggestions

* Apply suggestions

* Rename variables

* Fix typo

* Rename variables

* Update src/refinement/tri.jl

Co-authored-by: Júlio Hoffimann <[email protected]>

* Add tests

* Add more tests

* Update code order

* Update code order

---------

Co-authored-by: Júlio Hoffimann <[email protected]>
eliascarv added a commit that referenced this pull request Sep 19, 2024
* Add support for predicates in 'TriRefinement'

* Apply suggestions

* Apply suggestions

* Apply suggestions

* Apply suggestions

* Rename variables

* Fix typo

* Rename variables

* Update src/refinement/tri.jl

Co-authored-by: Júlio Hoffimann <[email protected]>

* Add tests

* Add more tests

* Update code order

* Update code order

---------

Co-authored-by: Júlio Hoffimann <[email protected]>
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