search

thiagoralves / OpenPLC_v3

OpenPLC Runtime version 3
GNU General Public License v3.0
1.08k stars 438 forks source link

some bugs #178

Closed kkangd closed 2 years ago

kkangd commented 2 years ago

https://www.researchgate.net/publication/358490876_K-ST_A_Formal_Executable_Semantics_of_PLC_Structured_Text_Language

jancumps commented 2 years ago

Is it copyrighted material? Should it be a link to the original report vs upload to github?

thiagoralves commented 2 years ago

@kkangd Thank you for this incredible and detailed work. I appreciate you sending this over, but the issues you presented on your paper are actually related to MatIEC. Both Beremiz and OpenPLC uses the MatIEC compiler to transpile Structured Text code into C. The differences in behavior is just because the built-in MatIEC on OpenPLC Runtime hasn't been updated in a while. If you just update MatIEC in your local copy of OpenPLC Runtime it should behave exactly the same as Beremiz or any other project that relies on MatIEC.

I'm not an active contributor to MatIEC (I think I only opened one PR on it once). So perhaps it would be more useful for you to present your findings to the MatIEC guys at https://bitbucket.org/mjsousa/matiec_git/src/master/