-
Salomon Sickert authored
Fixed a pattern matching exhaustiveness bug in the ltl2n{ba,gba} modules. Allow parsing of automata in the HOA format without an acceptance name field.
8ad77d11
The container registry garbage collection is completed and you can write to the registry again. If you notice any containers missing which you still need and cannot restore yourself, please contact the LRZ Servicedesk (we have a backup).
2024-04-04: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Fixed a pattern matching exhaustiveness bug in the ltl2n{ba,gba} modules. Allow parsing of automata in the HOA format without an acceptance name field.