Alexandre Duret-Lutz f369db6cb1 python: add colored parity support to postproc and translate ... * python/spot/impl.i: Bind is_colored(). * python/spot/__init__.py: Add Colored support to postproc. * tests/python/parity.py: Add a test case.		2018-01-08 11:37:22 +01:00
..
__init__.py	python: add colored parity support to postproc and translate	2018-01-08 11:37:22 +01:00
aux.py	python: have %%dve and %%pml honor SPOT_TMPDIR and TMPDIR	2016-07-19 14:23:27 +02:00
gen.i	gen: pass the bdd_dict to aut_pattern()	2017-04-28 13:32:03 +02:00
impl.i	python: add colored parity support to postproc and translate	2018-01-08 11:37:22 +01:00
ltsmin.i	skip divine tests when divine does not understand compile --help	2017-02-28 17:02:06 +01:00