Algorithms: Grammars transform
Add algorithms for both CFG and RG
- union
- intersection
- concat
From 1. 4., DockerHub introduces new very strict rate limitations on docker image pulls.
Consider changing FROM tags in dockerfiles to use altenative providers or add login step at the beginning of CI/CD job as authenticated requests aren't affected.
Add algorithms for both CFG and RG
added C-algorithm label
mentioned in commit 7ca1cf2d
mentioned in commit 1f85ecdb
mentioned in merge request !112 (merged)
mentioned in commit bc250a22
closed via merge request !112 (merged)