René's URL Explorer Experiment


Title: Extending Functionality of the Symbolic ASR pass by anutosh491 · Pull Request #2255 · lcompilers/lpython · GitHub

Open Graph Title: Extending Functionality of the Symbolic ASR pass by anutosh491 · Pull Request #2255 · lcompilers/lpython

Description: Python compiler. Contribute to lcompilers/lpython development by creating an account on GitHub.

Opengraph URL: https://github.com/lcompilers/lpython/pull/2255

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/commits/:range(.:format)
route-controllerpull_requests
route-actioncommits
fetch-noncev2:52edbb1b-8cc4-81e7-54ab-5dbbd9e21780
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idACC4:9C51B:7D4AFC8:AA1CE92:69961AEC
html-safe-noncee88c3f6cff608248eb954569ccd08b89a96515a883b3cd9867d0fa567229f855
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBQ0M0OjlDNTFCOjdENEFGQzg6QUExQ0U5Mjo2OTk2MUFFQyIsInZpc2l0b3JfaWQiOiI1MTA4OTQ5MDMxNTU3OTI5NzA4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacaa5ce860b38c703c0bead248dda7d16dcf086e6e3f852971762f739a452b53db
hovercard-subject-tagpull_request:1463675188
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/commits
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
og:imagehttps://avatars.githubusercontent.com/u/87052487?s=400&v=4
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None979c1ab77a40e0dbb8d76f1c427190824693a0e72e7a954636654843f3881905
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/lcompilers/lpython git https://github.com/lcompilers/lpython.git
octolytics-dimension-user_id96538276
octolytics-dimension-user_loginlcompilers
octolytics-dimension-repository_id442864346
octolytics-dimension-repository_nwolcompilers/lpython
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id442864346
octolytics-dimension-repository_network_root_nwolcompilers/lpython
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasedab4e5b9e20f61da1fc47a51f73d35ab5c5b15fd
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Flcompilers%2Flpython%2Fpull%2F2255%2Fcommits%2F13f5e63660114a4162ea4e56e7da6eb90b6b1042
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Flcompilers%2Flpython%2Fpull%2F2255%2Fcommits%2F13f5e63660114a4162ea4e56e7da6eb90b6b1042
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Fcommits&source=header-repo&source_repo=lcompilers%2Flpython
Reloadhttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Reloadhttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Reloadhttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
lcompilers https://github.com/lcompilers
lpythonhttps://github.com/lcompilers/lpython
Notifications https://github.com/login?return_to=%2Flcompilers%2Flpython
Fork 173 https://github.com/login?return_to=%2Flcompilers%2Flpython
Star 1.6k https://github.com/login?return_to=%2Flcompilers%2Flpython
Code https://github.com/lcompilers/lpython
Issues 503 https://github.com/lcompilers/lpython/issues
Pull requests 84 https://github.com/lcompilers/lpython/pulls
Actions https://github.com/lcompilers/lpython/actions
Projects 0 https://github.com/lcompilers/lpython/projects
Wiki https://github.com/lcompilers/lpython/wiki
Security 0 https://github.com/lcompilers/lpython/security
Insights https://github.com/lcompilers/lpython/pulse
Code https://github.com/lcompilers/lpython
Issues https://github.com/lcompilers/lpython/issues
Pull requests https://github.com/lcompilers/lpython/pulls
Actions https://github.com/lcompilers/lpython/actions
Projects https://github.com/lcompilers/lpython/projects
Wiki https://github.com/lcompilers/lpython/wiki
Security https://github.com/lcompilers/lpython/security
Insights https://github.com/lcompilers/lpython/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Flcompilers%2Flpython%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Flcompilers%2Flpython%2Fissues%2Fnew%2Fchoose
certikhttps://github.com/certik
lcompilers:mainhttps://github.com/lcompilers/lpython/tree/main
anutosh491:GSoC_PR_11https://github.com/anutosh491/lpython/tree/GSoC_PR_11
Conversation 13 https://github.com/lcompilers/lpython/pull/2255
Commits 23 https://github.com/lcompilers/lpython/pull/2255/commits
Checks 0 https://github.com/lcompilers/lpython/pull/2255/checks
Files changed https://github.com/lcompilers/lpython/pull/2255/files
Please reload this pagehttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Extending Functionality of the Symbolic ASR pass https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#top
Show all changes 23 commits https://github.com/lcompilers/lpython/pull/2255/files
e69bfb8 Implemented Symbolic ASR pass anutosh491 Jul 31, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/e69bfb8eaf758e2f46b837f6f8a45c14d47d3505
2ddfd1c Added code for visit_Assignment anutosh491 Aug 1, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/2ddfd1c57a72e30cc1867ccf783a2653b9fcd26f
e4215d8 Added visit_Print function anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/e4215d801c9b6508f927134df079274237422d55
e32bffa Merge branch 'main' into GSoC_PR_10 anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/e32bffa122b8d5deb8953e2505b8e795e2780dc1
4658cc1 Added symbolic_dependencies anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/4658cc1a00a582ca35f79381d68c4e75781ec768
6f91349 Added functionality for Symbol Set anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/6f91349f2871e61881e54946aeb0f51a08dcd65e
e478c43 Added symbol set functionality anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/e478c4330798e8ac6eed569a105a83f5cbe4feda
39bc7c4 Revert "Added symbol set functionality" anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/39bc7c4d53b71012fb69c7dbb60b70993c1e6003
13f5e63 cleared symbolic dependencies vector anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
3ba0b14 Added support for all binary operations anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/3ba0b14690347081f8491377ce7b11771dce6418
45fc811 Added support for all unary operations/functions anutosh491 Aug 2, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/45fc8114ced6236e6d8f5fffdfe7b4ec845cc5de
d2369b5 Added symbolic_vars set anutosh491 Aug 3, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/d2369b5d4c6b791b0e3eba313cab2b01edfc350b
75bc2d7 Added symbolic integer functionality anutosh491 Aug 3, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/75bc2d7a23a6080aedbe3bf2bd2fe47b406d0db2
a0cda6f Added asr verify checks anutosh491 Aug 4, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/a0cda6f04ee8658b68373adf34d9c7ef2262ba63
cabefae Extending Functionality of the Symbolic ASR pass anutosh491 Aug 5, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/cabefaefa7f578d69f2eeea3ed12caca3dd1d2a7
edcc052 minor change anutosh491 Aug 5, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/edcc052e70e2d7135050e34d356291d5d96f6009
1a02e3e added support through symengine_stack for all handling operator chain… anutosh491 Aug 7, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/1a02e3e76547ee5ebb079c5c99bc788ac72c789d
3539ccf Added support for assert statements anutosh491 Aug 7, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/3539ccfc8eecf7f40ccf5d34dd2d8b849837b809
1f174d8 Uncommented all symbolic tests anutosh491 Aug 7, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/1f174d81d05da33df65dcd9c3bb8da9df4f46f60
2273ed9 Added the NOFAST label for symbolic tests anutosh491 Aug 8, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/2273ed99f48b5e8ee421b326225cab3cc12ff9bc
0ad03a6 Minor changes to correct failing tests anutosh491 Aug 8, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/0ad03a64f69be5dcc4670b04c86214bbdd572844
e98e0e8 Fixed failing tests anutosh491 Aug 8, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/e98e0e8f698e5ab6afa50431d69a9ffaa7bb3ad9
5c5390e Merge branch 'main' into GSoC_PR_11 certik Aug 8, 2023 https://github.com/lcompilers/lpython/pull/2255/commits/5c5390eb1ac6eff4d0e69cf4a56fc1b1ba36b027
Clear filters https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Please reload this pagehttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Please reload this pagehttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
Prev https://github.com/lcompilers/lpython/pull/2255/commits/39bc7c4d53b71012fb69c7dbb60b70993c1e6003
Next https://github.com/lcompilers/lpython/pull/2255/commits/3ba0b14690347081f8491377ce7b11771dce6418
Please reload this pagehttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042
https://github.com/anutosh491
anutosh491https://github.com/lcompilers/lpython/commits?author=anutosh491
src/libasr/pass/replace_symbolic.cpphttps://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
View file https://github.com/anutosh491/lpython/blob/13f5e63660114a4162ea4e56e7da6eb90b6b1042/src/libasr/pass/replace_symbolic.cpp
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/lcompilers/lpython/pull/2255/commits/{{ revealButtonHref }}
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042#diff-1b8609a985b7ae23b38cce0f195c63ea248007982a999f84cceb40b984767f30
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.