search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Replace usage of deprecated meson func #47

Closed gaperez64 closed 3 months ago

gaperez64 commented 3 months ago

When setting up a new build directory, with a new Meson version, we now get warnings like:

now deprecated since '1.3.0': str.format

Let's fix these.