Commits · 1077bcb16440c15089ca65b5393c3a6c68dc238e · Spot / Spot

18 May, 2020 7 commits

twacube: mark get_ap method as const · 1077bcb1
Antoine Martin authored Mar 10, 2020 and Etienne Renault committed May 18, 2020
```
* spot/twacube/twacube.hh,spot/twacube/twacube.cc: Here.
```
1077bcb1

Etienne Renault authored Nov 05, 2018

* spot/twacube/cube.cc,
spot/twacube/cube.hh,
spot/twacube/twacube.cc,
spot/twacube/twacube.hh: Here.

18a075db

tests: include missing config.h · 15e6a982

Etienne Renault authored Mar 08, 2018

* spot/mc/unionfind.cc,
spot/twacube/cube.cc,
spot/twacube/twacube.cc,
spot/twacube_algos/convert.cc,
tests/core/bricks.cc,
tests/core/cube.cc,
tests/core/twacube.cc: here.

15e6a982

twacube: move useless unsigned int to unsigned · 05b43496
Etienne Renault authored Sep 26, 2017
```
* spot/twacube/twacube.cc,
spot/twacube/twacube.hh: here.
```
05b43496

twacube: atomic propositions are now passed by copy · 32e52318

Etienne Renault authored Apr 20, 2016

Passing atomic propositions by reference allows to
save very little memory so it doesn't worth complexifying
memory management.

* spot/twacube/twacube.cc, spot/twacube/twacube.hh: here.

32e52318

sanity: replace tabulars by spaces · 64c34989

Etienne Renault authored Apr 11, 2016

* 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.

64c34989

convert: twa to twacube translation · 5497f23a

Etienne Renault authored Oct 02, 2015

* 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.

5497f23a