Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    parseaut: Add support for PGSolver's format · 444e2b5b
    Alexandre Duret-Lutz authored 
    * spot/parseaut/parseaut.yy, spot/parseaut/scanaut.ll: Add rules for
PGSolver's format.
* spot/parseaut/public.hh: PGAME is a new type of output.
* tests/core/pgsolver.test: New file.
* tests/Makefile.am: Add it.
* tests/python/games.ipynb: More exemples.
* NEWS: Mention the new feature.
    444e2b5b
To find the state of this project's repository at the time of any of these versions, check out the tags.