This refactoring split the Symbol class into smaller ones and more specifics ones. There is now classes for variables, files, etc...
Moreover, the code has been updated to be able to have multiple evaluations for a symbol. The goal is to handle indecisions like
if intput():
x = 5
else:
x = 'string'
print(x)
on the print(x) line, we should infer that x is either an int OR a string, so two possible evaluations
This commit introduces too a new parameter to specify the log directory to use for log files.
This refactoring split the Symbol class into smaller ones and more specifics ones. There is now classes for variables, files, etc... Moreover, the code has been updated to be able to have multiple evaluations for a symbol. The goal is to handle indecisions like
on the print(x) line, we should infer that x is either an int OR a string, so two possible evaluations
This commit introduces too a new parameter to specify the log directory to use for log files.