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

Migrate to Expronicon.jl, add Const(::Any) #617

Draft
wants to merge 150 commits into
base: master
Choose a base branch
from

Conversation

bowenszhu
Copy link
Member

@bowenszhu bowenszhu commented Jun 18, 2024

No description provided.

@bowenszhu bowenszhu linked an issue Jun 18, 2024 that may be closed by this pull request
@bowenszhu bowenszhu force-pushed the b/611-migrate-to-exproniconjl-v08-from-unityperjl branch from cc67894 to f97813a Compare June 19, 2024 05:32
@bowenszhu bowenszhu linked an issue Jun 19, 2024 that may be closed by this pull request
@bowenszhu bowenszhu force-pushed the b/611-migrate-to-exproniconjl-v08-from-unityperjl branch from 576cb9f to ad7a861 Compare September 11, 2024 00:22
@bowenszhu bowenszhu force-pushed the b/611-migrate-to-exproniconjl-v08-from-unityperjl branch 3 times, most recently from a1d27e1 to bada063 Compare September 16, 2024 20:40
@bowenszhu bowenszhu force-pushed the b/611-migrate-to-exproniconjl-v08-from-unityperjl branch from d04b925 to 53ca3b8 Compare September 18, 2024 23:15
@bowenszhu
Copy link
Member Author

I'm posting an update on this PR. While the migration to Expronicon offers potential benefits like recursive algebraic data types and wrapping numerical values in BasicSymbolic, the work involved has proven more engineering intensive than initially anticipated. It has resulted in numerous broken tests, both within SymbolicUtils and in downstream packages, and debugging these requires a significant time investment per test.

At this point, I don't have a clear timeline for completing this migration, and the performance implications are still uncertain. Due to other priorities, I'm currently putting this work on hold.

I'm happy to hand this off to anyone interested in pursuing it. The PR contains the current state of the work, and I'm available to answer questions and provide context. Please comment here if you'd like to take over or discuss further. Any help would be greatly appreciated!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant