Remove st2ast Feature from fbd2st compiler and update test cases

suppress/reduce log

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

clean up repo (documentation, etc.)

rework readthedocs documentation according to updated commands + activate

add contributing guidelines to README

Test: TC006

add equivalence and test case generator

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

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

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

remove "print_plcrex_header()"

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

Output O2 is missing

–no-backward

add find_all_solutions feature in ds2ts

equalitiy is wrong -> equality

all features affected

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

Fix formal problems in some files

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

Add grammar and extend st-parser OPTION

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

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

use rich package to improve readability of CLI

add interactive mode; just for fun 😊

eom

include FBD-Optimizer of last research paper

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.

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

use output file name as argument in all features

activate iec-checker integration via external binaries after .env

reduce CLI arguments of features

eom

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

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;

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

add new features to ds2ts feature

shall replace README

-FBD-Optimizer
-Doc
-Logs

add template-based refactoring

• 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);"

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')