-
Alexandre Duret-Lutz authored
* src/hoaparse/public.hh, src/hoaparse/parsedecl.hh, src/hoaparse/hoascan.ll, src/hoaparse/hoaparse.yy: Implement this new interface. * wrap/python/spot.py (automata): Use it when the argument contains a newline. * wrap/python/tests/automata-io.ipynb: Test it.
5bfed246