| route-pattern | /:user_id/:repository/pull/:id/commits/:range(.:format) |
| route-controller | pull_requests |
| route-action | commits |
| fetch-nonce | v2:52edbb1b-8cc4-81e7-54ab-5dbbd9e21780 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | ACC4:9C51B:7D4AFC8:AA1CE92:69961AEC |
| html-safe-nonce | e88c3f6cff608248eb954569ccd08b89a96515a883b3cd9867d0fa567229f855 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBQ0M0OjlDNTFCOjdENEFGQzg6QUExQ0U5Mjo2OTk2MUFFQyIsInZpc2l0b3JfaWQiOiI1MTA4OTQ5MDMxNTU3OTI5NzA4IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | aa5ce860b38c703c0bead248dda7d16dcf086e6e3f852971762f739a452b53db |
| hovercard-subject-tag | pull_request:1463675188 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///pull_requests/show/commits |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
| og:image | https://avatars.githubusercontent.com/u/87052487?s=400&v=4 |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 979c1ab77a40e0dbb8d76f1c427190824693a0e72e7a954636654843f3881905 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/lcompilers/lpython git https://github.com/lcompilers/lpython.git |
| octolytics-dimension-user_id | 96538276 |
| octolytics-dimension-user_login | lcompilers |
| octolytics-dimension-repository_id | 442864346 |
| octolytics-dimension-repository_nwo | lcompilers/lpython |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 442864346 |
| octolytics-dimension-repository_network_root_nwo | lcompilers/lpython |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | dab4e5b9e20f61da1fc47a51f73d35ab5c5b15fd |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://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 AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://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 |
| Reload | https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
| Reload | https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
| Reload | https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
|
lcompilers
| https://github.com/lcompilers |
| lpython | https://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 service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://github.com/login?return_to=%2Flcompilers%2Flpython%2Fissues%2Fnew%2Fchoose |
| certik | https://github.com/certik |
| lcompilers:main | https://github.com/lcompilers/lpython/tree/main |
| anutosh491:GSoC_PR_11 | https://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 page | https://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 page | https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
| Please reload this page | https://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 page | https://github.com/lcompilers/lpython/pull/2255/commits/13f5e63660114a4162ea4e56e7da6eb90b6b1042 |
|
| https://github.com/anutosh491 |
| anutosh491 | https://github.com/lcompilers/lpython/commits?author=anutosh491 |
| src/libasr/pass/replace_symbolic.cpp | https://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 |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |