rosette

The Rosette Language

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, August 17th, 2017 5:40:10pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/emina/rosetted33b21b466ad0cf98d80fb7c7e837d13810b2e6b
Last checkedSunday, September 24th, 2017 6:30:43am (UTC)
Last editedFriday, March 25th, 2016 1:56:47am (UTC)
Modules
  • rosette/doc/guide/scribble/datatypes/pairs.scrbl
  • rosette/doc/guide/scribble/util/clean.rkt
  • rosette/base/form/define.rkt
  • sdsl/bv/lang/program.rkt
  • test/base/quantified.rkt
  • sdsl/ifc/verify.rkt
  • sdsl/websynth/benchmarks/imdb250_4.rkt
  • sdsl/bv/examples/hard.rkt
  • rosette/solver/smt/smtlib2.rkt
  • sdsl/synthcl/examples/sobelFilter/kernel.rkt
  • rosette/lib/roseunit.rkt
  • rosette/base/core/numerics.rkt
  • rosette/base/form/state.rkt
  • sdsl/synthcl/examples/sobelFilter/test.rkt
  • sdsl/synthcl/test/grammar.rkt
  • sdsl/websynth/benchmarks/itunes100_2.rkt
  • rosette/query/query.rkt
  • rosette/doc/guide/scribble/libs/libraries.scrbl
  • sdsl/synthcl/test/work.rkt
  • sdsl/synthcl/model/context.rkt
  • test/base/list.rkt
  • sdsl/synthcl/examples/matrixMultiply/synth/test.rkt
  • rosette/doc/guide/scribble/reflection/test.rkt
  • sdsl/bv/examples/reference.rkt
  • sdsl/synthcl/examples/matrixMultiply/synth/host.rkt
  • rosette/query/finitize.rkt
  • rosette/lib/match.rkt
  • rosette/base/adt/list.rkt
  • test/query/push-pop.rkt
  • sdsl/websynth/benchmarks/alanon_arkansas_16.rkt
  • rosette/base/core/effects.rkt
  • sdsl/synthcl/model/flags.rkt
  • rosette/safe.rkt
  • rosette/solver/smt/env.rkt
  • sdsl/synthcl/model/work.rkt
  • sdsl/websynth/benchmarks/alanon_arkansas_2.rkt
  • rosette/query/core.rkt
  • sdsl/synthcl/model/errors.rkt
  • sdsl/synthcl/lang/operators.rkt
  • sdsl/synthcl/examples/matrixMultiply/verify/test.rkt
  • rosette/doc/guide/scribble/rosette-guide.scrbl
  • sdsl/synthcl/model/kernel.rkt
  • sdsl/bv/test/medium.rkt
  • sdsl/synthcl/lang/typecheck.rkt
  • sdsl/bv/lang/log.rkt
  • rosette/lib/util/syntax-properties.rkt
  • sdsl/synthcl/model/type.rkt
  • sdsl/bv/lang/form.rkt
  • sdsl/websynth/benchmarks/imdb250_16.rkt
  • sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt
  • sdsl/bv/examples/medium.rkt
  • sdsl/websynth/test/all-tests.rkt
  • rosette/base/form/module.rkt
  • rosette/base/form/app.rkt
  • rosette/doc/guide/scribble/datatypes/bitvectors.scrbl
  • sdsl/websynth/test/imdb250_8.rkt
  • rosette/doc/guide/scribble/libs/rosette-libs.scrbl
  • rosette/doc/guide/scribble/datatypes/boxes.scrbl
  • sdsl/websynth/websynthlib.rkt
  • rosette/base/form/control.rkt
  • test/base/bool.rkt
  • sdsl/bv/bv.rkt
  • sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt
  • rosette/doc/guide/scribble/reflection/symbolic-reflection.scrbl
  • rosette/doc/guide/scribble/reflection/state-reflection.scrbl
  • test/all-rosette-tests.rkt
  • sdsl/ifc/machine.rkt
  • sdsl/websynth/dom.rkt
  • test/base/generics.rkt
  • sdsl/synthcl/test/reals.rkt
  • test/query/solve.rkt
  • test/base/merge.rkt
  • sdsl/synthcl/test/more-snippets.rkt
  • rosette/doc/guide/scribble/datatypes/uninterpreted.scrbl
  • sdsl/synthcl/examples/toy/verify/kernel.rkt
  • rosette/solver/smt/enc.rkt
  • sdsl/synthcl/lang/queries.rkt
  • test/query/synthax-external.rkt
  • sdsl/websynth/test/itunes100_16.rkt
  • sdsl/ifc/test.rkt
  • sdsl/synthcl/lang/util.rkt
  • test/base/common.rkt
  • test/base/vector.rkt
  • rosette/lib/util/syntax.rkt
  • sdsl/synthcl/examples/toy/verify/host.rkt
  • test/base/distinct.rkt
  • rosette/base/util/ord-dict.rkt
  • rosette/doc/guide/scribble/welcome/welcome.scrbl
  • rosette/base/core/safe.rkt
  • rosette/base/core/distinct.rkt
  • rosette/lang/reader.rkt
  • sdsl/synthcl/model/operators.rkt
  • sdsl/ifc/instruction.rkt
  • sdsl/synthcl/model/queue.rkt
  • sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt
  • rosette/doc/guide/scribble/forms/racket-forms.scrbl
  • sdsl/synthcl/lang/main.rkt
  • rosette/base/adt/vector.rkt
  • test/query/debug.rkt
  • sdsl/synthcl/model/memory.rkt
  • sdsl/synthcl/model/reals.rkt
  • rosette/base/core/polymorphic.rkt
  • sdsl/synthcl/examples/sobelFilter/reference.rkt
  • sdsl/websynth/benchmarks/alanon_arkansas_4.rkt
  • test/base/exprs.rkt
  • sdsl/synthcl/test/operators.rkt
  • rosette/doc/guide/scribble/datatypes/solvers+solutions.scrbl
  • sdsl/bv/test/easy.rkt
  • rosette/doc/guide/scribble/util/lifted.rkt
  • sdsl/bv/examples/easy.rkt
  • sdsl/bv/test/util.rkt
  • sdsl/websynth/test/imdb250_2.rkt
  • sdsl/ifc/call.rkt
  • sdsl/synthcl/examples/matrixMultiply/verify/host.rkt
  • rosette/doc/guide/scribble/libs/racket-libs.scrbl
  • rosette/doc/guide/scribble/libs/rosette-lib-test.rkt
  • sdsl/synthcl/examples/toy/synth/host.rkt
  • sdsl/fsm/fsm.rkt
  • sdsl/synthcl/lang/types.rkt
  • sdsl/bv/lang/bvops.rkt
  • rosette/doc/guide/scribble/datatypes/test.rkt
  • sdsl/fsm/query.rkt
  • rosette/base/struct/struct.rkt
  • rosette/base/core/lift.rkt
  • rosette/base/core/bitvector.rkt
  • rosette/base/core/real.rkt
  • rosette/base/util/array.rkt
  • rosette/main.rkt
  • rosette/doc/guide/scribble/datatypes/equality.scrbl
  • sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt
  • rosette/base/core/procedure.rkt
  • test/query/synthesize.rkt
  • rosette/base/core/type.rkt
  • rosette/solver/smt/server.rkt
  • rosette/base/struct/generics.rkt
  • rosette/solver/smt/z3.rkt
  • sdsl/websynth/benchmarks/itunes100_8.rkt
  • rosette/doc/guide/scribble/datatypes/bools+ints+reals.scrbl
  • rosette/private/install.rkt
  • rosette/doc/guide/scribble/essentials/poly.rkt
  • sdsl/fsm/demo.rkt
  • sdsl/websynth/benchmarks/itunes100_4.rkt
  • rosette/query/debug.rkt
  • rosette/base/struct/struct-type.rkt
  • sdsl/synthcl/lang/errors.rkt
  • sdsl/websynth/test/itunes100_2.rkt
  • rosette/base/core/forall.rkt
  • test/query/optimize.rkt
  • sdsl/websynth/test/imdb250_16.rkt
  • sdsl/synthcl/test/all-tests.rkt
  • rosette/lib/render.rkt
  • sdsl/websynth/benchmarks/alanon_arkansas_8.rkt
  • sdsl/fsm/automaton.rkt
  • sdsl/synthcl/lang/forms.rkt
  • rosette/base/core/union.rkt
  • rosette/base/core/equality.rkt
  • sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt
  • test/base/real.rkt
  • rosette/lib/synthax/form.rkt
  • test/base/bitvector.rkt
  • sdsl/fsm/viz.rkt
  • sdsl/synthcl/test/memory.rkt
  • rosette/base/core/function.rkt
  • rosette/doc/guide/scribble/reflection/value-reflection.scrbl
  • sdsl/synthcl/model/pointers.rkt
  • rosette/query/form.rkt
  • rosette/base/adt/box.rkt
  • test/base/type.rkt
  • sdsl/ifc/indistinguishable.rkt
  • sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt
  • rosette/doc/guide/scribble/forms/rosette-forms.scrbl
  • rosette/doc/guide/scribble/datatypes/builtin-datatypes.scrbl
  • sdsl/ifc/jump.rkt
  • rosette/base/adt/generic.rkt
  • sdsl/synthcl/lang/env.rkt
  • sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt
  • sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt
  • rosette/doc/guide/scribble/forms/forms.scrbl
  • rosette/base/adt/seq.rkt
  • test/query/synthax.rkt
  • sdsl/websynth/test/imdb250_4.rkt
  • sdsl/bv/lang/core.rkt
  • test/base/equality.rkt
  • sdsl/websynth/test/alanon_arkansas_8.rkt
  • rosette/solver/smt/dec.rkt
  • rosette/base/core/bool.rkt
  • sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt
  • rosette/doc/guide/scribble/essentials/essentials.scrbl
  • sdsl/synthcl/examples/toy/synth/kernel.rkt
  • rosette/lib/lift.rkt
  • rosette/query/eval.rkt
  • rosette/solver/solution.rkt
  • sdsl/synthcl/model/program.rkt
  • sdsl/synthcl/test/typecheck.rkt
  • rosette/doc/guide/scribble/datatypes/procedures.scrbl
  • test/base/solver.rkt
  • sdsl/fsm/lib.rkt
  • rosette/base/base.rkt
  • rosette/base/core/term.rkt
  • sdsl/synthcl/lang/sugar.rkt
  • sdsl/websynth/test/alanon_arkansas_4.rkt
  • test/base/finitize.rkt
  • sdsl/websynth/benchmarks/itunes100_16.rkt
  • rosette/doc/guide/scribble/unsafe/unsafe.scrbl
  • test/base/term.rkt
  • rosette/safe/lang/reader.rkt
  • test/base/uninterpreted.rkt
  • sdsl/synthcl/test/snippets.rkt
  • rosette/doc/guide/scribble/datatypes/defined-datatypes.scrbl
  • rosette/solver/smt/cmd.rkt
  • sdsl/ifc/verify-EENI-demo.rkt
  • sdsl/synthcl/model/runtime.rkt
  • sdsl/websynth/test/alanon_arkansas_2.rkt
  • test/query/verify.rkt
  • sdsl/bv/lang/fragment.rkt
  • rosette/doc/guide/scribble/datatypes/vectors.scrbl
  • sdsl/synthcl/examples/sobelFilter/host.rkt
  • test/base/effects.rkt
  • sdsl/ifc/basic.rkt
  • rosette/base/core/merge.rkt
  • rosette/solver/solver.rkt
  • rosette/lib/synthax.rkt
  • rosette/doc/guide/scribble/refs.scrbl
  • rosette/lib/synthax/core.rkt
  • sdsl/websynth/test/itunes100_4.rkt
  • sdsl/synthcl/lang/builtins.rkt
  • sdsl/websynth/benchmarks/imdb250_8.rkt
  • sdsl/websynth/benchmarks/imdb250_2.rkt
  • sdsl/ifc/value.rkt
  • test/query/solve+.rkt
  • sdsl/bv/test/all-tests.rkt
  • sdsl/synthcl/model/objects.rkt
  • rosette/lib/angelic.rkt
  • sdsl/websynth/websynth.rkt
  • rosette/base/core/reflect.rkt
  • sdsl/websynth/test/itunes100_8.rkt
  • test/all-sdsl-tests.rkt
  • sdsl/synthcl/model/buffer.rkt
  • sdsl/websynth/test/alanon_arkansas_16.rkt