You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently the problem is that the polystat analyzer does not see objects from other files. For example, I have an object pyint in file preface/pyint.eo as a part of my support library. It is referenced as alias pyint preface.pyint in the main file, but polystat throws "java.lang.Exception: Could not set locator for non-existent object with name "pyint" "
Activity
[-]Support polystal division by zero example[/-][+]Support polystat division by zero example[/+]dours commentedon Jul 21, 2022
Currently the problem is that the polystat analyzer does not see objects from other files. For example, I have an object pyint in file preface/pyint.eo as a part of my support library. It is referenced as
alias pyint preface.pyintin the main file, but polystat throws "java.lang.Exception: Could not set locator for non-existent object with name "pyint" "tdv42 commentedon Jul 26, 2022
Need here link to issue for polystat
Need to try to put the preface/pyint.eo in generated EO file and try again
tdv42 commentedon Aug 1, 2022
tdv42 commentedon Aug 4, 2022
polystat/far#13
tdv42 commentedon Aug 9, 2022
We need to simplify example by libs removal as possible
tdv42 commentedon Aug 15, 2022
is now blocked by polystat/far#15