jubnzv / iec-checker

Static analysis of IEC 61131-3 programs

jubnzv/iec-checker Issues

Twincat Support Would
Closed a year ago1
Support B&R .st
Closed a year ago4
unexpected result for 'dead-code.st' example on Windows
Updated 2 years ago2
Rewrite test suite in OCaml
Updated 2 years ago
Set major versions of dependencies
Updated 2 years ago
False positive: PLCOpen CP1
Updated 2 years ago
PLCOpen N1: Avoid physical addresses
Updated 2 years ago
Automate release generation in CI
Updated 2 years ago
opam: required argument PACKAGES is missing
Closed 2 years ago5
Support for SEL (Schweitzer Engineering Laboratories) XML Format
Closed 3 years ago13
Specify the Location of the OCaml Binary for `checker.py`
Closed 3 years ago2
"FUNCTION_BLOCK PRIVATE MAIN_POU" 3:11 ParseError is Thrown
Closed 3 years ago5
IEC61131-3 3 ed. parser for Structured Tex. Almost all IEC syntax constructions are supported excluding some user-defined types and OO features.
Closed 4 years ago4