marwern / plcrex Goto Github PK

add .gitignore (.coverage, venv folder, bin/*, ...) to root

all features affected

• add new parameter to cli
• rework needed, because "TON0(IN := AND(i1,i2),PT := i3);" cannot be parsed. My grammar expects smart format "TON0(AND(i1,i2), i3);"

add new features: --full and --no-full to get only one test case; + add constraints

reduce CLI arguments of features

add find_all_solutions feature in ds2ts

include FBD-Optimizer of last research paper

clean up repo (documentation, etc.)

wrong syntax in TC081.st

Ctr := TON2((IN1+IN2+IN3)=42 AND SR1.Q,3).ET;

-->

TON2((IN1+IN2+IN3)=42 AND SR1.Q,3);
Ctr := TON2.ET;

use output file name as argument in all features

add new features to ds2ts feature

Hi,

Your project look awesome, can’t wait to give it a try. However, I noticed that the conversion libraries are pre-compiled pyd files. Is the source code for these in a different repository?

Kind Regards

Ben

suppress/reduce log

split data depending on installation via PyPI and GitHub. 1. check libraries, 2. check local repo

activate iec-checker integration via external binaries after .env

add equivalence and test case generator

It would be useful to be able to choose between forward and backward translation strategy.

–no-backward

eom

Remove st2ast Feature from fbd2st compiler and update test cases

Add grammar and extend st-parser OPTION

change https://github.com/marwern/plcrex to https://github.com/marwern/PLCreX

"python -m plcrex fbd-to-st --bwd" contains signals that are not going to be replaced

Bug in FBD-to-ST Transpiler. Arguments "formal", "backward" throw unexpected lines of code.

add interactive mode; just for fun 😊

PLCreX source code should be separated from binaries (like IEC Checker) and delivered together with Release. This would reduce the repository size.

rework readthedocs documentation according to updated commands + activate

shall replace README

-FBD-Optimizer
-Doc
-Logs

For more complex FBDs (CFCs) it would be nice to have an I/O impact analysis. I'm thinking of an overview that shows the dependency between inputs and outputs.

add contributing guidelines to README

Test: TC006

remove "print_plcrex_header()"

UML_Cycle.zip
hello,
I would like to export UML Statechart TwinCAT and import enterprise architecht or visual paradigm,
I attach a file exported from TwinCAT in plcopenXML format...
and I would like to change it to another format such as sysml or any other so that it could be imported in enterprise architect or visual paradigm and then also do the opposite, I think it would be a good idea in this way it could be developed on both sides and be able to export/import ...
thanks you

equalitiy is wrong -> equality

eom

Fix formal problems in some files

• too many blank lines
• shadows name
• shadows built-in-names
• ...

Output O2 is missing

add template-based refactoring

add .env file for external additional binaries surch as iec-checker considering PyPI build process

Description:

_iec_checker.execution(..) expects 'Path', but got 'str' argument

Solution:

_iec_checker.execution(fr'.\exports\st{Path(src).name}.st', '--verbose')

-->

_iec_checker.execution(Path(fr'.\exports\st{Path(src).name}.st'), '--verbose')

use rich package to improve readability of CLI