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

Repair CI (Temporary solution) #60

Closed
wants to merge 68 commits into from

Conversation

SmaranTum
Copy link
Contributor

CI is currently failing due to pypa/setuptools#3488 implementing PEP660 editable installs in setuptools (starting with version 64)

As a temporary solution the setupools version is forced to be less than 64

SmaranTum and others added 30 commits June 17, 2022 20:36
⬆️ Bump extern/qfr from `eca6a38` to `24b00a9` (cda-tum#43)
…able for now (atleast until don't care conditions are considered)
updating the forked truthtble_to_ qmdd repository
Signed-off-by: burgholzer <burgholzer@me.com>
Signed-off-by: burgholzer <burgholzer@me.com>
⬆️ Bump extern/qfr from `92bbd82` to `177f469` (cda-tum#48)
SmaranTum and others added 27 commits July 7, 2022 14:10
Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
Signed-off-by: Lukas Burgholzer <lukas.burgholzer@jku.at>
…ube class, added additional operations and member functions required for testing purposes.

Tested the extent(), encodeHuffman() and augmentWithConstants().

Added dd_synthesis file, which includes functions that are required for the synthesis of any given dd (for now synthesis of reversible functions (without Don't cares) is allowed).

Tested functions of dd_synthesis as well.
setuptools version forced to be less than 64
Copy link
Member

@burgholzer burgholzer left a comment

Choose a reason for hiding this comment

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

This PR contains many unrelated changes and commits. Please create a proper PR that is based off on the main branch and only contains commits related to the specific problems.

@SmaranTum SmaranTum closed this Aug 22, 2022
@SmaranTum SmaranTum deleted the Change-in-setup-tools-version branch August 22, 2022 14:53
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.

None yet

2 participants