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

Refactor #1420

Merged
merged 3 commits into from
Aug 3, 2022
Merged

Refactor #1420

merged 3 commits into from
Aug 3, 2022

Conversation

jonaprieto
Copy link
Collaborator

@jonaprieto jonaprieto commented Jul 27, 2022

This PR is the first round of a few refactorings based on early discussions that will take place before we release v0.2.3. The following PR will include cleanups based on this new structure and revisions, especially the list of imports.

@jonaprieto jonaprieto self-assigned this Jul 27, 2022
@jonaprieto jonaprieto requested review from paulcadman and removed request for paulcadman July 27, 2022 15:01
@jonaprieto jonaprieto modified the milestones: 0.3, 0.2.3 Jul 27, 2022
@anoma anoma deleted a comment from lukaszcz Jul 29, 2022
@jonaprieto jonaprieto force-pushed the refactor branch 3 times, most recently from 46aef15 to a1e23bc Compare August 2, 2022 16:39
@jonaprieto jonaprieto marked this pull request as ready for review August 2, 2022 17:54
Copy link
Collaborator

@paulcadman paulcadman left a comment

Choose a reason for hiding this comment

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

I did some smoke tests with the compiler and I couldn't find any issues.

@jonaprieto jonaprieto merged commit 01a44e4 into main Aug 3, 2022
@jonaprieto jonaprieto deleted the refactor branch August 3, 2022 11:20
lukaszcz added a commit that referenced this pull request Aug 3, 2022
lukaszcz added a commit that referenced this pull request Aug 3, 2022
lukaszcz added a commit that referenced this pull request Aug 8, 2022
lukaszcz added a commit that referenced this pull request Aug 8, 2022
lukaszcz added a commit that referenced this pull request Aug 10, 2022
lukaszcz added a commit that referenced this pull request Aug 10, 2022
lukaszcz added a commit that referenced this pull request Aug 11, 2022
lukaszcz added a commit that referenced this pull request Aug 11, 2022
lukaszcz added a commit that referenced this pull request Aug 22, 2022
lukaszcz added a commit that referenced this pull request Aug 31, 2022
lukaszcz added a commit that referenced this pull request Aug 31, 2022
lukaszcz added a commit that referenced this pull request Sep 1, 2022
lukaszcz added a commit that referenced this pull request Sep 6, 2022
lukaszcz added a commit that referenced this pull request Sep 6, 2022
lukaszcz added a commit that referenced this pull request Sep 6, 2022
lukaszcz added a commit that referenced this pull request Sep 7, 2022
lukaszcz added a commit that referenced this pull request Sep 7, 2022
lukaszcz added a commit that referenced this pull request Sep 14, 2022
lukaszcz added a commit that referenced this pull request Sep 14, 2022
lukaszcz added a commit that referenced this pull request Sep 16, 2022
lukaszcz added a commit that referenced this pull request Sep 23, 2022
lukaszcz added a commit that referenced this pull request Sep 23, 2022
lukaszcz added a commit that referenced this pull request Sep 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants