Rosette 4.1

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.

Rosette 4.0

This is a major release with significant changes to the language and the symbolic evaluator. Rosette 4.0 is not backward compatible with Rosette 3.x. See NOTES.md for details.

Rosette 3.2

This release includes minor updates and a new value destructuring library. See NOTES.md for details.

Rosette 3.1

This release includes bug fixes, updates Rosette to use the latest version of Z3 as the default solver, and includes two new features, the value browser and the error tracer. See NOTES.md for details.

Rosette 3.0

This is a major release with significant changes to the language and the symbolic evaluator. Rosette 3.0 is not backward compatible with Rosette 2.x. See NOTES.md for details.

Rosette 2.2

This release extends Rosette 2.1 with support for quantified formulas and the distinct? predicate. See NOTES.md for details.

Rosette 2.1

This release is a minor update of Rosette 2.0. See NOTES.md for details.

Rosette 2.0

This is a major release with significant changes to the language and the symbolic evaluator. Rosette 2.0 is not backward compatible with Rosette 1.x. See NOTES.md for details.

Rosette 1.1

Minor bug fixes for Rosette 1.0.

Rosette 1.0

The initial version of Rosette, released in 2014, with minor updates.