spot/tests
Alexandre Duret-Lutz 465210cbc9 python: improve ACD's CSS
Some colleagues complained that the highlighting of edges and nodes
in the ACD display where not very readable, especially when sharing
screen during some video call.  This should improve it.

* python/spot/__init__.py (acd): Fill the contents of the nodes when
they are highlighted.  Add some glowing effect the the highlighted
edges.
* tests/python/zlktree.ipynb: Adjust.
2025-01-17 22:30:44 +01:00
..
core Fix slight error in aiger 2025-01-09 08:56:43 +01:00
ltsmin Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00
python python: improve ACD's CSS 2025-01-17 22:30:44 +01:00
sanity * tests/sanity/style.test: Fix spurious failure. 2024-04-19 09:43:50 +02:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am implement maximum cardinality search 2024-09-19 18:45:34 +02:00
run.in Upgrade the Copyright strings to point to AUTHORS and drop years 2023-11-18 21:50:32 +01:00