Alexandre Duret-Lutz a6aa799a17 adjust for BuDDy change ... * spot/twaalgos/mealy_machine.cc, python/buddy.i: Rename bdd_has_common_assignement to bdd_have_common_assignment.		2021-07-30 12:01:19 +02:00
..
spot	introduce a zielonka_tree class	2021-07-30 11:00:25 +02:00
.gitignore	remove more references to the old cgi-based translator	2018-08-28 20:48:44 +02:00
buddy.i	adjust for BuDDy change	2021-07-30 12:01:19 +02:00
Makefile.am	improve PyPy support by following PEP 3149	2021-06-29 21:15:04 +02:00