segv
$ echo "(#E + a b* c + b* a b*)(b* a* + b #0)*" | aconvert2 --regexp_from_string | aconversions2 -a brzozowski -t fa
Neoprávněný přístup do paměti (SIGSEGV) (core dumped [obraz paměti uložen])
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.
$ echo "(#E + a b* c + b* a b*)(b* a* + b #0)*" | aconvert2 --regexp_from_string | aconversions2 -a brzozowski -t fa
Neoprávněný přístup do paměti (SIGSEGV) (core dumped [obraz paměti uložen])
pada i na dnesnim (7/1/2018) nightly buildu
> execute "(#E + a b* c + b* a b*)(b* a* + b #0)*" | string::Parse @regexp::RegExp ^ - | regexp::convert::ToAutomatonDerivation -
Optimalizace která to způsobuje je (a * b * ) * -> ( a + b ) *. Postižená je i ( a * + b * ) * -> ( a + b ) *. Oprava je na cestě.
Dík, já jsem si to tu vcera pripravil, ze na to rano mrknu :-)
mentioned in merge request !48 (merged)
opraveno v commitu 448e870d.
closed