1. 08 Mar, 2018 1 commit
    • Etienne Renault's avatar
      Promote use of shared_ptr · 119eda0c
      Etienne Renault authored
      * spot/kripke/kripke.hh, spot/ltsmin/ltsmin.cc,
      spot/ltsmin/ltsmin.hh, spot/mc/ec.hh, spot/mc/intersect.hh,
      spot/mc/utils.hh, spot/twacube/Makefile.am,
      spot/twacube/fwd.hh, spot/twacube/twacube.hh,
      spot/twacube_algos/convert.cc, spot/twacube_algos/convert.hh,
      tests/core/twacube.cc, tests/ltsmin/modelcheck.cc: here.
      119eda0c
  2. 07 Mar, 2018 5 commits
    • Etienne Renault's avatar
      convert: simplify interfaces · 5b9c35d0
      Etienne Renault authored
      * spot/twacube_algos/convert.cc, spot/twacube_algos/convert.hh,
      tests/core/twacube.cc: here.
      5b9c35d0
    • Etienne Renault's avatar
      sanity: replace tabulars by spaces · 07483cd4
      Etienne Renault authored
      * spot/ltsmin/ltsmin.cc,
      spot/mc/ec.hh, spot/mc/intersect.hh,
      spot/mc/reachability.hh, spot/mc/unionfind.cc,
      spot/mc/utils.hh, spot/twacube/cube.cc,
      spot/twacube/twacube.cc,
      spot/twacube/twacube.hh,
      spot/twacube_algos/convert.cc,
      spot/twacube_algos/convert.hh,
      tests/core/bricks.cc,
      tests/core/cube.cc,
      tests/core/twacube.cc,
      tests/ltsmin/modelcheck.cc: here.
      07483cd4
    • Etienne Renault's avatar
      convert: twacube to twa translation · cb1af8dd
      Etienne Renault authored
      * spot/twacube_algos/convert.cc, spot/twacube_algos/convert.hh,
      tests/core/twacube.cc, tests/core/twacube.test: here.
      cb1af8dd
    • Etienne Renault's avatar
      convert: twa to twacube translation · be711d61
      Etienne Renault authored
      * spot/twacube/Makefile.am, spot/twacube/twacube.cc,
      spot/twacube/twacube.hh, spot/twacube_algos/convert.cc,
      spot/twacube_algos/convert.hh, tests/Makefile.am,
      tests/core/.gitignore, tests/core/twacube.cc,
      tests/core/twacube.test: here.
      be711d61
    • Etienne Renault's avatar
      convert: BDD to cube conversions · f567bb86
      Etienne Renault authored
      * README, configure.ac, spot/Makefile.am,
      spot/twacube_algos/Makefile.am, spot/twacube_algos/convert.cc
      spot/twacube_algos/convert.hh, tests/core/cube.cc,
      tests/core/cube.test: here.
      f567bb86