-
Notifications
You must be signed in to change notification settings - Fork 52
Pull requests: strata-org/Strata
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add gradual-typing elaboration to Laurel resolution
Laurel
Waiting-For-Review
#1422
opened Jun 26, 2026 by
julesmt
Member
Loading…
Laurel: field access on Any-typed values
Laurel
#1421
opened Jun 26, 2026 by
julesmt
Member
Loading…
Generalize OverapproximatesUptoWhen to distinct input/output relations
Waiting-For-Review
#1417
opened Jun 26, 2026 by
PROgram52bc
Contributor
Loading…
Rewrite of Python FE to separate out Python-specific resolution, threading of effects, and coercion insertion with Laurel resolver
dependencies
Pull requests that update a dependency file
Laurel
#1415
opened Jun 25, 2026 by
ssomayyajula
Contributor
•
Draft
Htd/structured to unstructured pipeline
Core
dependencies
Pull requests that update a dependency file
Git conflicts
github_actions
Pull requests that update GitHub Actions code
GOTO
Laurel
SMT
#1414
opened Jun 25, 2026 by
PROgram52bc
Contributor
•
Draft
Add Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
getIonDeserializer% and getIonSerializer% elaborators for generic Ion serialization
dependencies
#1413
opened Jun 24, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
Remove TCore type from Laurel HighType
Laurel
Waiting-For-Review
#1412
opened Jun 24, 2026 by
keyboardDrummer-bot
Collaborator
Loading…
feat(DDM): add choose operator elaboration support
Waiting-For-Review
#1409
opened Jun 24, 2026 by
kondylidou
Contributor
Loading…
Introduce condition mode to simplify modifiesClauses
Laurel
#1406
opened Jun 24, 2026 by
keyboardDrummer
Contributor
•
Draft
docs: update renamed #strataGenAST command to #strata_gen
Waiting-For-Review
#1405
opened Jun 23, 2026 by
fharding1
Loading…
Bump actions/checkout from 6 to 7
github_actions
Pull requests that update GitHub Actions code
#1403
opened Jun 23, 2026 by
dependabot
Bot
Loading…
Typechecking blocks in continuation-passing style
Git conflicts
Laurel
#1398
opened Jun 19, 2026 by
leo-leesco
Contributor
•
Draft
feat(laurel): user-level polymorphism — generic composites, procedures, datatypes, type aliases
Core
Laurel
#1394
opened Jun 19, 2026 by
fabiomadge
Contributor
•
Draft
Add downstream-check CI and shared composite actions
github_actions
Pull requests that update GitHub Actions code
Waiting-For-Review
#1387
opened Jun 18, 2026 by
shigoel
Contributor
Loading…
feat(laurel): add C-style compound assignment (+= -= *= /= %= ^=)
Has 1 approval
Laurel
#1383
opened Jun 17, 2026 by
fabiomadge
Contributor
Loading…
choose operator in Boole
CSLib
PRs and issues marked with this label indicate contributions from/for the CSLib community.
Waiting-For-Review
#1365
opened Jun 12, 2026 by
kondylidou
Contributor
Loading…
feat: structured-to-unstructured forward soundness for simple-shape programs (small-step)
GOTO
Laurel
#1348
opened Jun 8, 2026 by
PROgram52bc
Contributor
•
Draft
4 tasks done
Small-step CFG Semantics and Infrastructures (split of #1196, prep for proof)
Core
#1347
opened Jun 8, 2026 by
PROgram52bc
Contributor
•
Draft
4 tasks done
Preserve sat counterexamples on universal-quantification VCs
Core
Waiting-For-Review
#1326
opened Jun 4, 2026 by
julesmt
Member
Loading…
Add OverapproxiatesUpto/OverapproximatesWhen/OverapproximatesAggressivelyWhen
Core
dependencies
Pull requests that update a dependency file
Git conflicts
github_actions
Pull requests that update GitHub Actions code
GOTO
Java
Laurel
SMT
#1325
opened Jun 4, 2026 by
aqjune-aws
Contributor
•
Draft
CallElimCorrect: rewrite using small-step semantics
Core
Waiting-For-Review
#1306
opened Jun 1, 2026 by
PROgram52bc
Contributor
Loading…
6 of 7 tasks
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.