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

Antichain mods #38

Closed gaperez64 closed 1 year ago

gaperez64 commented 1 year ago

Almost all points from #37 addressed

gaperez64 commented 1 year ago

insert being defined in kdtree_backed causes the antichains test suite to fail with SIGILL, but without it self_benchmark.sh does not compile

https://github.com/gaperez64/acacia-bonsai/blob/3f65bd14116a36c7683d78e3f9e20b8c83aae1f3/src/downsets/kdtree_backed.hh#L79

I'm at a loss master @michaelcadilhac :D