Closed danilopedraza closed 1 month ago
There are pending tasks to do:
This is not done. To accomplish this, I need to be more precise about the process of analyzing a Symstatic program.
The semantic analysis step is pending, but right now this is fine.
The system should get a file and process it as a Symstatic program.