Closed H0TSUN closed 4 years ago
xkqiu
commented
4 years ago Glad to hear from you!
The current version supports the LIA logic only. In other words, it supports all SyGuS problems under the CLIA and INV categories, as well as problems under the General category with (set logic LIA). That said, we plan to extend DryadSynth with preliminary support of BV in the next few months. Stay tuned!
H0TSUN
commented
4 years ago Thank you!
Get Outlook for iOShttps://aka.ms/o0ukef
From: xkqiu notifications@github.com Sent: Sunday, September 20, 2020 11:35:56 PM To: purdue-cap/DryadSynth DryadSynth@noreply.github.com Cc: 하선 seonha@unist.ac.kr; Author author@noreply.github.com Subject: Re: [purdue-cap/DryadSynth] I report a error about set-logic BV (#1)
Reopened #1https://github.com/purdue-cap/DryadSynth/issues/1.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHubhttps://github.com/purdue-cap/DryadSynth/issues/1#event-3786137633, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AJJLM2N56I236I5VIOPCGW3SGYHMZANCNFSM4RTTREAA.
Hello, I am Synthesis beginner. I want to test your great project. But I encounter unknown error during synthesis set-logic BV. Only benchmarks related to (set-logic BV) get the error below. My console print out "java.lang.NullPointerException"
I also upload my error figure. I am so sorry. Thank you.