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

Add synthesis #21

Closed ncharl closed 1 year ago

ncharl commented 1 year ago

Add synthesis to AIG using -S filename.aag or -S - to print to stdout. From the build folder: meson test --suite synth runs 11 tests doing synthesis for a TLSF file and model checking acacia-bonsai's output.

gaperez64 commented 1 year ago

This should resolve issue #17

gaperez64 commented 1 year ago

@ncharl does this resolve #22 too?

ncharl commented 1 year ago

It does not, I only changed that in the composition branch. I can fix it here as well if you prefer?

gaperez64 commented 1 year ago

No that's fine, I am currently reviewing the first pull request. Keep it for the next one.

On Wed, 26 Apr 2023 at 19:24, ncharl @.***> wrote:

It does not, I only changed that in the composition branch. I can fix it here as well if you prefer?

— Reply to this email directly, view it on GitHub https://github.com/gaperez64/acacia-bonsai/pull/21#issuecomment-1523793030, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAUJJ2K7JBI34BM47FIRNELXDFK5VANCNFSM6AAAAAAWCOQERM . You are receiving this because you were assigned.Message ID: @.***>

gaperez64 commented 1 year ago

@ncharl I fixed the CI for the benchmarks, if you update your fork and it goes through then I'll merge this now :)