Skip to content

Rosette 4.1

Latest
Compare
Choose a tag to compare
@lukenels lukenels released this 08 Mar 05:32
· 29 commits to master since this release

This is a minor bug-fixing release.

With this release, you can run Rosette using Docker, for example:

docker run -it -v "$PWD":/rosette ghcr.io/emina/rosette:4.1 -- test.rkt

will run the file test.rkt in the current directory using the Rosette Docker image.