io.github.software-hardware-codesign automata4j 1.0.0-pre-alpha 1.0.0-pre-alpha incubator 1.0.0-alpha 1.0.0-beta 1.0.0-pre-alpha 20230826094959