Skip to content

Conversation

@spiral-ladder
Copy link
Contributor

@spiral-ladder spiral-ladder commented Oct 14, 2023

Simple PR getting rid of some clippy attributes.

clippy::upper_case_acronyms seems to not trigger for ShapeCS and TestShapeCS, so this just removes the unnecessary allows for those.

Removing clippy::needless_range_loop is a bit more opinionated. Used a for_each() to get rid of it but conceptually I can see it being easier for some to read a for i in X notation instead, even though the result is the same. I can undo this change, if the for i in X style is preferable here.

The only clippy attribute that can't be gotten rid of is the upper_case_acronyms annotation for NIFS.

@spiral-ladder
Copy link
Contributor Author

@microsoft-github-policy-service agree

@srinathsetty
Copy link
Collaborator

Looks good! thanks!

@srinathsetty srinathsetty merged commit 90a7952 into microsoft:main Oct 16, 2023
@spiral-ladder spiral-ladder deleted the clippy-refactor branch October 17, 2023 03:14
huitseeker pushed a commit to huitseeker/Nova that referenced this pull request Oct 17, 2023
huitseeker added a commit to huitseeker/Nova that referenced this pull request Oct 27, 2023
* refactor: Refactor sparse namespace and SparseMatrix visibility

- Modifies the visibility of `sparse` module from public to private
- Makes `SparseMatrix` class within `sparse` module public
- Updates `SparseMatrix` import across several files to accommodate visibility changes

* fix: define matrix inputs in idiomatic Nova style

* chore: Refactor dependencies for r1cs module

- Shifted `proptest` and `rand` dependencies to dev-dependencies in `Cargo.toml`
- Introduced testing flag for `util` module under `r1cs`

* refactor: remove clippy attributes (microsoft#233)

---------

Co-authored-by: bing <bingcicle@proton.me>
hero78119 pushed a commit to hero78119/SuperNova that referenced this pull request Jan 5, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to lurk-lang/Nova that referenced this pull request Jan 25, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to huitseeker/Nova that referenced this pull request Jan 26, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to lurk-lang/Nova that referenced this pull request Jan 26, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to lurk-lang/Nova that referenced this pull request Jan 26, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to lurk-lang/Nova that referenced this pull request Feb 21, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
huitseeker pushed a commit to lurk-lang/Nova that referenced this pull request May 2, 2024
* chore: Parallelise 'Pi' computing

* chore: Put 'x' out of brackets
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