Skip to content
  • Alexandre Duret-Lutz's avatar
    hoaparse: make it possible to read from a string · 5bfed246
    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