Skip to content

Boole#500

Draft
kondylidou wants to merge 19 commits intostrata-org:mainfrom
abdoo8080:boole-clean
Draft

Boole#500
kondylidou wants to merge 19 commits intostrata-org:mainfrom
abdoo8080:boole-clean

Conversation

@kondylidou
Copy link
Contributor

Issue #, if available:

Description of changes:

Adding the dialect Boole to the Strata repository.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@kondylidou kondylidou requested a review from a team February 28, 2026 11:04
@kondylidou kondylidou marked this pull request as draft February 28, 2026 16:27
andrewmwells-amazon and others added 3 commits March 2, 2026 17:28
### Add Basic Class Declaration Support to Python → Laurel Translation
Implements foundational support for Python class declarations in the
Python → Laurel → Core translation pipeline. This PR focuses on getting
the basic class infrastructure working, with field initialization and
access deferred to future work.


By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice.

---------

Co-authored-by: thanhnguyen-aws <ntson@amazon.com>
Co-authored-by: Oyendrila Dobe <oyendrila.dobe@gmail.com>
Co-authored-by: Oyendrila Dobe <dobeoyen@amazon.com>
Co-authored-by: Juneyoung Lee <136006969+aqjune-aws@users.noreply.github.com>
@shigoel
Copy link
Contributor

shigoel commented Mar 4, 2026

@kondylidou @abdoo8080 A request: could we split this PR up into two, one that upstreams the SMT denotations and other the Boole front-end?

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.

4 participants