rosette

The Rosette Language

Build status: ok passing tests missing license metadata

Authors

eminaλbcfa637

Documentation

rosette-guide

Tags

License

Last updated

Tuesday, June 17th, 2025 12:56:48am (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	git://github.com/emina/rosette	29808a02d2a2c25a6824bfed5df32cc263dea734

Last checked

Saturday, January 17th, 2026 9:55:39pm (UTC)

Last edited

Friday, March 25th, 2016 1:56:47am (UTC)

Date added

N/A

Modules

rosette/guide/scribble/libs/racket-libs.scrbl
sdsl/websynth/benchmarks/alanon_arkansas_16.rkt
rosette/lib/trace/raco.rkt
rosette/lib/util/ws-server.rkt
sdsl/bv/test/easy.rkt
sdsl/synthcl/model/memory.rkt
sdsl/websynth/test/itunes100_8.rkt
test/query/solve+.rkt
rosette/base/struct/generics.rkt
sdsl/fsm/demo.rkt
sdsl/ifc/basic.rkt
rosette/base/core/procedure.rkt
rosette/base/core/numerics.rkt
rosette/base/form/define.rkt
rosette/lib/trace/client-launcher.rkt
sdsl/ifc/test.rkt
rosette/lib/trace/sample-data.rkt
sdsl/websynth/test/itunes100_2.rkt
rosette/guide/scribble/datatypes/procedures.scrbl
test/base/merge.rkt
sdsl/synthcl/model/buffer.rkt
sdsl/synthcl/lang/operators.rkt
test/base/term.rkt
sdsl/synthcl/examples/toy/verify/host.rkt
rosette/base/core/union.rkt
test/base/vc.rkt
test/profile/benchmarks/list.rkt
sdsl/synthcl/test/reals.rkt
test/profile/test.rkt
sdsl/synthcl/lang/builtins.rkt
rosette/guide/scribble/datatypes/equality.scrbl
sdsl/synthcl/examples/toy/verify/kernel.rkt
test/profile/renderer.rkt
test/trace/code/ex-1-2.rkt
test/query/solve.rkt
sdsl/synthcl/test/memory.rkt
rosette/lib/util/streaming-server.rkt
rosette/solver/smt/env.rkt
rosette/guide/scribble/error-tracing/sum.rkt
test/trace/code/ex-1-3.rkt
rosette/lib/trace/compile.rkt
sdsl/websynth/test/itunes100_4.rkt
test/base/real.rkt
rosette/guide/scribble/unsafe/unsafe.scrbl
rosette/lib/profile/renderer/report/generic.rkt
rosette/solver/smt/enc.rkt
rosette/base/core/reporter.rkt
rosette/solver/smt/cvc4.rkt
test/query/grammar.rkt
test/config.rkt
test/trace/code/ex-3.rkt
rosette/base/base.rkt
rosette/lib/profile/record.rkt
rosette/guide/scribble/reflection/state-reflection.scrbl
sdsl/synthcl/model/reals.rkt
rosette/guide/scribble/error-tracing/select.rkt
rosette/base/core/term.rkt
rosette/lib/util/module.rkt
sdsl/synthcl/lang/util.rkt
rosette/main.rkt
sdsl/bv/lang/log.rkt
rosette/base/core/bvlib.rkt
rosette/guide/scribble/datatypes/vectors.scrbl
test/trace/stress/tail.rkt
rosette/base/adt/seq.rkt
test/trace/code/ex-1-1.rkt
rosette/lib/profile/renderer/syntax.rkt
rosette/guide/scribble/util/demo.rkt
rosette/lib/profile/raco.rkt
rosette/query/eval.rkt
rosette/guide/scribble/datatypes/builtin-datatypes.scrbl
sdsl/synthcl/model/objects.rkt
rosette/guide/scribble/datatypes/solvers+solutions.scrbl
sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt
sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt
rosette/private/install.rkt
sdsl/websynth/benchmarks/alanon_arkansas_8.rkt
sdsl/websynth/test/all-tests.rkt
rosette/solver/smt/boolector.rkt
sdsl/bv/examples/hard.rkt
sdsl/websynth/test/itunes100_16.rkt
rosette/lib/profile/renderer/renderer.rkt
test/base/reflect.rkt
sdsl/synthcl/model/kernel.rkt
test/trace/test.rkt
sdsl/bv/examples/medium.rkt
test/base/eval-guarded.rkt
sdsl/websynth/benchmarks/imdb250_4.rkt
rosette/safe.rkt
rosette/lib/profile/renderer/trace.rkt
rosette/lib/value-browser.rkt
rosette/lib/profile/reporter.rkt
test/trace/code/solver-limitation.rkt
rosette/guide/scribble/datatypes/test.rkt
rosette/base/core/forall.rkt
rosette/solver/smt/cvc5.rkt
rosette/base/core/bool.rkt
sdsl/ifc/call.rkt
sdsl/websynth/benchmarks/itunes100_16.rkt
sdsl/synthcl/examples/matrixMultiply/synth/host.rkt
sdsl/websynth/benchmarks/alanon_arkansas_4.rkt
test/trace/code/macro.rkt
test/base/quantified.rkt
rosette/lib/roseunit.rkt
test/profile/benchmarks/update-at.rkt
rosette/solver/smt/stp.rkt
rosette/base/core/distinct.rkt
rosette/solver/smt/server.rkt
rosette/guide/scribble/error-tracing/error-tracing.scrbl
sdsl/synthcl/lang/queries.rkt
sdsl/ifc/verify-EENI-demo.rkt
sdsl/fsm/automaton.rkt
rosette/guide/scribble/datatypes/pairs.scrbl
rosette/guide/scribble/datatypes/defined-datatypes.scrbl
sdsl/synthcl/lang/sugar.rkt
test/base/generics.rkt
sdsl/ifc/verify.rkt
sdsl/bv/test/util.rkt
sdsl/synthcl/lang/typecheck.rkt
rosette/guide/scribble/reflection/value-reflection.scrbl
test/trace/code/non-tail.rkt
test/base/forall.rkt
rosette/solver/smt/dec.rkt
rosette/base/form/app.rkt
sdsl/bv/lang/core.rkt
rosette/lib/trace/report/fix-path.rkt
rosette/base/core/real.rkt
sdsl/websynth/benchmarks/itunes100_4.rkt
rosette/guide/scribble/libs/rosette-libs.scrbl
sdsl/synthcl/test/snippets.rkt
rosette/solver/smt/cmd.rkt
rosette/lib/profile/renderer/report/solver.rkt
sdsl/websynth/benchmarks/itunes100_2.rkt
sdsl/synthcl/model/pointers.rkt
test/base/list.rkt
sdsl/synthcl/examples/matrixMultiply/verify/host.rkt
test/base/exprs.rkt
test/query/optimize.rkt
rosette/guide/scribble/datatypes/bools+ints+reals.scrbl
rosette/base/core/result.rkt
test/base/bool.rkt
rosette/base/core/equality.rkt
sdsl/websynth/test/alanon_arkansas_16.rkt
rosette/lib/trace/mock-server.rkt
sdsl/bv/lang/bvops.rkt
sdsl/synthcl/examples/sobelFilter/host.rkt
test/trace/code/tail.rkt
rosette/lib/angelic.rkt
rosette/query/finitize.rkt
rosette/guide/scribble/performance/performance.scrbl
sdsl/bv/test/all-tests.rkt
sdsl/synthcl/lang/main.rkt
test/base/vector.rkt
rosette/guide/scribble/rosette-guide.scrbl
test/trace/stress/non-tail.rkt
test/base/finitize.rkt
rosette/lib/profile/graph.rkt
sdsl/synthcl/model/runtime.rkt
test/base/distinct.rkt
test/base/uninterpreted.rkt
rosette/base/core/safe.rkt
rosette/guide/scribble/error-tracing/test.rkt
test/trace/code/infeasible-solver.rkt
test/query/synthax-external.rkt
rosette/solver/smt/yices.rkt
sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt
sdsl/synthcl/model/queue.rkt
rosette/query/query.rkt
rosette/query/form.rkt
rosette/guide/scribble/libs/utility-libs.scrbl
rosette/guide/scribble/essentials/essentials.scrbl
sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt
sdsl/synthcl/test/work.rkt
sdsl/synthcl/lang/types.rkt
rosette/guide/scribble/util/clean.rkt
sdsl/synthcl/examples/toy/synth/kernel.rkt
sdsl/synthcl/model/operators.rkt
rosette/lib/profile/renderer/report.rkt
rosette/base/core/bitvector.rkt
test/base/bvlib.rkt
sdsl/bv/examples/reference.rkt
rosette/guide/scribble/libs/bvmul2.rkt
sdsl/websynth/test/imdb250_16.rkt
sdsl/bv/lang/form.rkt
test/base/optimize-order.rkt
rosette/base/form/control.rkt
rosette/base/form/module.rkt
rosette/solver/solver.rkt
sdsl/synthcl/model/errors.rkt
sdsl/fsm/fsm.rkt
rosette/solver/smt/bitwuzla.rkt
test/lib/destruct.rkt
rosette/lib/profile/data.rkt
rosette/solver/smt/z3.rkt
sdsl/synthcl/examples/sobelFilter/test.rkt
rosette/lib/profile/compile.rkt
sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt
sdsl/websynth/benchmarks/alanon_arkansas_2.rkt
rosette/guide/scribble/datatypes/bitvectors.scrbl
test/base/common.rkt
rosette/lib/match.rkt
sdsl/ifc/indistinguishable.rkt
sdsl/websynth/benchmarks/imdb250_16.rkt
sdsl/websynth/test/imdb250_4.rkt
sdsl/synthcl/model/context.rkt
rosette/base/core/polymorphic.rkt
rosette/solver/solution.rkt
sdsl/websynth/benchmarks/imdb250_2.rkt
test/base/equality.rkt
test/base/bitvector.rkt
rosette/base/struct/struct.rkt
rosette/lib/util/syntax-properties.rkt
rosette/lib/util/syntax.rkt
sdsl/bv/lang/program.rkt
rosette/lib/profile.rkt
sdsl/synthcl/model/type.rkt
sdsl/websynth/websynthlib.rkt
sdsl/ifc/instruction.rkt
sdsl/synthcl/test/all-tests.rkt
test/base/bvseq.rkt
sdsl/websynth/test/imdb250_2.rkt
test/trace/code/forall.rkt
test/trace/code/list.rkt
rosette/base/core/type.rkt
sdsl/fsm/viz.rkt
sdsl/synthcl/model/flags.rkt
test/base/type.rkt
test/trace/code/no-error.rkt
sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt
test/trace/code/if.rkt
rosette/guide/scribble/util/lifted.rkt
test/base/solver.rkt
rosette/base/core/reflect.rkt
rosette/guide/scribble/reflection/symbolic-reflection.scrbl
sdsl/bv/test/medium.rkt
rosette/guide/scribble/welcome/welcome.scrbl
sdsl/websynth/test/alanon_arkansas_8.rkt
sdsl/synthcl/lang/errors.rkt
test/base/store.rkt
test/trace/code/assertion.rkt
rosette/base/adt/vector.rkt
rosette/base/core/function.rkt
sdsl/synthcl/test/typecheck.rkt
rosette/guide/scribble/datatypes/uninterpreted.scrbl
rosette/lib/profile/tool.rkt
sdsl/websynth/dom.rkt
test/query/synthax.rkt
rosette/lib/profile/renderer/heap.rkt
rosette/lang/reader.rkt
rosette/safe/lang/reader.rkt
sdsl/websynth/test/alanon_arkansas_2.rkt
test/trace/code/error.rkt
rosette/base/core/eval.rkt
rosette/lib/destruct.rkt
rosette/base/adt/box.rkt
test/trace/code/ex-2.rkt
test/trace/code/list-2.rkt
rosette/lib/synthax.rkt
rosette/base/core/merge.rkt
test/base/push-pop.rkt
rosette/query/core.rkt
rosette/base/adt/generic.rkt
sdsl/synthcl/lang/forms.rkt
sdsl/ifc/jump.rkt
rosette/guide/scribble/datatypes/boxes.scrbl
sdsl/synthcl/lang/env.rkt
sdsl/synthcl/model/program.rkt
sdsl/fsm/lib.rkt
sdsl/synthcl/test/operators.rkt
sdsl/synthcl/examples/sobelFilter/reference.rkt
rosette/guide/scribble/performance/xform.rkt
test/query/synthesize.rkt
sdsl/synthcl/examples/matrixMultiply/synth/test.rkt
rosette/base/core/store.rkt
test/trace/perf-runner.rkt
test/all-rosette-tests.rkt
sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt
rosette/base/adt/bvseq.rkt
sdsl/synthcl/test/grammar.rkt
test/profile/benchmarks/exn.rkt
sdsl/bv/bv.rkt
test/trace/code/lib.rkt
rosette/base/core/lift.rkt
sdsl/bv/examples/easy.rkt
sdsl/websynth/benchmarks/imdb250_8.rkt
test/base/decode.rkt
sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt
rosette/lib/profile/renderer/report/callgraph.rkt
rosette/guide/scribble/refs.scrbl
sdsl/websynth/benchmarks/itunes100_8.rkt
sdsl/ifc/value.rkt
sdsl/bv/lang/fragment.rkt
rosette/guide/scribble/forms/rosette-forms.scrbl
sdsl/synthcl/test/more-snippets.rkt
rosette/lib/profile/renderer/report/terms.rkt
rosette/base/adt/list.rkt
test/trace/code/test-stack.rkt
sdsl/synthcl/model/work.rkt
sdsl/websynth/test/imdb250_8.rkt
rosette/base/struct/struct-type.rkt
test/trace/code/macro-define.rkt
test/trace/code/infeasible.rkt
rosette/lib/trace/tool.rkt
test/trace/code/core-form.rkt
rosette/guide/scribble/forms/racket-forms.scrbl
sdsl/websynth/test/alanon_arkansas_4.rkt
test/query/verify.rkt
rosette/guide/scribble/libs/calc-lang.rkt
rosette/guide/scribble/forms/forms.scrbl
rosette/lib/profile/feature.rkt
rosette/guide/scribble/libs/libraries.scrbl
test/all-sdsl-tests.rkt
sdsl/ifc/machine.rkt
rosette/solver/smt/base-solver.rkt
rosette/lib/profile/renderer/noop.rkt
sdsl/fsm/query.rkt
sdsl/synthcl/examples/sobelFilter/kernel.rkt
test/trace/code/test-track-form.rkt
test/trace/code/toplevel.rkt
sdsl/synthcl/examples/toy/synth/host.rkt
sdsl/websynth/websynth.rkt
rosette/solver/smt/smtlib2.rkt
sdsl/synthcl/examples/matrixMultiply/verify/test.rkt
rosette/guide/scribble/essentials/bvmid.rkt
rosette/base/core/exn.rkt
sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt