You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I was trying to incorporate the latest version on Sylvan into my program, as my progam was still using a much older commit from 2021, before the API breaking changes to Lace. While attempting this, I noticed some inconsistencies in the docs at https://trolando.github.io/sylvan/# and the current codebase. I might be missing something obvious, but was unable to pinpoint the issue.
Firstly the lace functions for init and exit seem to have changed as compared to the docs. I was able to fix those errors by looking at the examples and changing them (lace_start / lace_startup , lace_exit/lace_stop)
Secondly, the macro LACE_ME no longer seems to be available -- is this by design or is there some error on my side? Is it still needed?
More importantly, I am getting a weird compilation error when I try to compile with the functions gmp_plus, gmp_max etc:
‘mtbdd_apply_RUN’ was not declared in this scope; did you mean ‘sylvan::mtbdd_apply_RUN’
Hello,
I was trying to incorporate the latest version on Sylvan into my program, as my progam was still using a much older commit from 2021, before the API breaking changes to Lace. While attempting this, I noticed some inconsistencies in the docs at https://trolando.github.io/sylvan/# and the current codebase. I might be missing something obvious, but was unable to pinpoint the issue.
Firstly the lace functions for init and exit seem to have changed as compared to the docs. I was able to fix those errors by looking at the examples and changing them (lace_start / lace_startup , lace_exit/lace_stop)
Secondly, the macro LACE_ME no longer seems to be available -- is this by design or is there some error on my side? Is it still needed?
More importantly, I am getting a weird compilation error when I try to compile with the functions gmp_plus, gmp_max etc:
(see the attached file for full compiler output).
Any help is appreciated.
Thanks,
Aditya
compilation_errors.txt
The text was updated successfully, but these errors were encountered: