rosette

The Rosette Language

Build status: ok passing tests missing license metadata

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