ChangeLog · 3802528bfd81831d8dbe2cd0a806903f00a8a83c · Spot / Spot · GitLab

Jun 23, 2004
3802528b
* src/tgba/tgbatba.cc (tgba_tba_proxy::format_state): Use · 3802528b
Alexandre Duret-Lutz authored Jun 23, 2004
```
bdd_format_accset to print the acceptance condition part of the state.
That produces more readable output.
```
3802528b
* src/tgba/tgbatba.cc (tgba_tba_proxy::format_state): Use
Alexandre Duret-Lutz authored Jun 23, 2004
```
bdd_format_accset to print the acceptance condition part of the state.
That produces more readable output.
```

To find the state of this project's repository at the time of any of these versions, check out the tags.