search

lcompilers / lpython

Python compiler
https://lpython.org/
Other
1.37k stars 156 forks source link

Supporting Logical Binop cases through symbolic pass #2709

Closed anutosh491 closed 1 month ago

anutosh491 commented 1 month ago

This is for handling some cases that we come across during the gruntz algorithm. For eg 

    if e == x or (e.is_Pow and signinf(e.base, x) == 1):
        return S(1)
anutosh491 commented 1 month ago

Will add tests soon

certik commented 1 month ago

The code looks good, just tests are needed.

anutosh491 commented 1 month ago

The code looks good, just tests are needed.

Done

anutosh491 commented 1 month ago

Merging as tests were added.