Alexandre Duret-Lutz b6e5ce7e15 python: better support for Python 3 ... * wrap/python/spot.i (spot::ltl::parse_error_list, spot::tgba_parse_error_list): Add a __bool__ method, that is used instead of __nonzero__ in Python 3. * wrap/python/tests/interdep.py, wrap/python/tests/parsetgba.py: Force destruction order. * NEWS: Update.		2014-02-02 15:45:19 +01:00
..
.cvsignore	* configure.ac: Output wrap/python/tests/Makefile	2003-07-31 20:04:29 +00:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
alarm.py	python: use new print syntax.	2014-01-13 17:26:39 +01:00
bddnqueen.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
implies.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
interdep.py	python: better support for Python 3	2014-02-02 15:45:19 +01:00
ltl2tgba.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
ltl2tgba.test	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
ltlparse.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
ltlsimple.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
Makefile.am	Test driver for Teamcity.	2013-07-29 01:14:37 +02:00
minato.py	Enable -fvisibility=hidden for src/misc/.	2013-07-29 01:12:12 +02:00
optionmap.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
parsetgba.py	python: better support for Python 3	2014-02-02 15:45:19 +01:00
run.in	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00
setxor.py	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00