cowanmeg
commented
3 years ago Currently, I have no plans on porting to Rosette 4. I am not sure how hard it would be to run on Rosette 4, but I would recommend still running with Racket 7.5 and Rosette 3.2 ( emina/rosette at 3.2 (github.com) https://github.com/emina/rosette/tree/3.2), and follow the directions to install Rosette from scratch.
On Wed, Aug 18, 2021 at 2:38 PM kmaeng @.***> wrote:
Hi, I read your amazing paper and wanted to try this system out. Unfortunately, I am new to Racket/Rosette and having trouble making this work.
When I followed your README.md, Rosette was not installing because I guess the latest Rosette was not compatible with Racket 7.5. When I used Racket 8.0 instead, things would install but since the new Rosette 4.0 is not backward compatible, it still does not run. (e.g., with-asserts-only is removed so that line in synth.rkt is causing a problem and I am not sure how many more compatibility problems is hiding)
Unfortunately, I am new to Racket/Rosette so I am having a hard time gauging if it would be easy or not to make your system run with Racket 8.0 / Rosette 4.
Do you have any plans of porting this to Rosette 4? If not, can you share any insight on how easy/hard it would be for me to make this run with Rosette 4? If it is going to be too hard, I would just try to run it with downgraded Rosette. In that case, can you let me know the exact Rosette version you were using? Thank you for your help.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/cowanmeg/cgo-artifact-2020/issues/5, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABSEEAH3JHLQARLE3Q76WMDT5QR53ANCNFSM5CM4XRMA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .
Hi, I read your amazing paper and wanted to try this system out. Unfortunately, I am new to Racket/Rosette and having trouble making this work.
When I followed your README.md, Rosette was not installing because I guess the latest Rosette was not compatible with Racket 7.5. When I used Racket 8.0 instead, things would install but since the new Rosette 4.0 is not backward compatible, it still does not run. (e.g., with-asserts-only is removed so that line in synth.rkt is causing a problem and I am not sure how many more compatibility problems is hiding)
Unfortunately, I am new to Racket/Rosette so I am having a hard time gauging if it would be easy or not to make your system run with Racket 8.0 / Rosette 4.
Do you have any plans of porting this to Rosette 4? If not, can you share any insight on how easy/hard it would be for me to make this run with Rosette 4? If it is going to be too hard, I would just try to run it with downgraded Rosette. In that case, can you let me know the exact Rosette version you were using? Thank you for your help.