Symbolic TODO

[certik]

• Initial implementation: Intial Implementation for SymbolicExpression ttype  #1846
• Finish the PR: Introducing Symbolic Binary operators and i32 to S Casting function #1964
• Implement stack for expression evaluation: Added support for handling chaining of Symbolic operators and printing without assignment . #2051
• Implement assert x == S(0): Added support for assert through SymbolicCompare #2057
• Free variables properly (via the stack): Added support for freeing basic variables #2064
• Add more elementary functions (sin, cos, etc.) Added support for symbolic elementary functions #2094
• Implement some operations like diff: Added support for symbolic Expand & Differentiation #2077

...

• We can see how to do the above in the LLVM backend
  • See Design of specific backends (GPU, OpenMP, Coarrays, etc.) #1996 for a general design. We'll refactor the above C into ASR->ASR passes, then it should work in C, LLVM and other backends backends automatically.

[certik]

@anutosh491 I think you just finished the first part of the project with #2094.

Now the next step is to figure out how to lift this symbolic support from the C backend into a new ASR->ASR pass that we need to write. That will consolidate all this symbolic support into just one file (the ASR pass) and it will make it work with any backend, including C and LLVM.

[certik]

The last comment was fixed in #2255. I think this issue is fixed.