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

Issue 49 remove exists forall #233

Conversation

nijanthanvijayakumar
Copy link
Contributor

@nijanthanvijayakumar nijanthanvijayakumar commented Jul 8, 2024

Proposed changes

This PR will help close the #49 following changes were made to remove/deprecate the functions exists and forall functions from the codebase.

  • Remove exists and forall functions from quinn/functions.py.
  • Remove import statements for exists and forall from quinn/__init__.py.
  • Remove tests related to exists and forall functions from tests/test_functions.py.

Types of changes

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation Update (if none of the other choices apply)

Further comments

nijanthanvijayakumar and others added 7 commits July 8, 2024 08:04
Related to mrpowers-io#173

Add maintainers to `pyproject.toml` file

* Add a `maintainers` section below the `authors` section.
* Include the names and contact information of the maintainers (first version only).
* Use the format `name <email>` for each maintainer.
* Add a comment above the `maintainers` section to indicate its purpose.
Deprecate and remove `exists` and `forall` functions from the codebase.
* Remove `exists` and `forall` functions from `quinn/functions.py`.
* Remove import statements for `exists` and `forall` from `quinn/__init__.py`.
* Remove tests related to `exists` and `forall` functions from `tests/test_functions.py`.
* Describe how to add ruff in IDEs like VSCode & PyCharm

Following changes have been made in the file(s):
* **CONTRIBUTING.md**
  - Remove mention of Black
  - Add instructions on how to add ruff to VSCode
  - Add instructions on how to add ruff to PyCharm
@nijanthanvijayakumar
Copy link
Contributor Author

@SemyonSinchenko - I have created this PR pointing to the planning-1.0 branch. Please let me know your thoughts?

@nijanthanvijayakumar
Copy link
Contributor Author

nijanthanvijayakumar commented Jul 11, 2024

@SemyonSinchenko - this PR is related to the issue #49 and closes it, but also partially of the issue #199.

Would be great if you could review this too.

@SemyonSinchenko SemyonSinchenko mentioned this pull request Jul 11, 2024
10 tasks
Copy link
Collaborator

@SemyonSinchenko SemyonSinchenko left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for the contribution!

@SemyonSinchenko SemyonSinchenko merged commit b67fc98 into mrpowers-io:planning-1.0-release Jul 11, 2024
@nijanthanvijayakumar nijanthanvijayakumar deleted the issue-49-remove-exists-forall branch July 11, 2024 09:51
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