• Etienne Renault's avatar
    bricks: move into spot directory · 8d35bf89
    Etienne Renault authored
    * bricks/brick-assert, bricks/brick-bitlevel,
    bricks/brick-hash, bricks/brick-hashset,
    bricks/brick-shmem, bricks/brick-types: Rename as .. .
    * spot/bricks/brick-assert, spot/bricks/brick-bitlevel,
    spot/bricks/brick-hash, spot/bricks/brick-hashset,
    spot/bricks/brick-shmem, spot/bricks/brick-types: ... this
    * Makefile.am, README, debian/copyright,
    debian/libspot-dev.install, m4/bricks.m4,
    spot/Makefile.am, spot/ltsmin/spins_kripke.hh,
    spot/ltsmin/spins_kripke.hxx, spot/mc/bloemen.hh
    spot/mc/deadlock.hh, tests/Makefile.am,
    tests/core/bricks.cc: here.
    8d35bf89
To learn more about this project, read the wiki.
README 14.2 KB