├── .gitignore ├── LICENSE ├── Makefile ├── QuickStart.src ├── bin ├── boomerang.ml └── jbuild ├── boomerang.opam ├── cap_prob.boom ├── configure ├── docs ├── bcprules.sty ├── graffle │ ├── arch-basic.graffle │ └── boomerang-logo.graffle ├── jbuild ├── local.sty ├── main.src ├── src2tex.sty └── syntax.sty ├── examples ├── ISO8601.boom ├── address.boom ├── alignment.src ├── bibtex.boom ├── conflin.boom ├── coqsplit.boom ├── demo.boom ├── escaping.boom ├── ffactor.boom ├── ical.boom ├── itunes.boom ├── mkXml.boom ├── plist.boom ├── uniProtV2.boom ├── units │ ├── apply_contract.boom │ ├── diffy.boom │ ├── greedy.boom │ ├── poly.boom │ ├── setlike.boom │ ├── test_alias.boom │ ├── test_cex.boom │ ├── test_patsubst.boom │ ├── test_poly_coercion.boom │ ├── test_qmark.boom │ ├── uniRX.boom │ └── units.boom ├── xml.boom └── xsugar │ ├── bcard.boom │ ├── nice.boom │ └── students.boom ├── hbase ├── META ├── baker.ml ├── env.ml ├── env.mli ├── error.ml ├── error.mli ├── info.ml ├── info.mli ├── int.ml ├── int.mli ├── jbuild ├── mapplus.ml ├── mapplus.mli ├── memo.ml ├── memo.mli ├── misc.ml ├── misc.mli ├── name.ml ├── name.mli ├── src2fcl.mli └── src2fcl.mll ├── lenses ├── core.boom ├── exception.boom ├── jbuild ├── list.boom ├── prefs.boom ├── prelude.boom ├── prelude.ml ├── sort.boom ├── string.boom └── sys.boom ├── lib ├── amapblist.ml ├── amapblist.mli ├── bakery.mli ├── balign.ml ├── balign.mli ├── bannot.ml ├── bannot.mli ├── barx.ml ├── barx.mli ├── bcheck.ml ├── bcheck.mli ├── bcost.ml ├── bcost.mli ├── bdiff3.ml ├── bdiff3.mli ├── bdriver.ml ├── bdriver.mli ├── benv.ml ├── benv.mli ├── berror.ml ├── berror.mli ├── bident.ml ├── bident.mli ├── binterp.ml ├── binterp.mli ├── blenses.ml ├── blenses.mli ├── blexer.mli ├── blexer.srcl ├── boomerang.ml ├── boomerang.mldylib ├── boomerang.mllib ├── bparser.srcy ├── bprint.ml ├── bprint.mli ├── bregistry.ml ├── bregistry.mli ├── brx.ml ├── brx.mli ├── bstring.ml ├── bstring.mli ├── bsubst.ml ├── bsubst.mli ├── bsync.ml ├── bsync.mli ├── bsyntax.ml ├── bsyntax.mli ├── bsynth.ml ├── btag.ml ├── btag.mli ├── bvalue.ml ├── bvalue.mli ├── erx.ml ├── erx.mli ├── intmapa.ml ├── intmapa.mli ├── jbuild ├── toplevel.ml ├── toplevel.mli ├── workqueue.ml └── workqueue.mli ├── optician ├── consts.ml ├── converter.ml ├── eval.ml ├── expand.ml ├── gen.ml ├── jbuild ├── lang.ml ├── language_equivalences.ml ├── lens.ml ├── lens_put.ml ├── lens_utilities.ml ├── lenscontext.ml ├── normalized_lang.ml ├── regex_utilities.ml ├── regexcontext.ml ├── synth_structs.ml ├── timing.ml ├── tree_alignment.ml └── typing.ml ├── readme.md ├── stdlib ├── _tags ├── algebra.ml ├── datastructures.ml ├── jbuild ├── my_dict.ml ├── my_disjoint_set.ml ├── my_heap.ml ├── my_list_extensions.ml ├── my_memoizer.ml ├── my_priority_queue.ml ├── my_set.ml ├── my_tree.ml ├── stdlib.ml ├── string_utilities.ml └── util.ml ├── tools ├── dump_oracle.ml ├── harmony-export ├── jbuild ├── src2f.ml ├── src2tex.mll ├── test.src └── wrap.ml ├── ubase ├── META ├── jbuild ├── myMap.ml ├── myMap.mli ├── prefs.ml ├── prefs.mli ├── rx.ml ├── rx.mli ├── safelist.ml ├── safelist.mli ├── trace.ml ├── trace.mli ├── uarg.ml ├── uarg.mli ├── uprintf.ml ├── uprintf.mli ├── util.ml └── util.mli └── unittests ├── jbuild ├── ounit_extensions.ml ├── ounit_general_extensions.ml └── synth_unittests.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/Makefile -------------------------------------------------------------------------------- /QuickStart.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/QuickStart.src -------------------------------------------------------------------------------- /bin/boomerang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/bin/boomerang.ml -------------------------------------------------------------------------------- /bin/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/bin/jbuild -------------------------------------------------------------------------------- /boomerang.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/boomerang.opam -------------------------------------------------------------------------------- /cap_prob.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/cap_prob.boom -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | ocaml setup.ml -configure $@ -------------------------------------------------------------------------------- /docs/bcprules.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/bcprules.sty -------------------------------------------------------------------------------- /docs/graffle/arch-basic.graffle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/graffle/arch-basic.graffle -------------------------------------------------------------------------------- /docs/graffle/boomerang-logo.graffle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/graffle/boomerang-logo.graffle -------------------------------------------------------------------------------- /docs/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/jbuild -------------------------------------------------------------------------------- /docs/local.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/local.sty -------------------------------------------------------------------------------- /docs/main.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/main.src -------------------------------------------------------------------------------- /docs/src2tex.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/src2tex.sty -------------------------------------------------------------------------------- /docs/syntax.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/docs/syntax.sty -------------------------------------------------------------------------------- /examples/ISO8601.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/ISO8601.boom -------------------------------------------------------------------------------- /examples/address.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/address.boom -------------------------------------------------------------------------------- /examples/alignment.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/alignment.src -------------------------------------------------------------------------------- /examples/bibtex.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/bibtex.boom -------------------------------------------------------------------------------- /examples/conflin.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/conflin.boom -------------------------------------------------------------------------------- /examples/coqsplit.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/coqsplit.boom -------------------------------------------------------------------------------- /examples/demo.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/demo.boom -------------------------------------------------------------------------------- /examples/escaping.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/escaping.boom -------------------------------------------------------------------------------- /examples/ffactor.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/ffactor.boom -------------------------------------------------------------------------------- /examples/ical.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/ical.boom -------------------------------------------------------------------------------- /examples/itunes.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/itunes.boom -------------------------------------------------------------------------------- /examples/mkXml.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/mkXml.boom -------------------------------------------------------------------------------- /examples/plist.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/plist.boom -------------------------------------------------------------------------------- /examples/uniProtV2.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/uniProtV2.boom -------------------------------------------------------------------------------- /examples/units/apply_contract.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/apply_contract.boom -------------------------------------------------------------------------------- /examples/units/diffy.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/diffy.boom -------------------------------------------------------------------------------- /examples/units/greedy.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/greedy.boom -------------------------------------------------------------------------------- /examples/units/poly.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/poly.boom -------------------------------------------------------------------------------- /examples/units/setlike.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/setlike.boom -------------------------------------------------------------------------------- /examples/units/test_alias.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/test_alias.boom -------------------------------------------------------------------------------- /examples/units/test_cex.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/test_cex.boom -------------------------------------------------------------------------------- /examples/units/test_patsubst.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/test_patsubst.boom -------------------------------------------------------------------------------- /examples/units/test_poly_coercion.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/test_poly_coercion.boom -------------------------------------------------------------------------------- /examples/units/test_qmark.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/test_qmark.boom -------------------------------------------------------------------------------- /examples/units/uniRX.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/uniRX.boom -------------------------------------------------------------------------------- /examples/units/units.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/units/units.boom -------------------------------------------------------------------------------- /examples/xml.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/xml.boom -------------------------------------------------------------------------------- /examples/xsugar/bcard.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/xsugar/bcard.boom -------------------------------------------------------------------------------- /examples/xsugar/nice.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/xsugar/nice.boom -------------------------------------------------------------------------------- /examples/xsugar/students.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/examples/xsugar/students.boom -------------------------------------------------------------------------------- /hbase/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/META -------------------------------------------------------------------------------- /hbase/baker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/baker.ml -------------------------------------------------------------------------------- /hbase/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/env.ml -------------------------------------------------------------------------------- /hbase/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/env.mli -------------------------------------------------------------------------------- /hbase/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/error.ml -------------------------------------------------------------------------------- /hbase/error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/error.mli -------------------------------------------------------------------------------- /hbase/info.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/info.ml -------------------------------------------------------------------------------- /hbase/info.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/info.mli -------------------------------------------------------------------------------- /hbase/int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/int.ml -------------------------------------------------------------------------------- /hbase/int.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/int.mli -------------------------------------------------------------------------------- /hbase/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/jbuild -------------------------------------------------------------------------------- /hbase/mapplus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/mapplus.ml -------------------------------------------------------------------------------- /hbase/mapplus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/mapplus.mli -------------------------------------------------------------------------------- /hbase/memo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/memo.ml -------------------------------------------------------------------------------- /hbase/memo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/memo.mli -------------------------------------------------------------------------------- /hbase/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/misc.ml -------------------------------------------------------------------------------- /hbase/misc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/misc.mli -------------------------------------------------------------------------------- /hbase/name.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/name.ml -------------------------------------------------------------------------------- /hbase/name.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/name.mli -------------------------------------------------------------------------------- /hbase/src2fcl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/src2fcl.mli -------------------------------------------------------------------------------- /hbase/src2fcl.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/hbase/src2fcl.mll -------------------------------------------------------------------------------- /lenses/core.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/core.boom -------------------------------------------------------------------------------- /lenses/exception.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/exception.boom -------------------------------------------------------------------------------- /lenses/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/jbuild -------------------------------------------------------------------------------- /lenses/list.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/list.boom -------------------------------------------------------------------------------- /lenses/prefs.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/prefs.boom -------------------------------------------------------------------------------- /lenses/prelude.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/prelude.boom -------------------------------------------------------------------------------- /lenses/prelude.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/prelude.ml -------------------------------------------------------------------------------- /lenses/sort.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/sort.boom -------------------------------------------------------------------------------- /lenses/string.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/string.boom -------------------------------------------------------------------------------- /lenses/sys.boom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lenses/sys.boom -------------------------------------------------------------------------------- /lib/amapblist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/amapblist.ml -------------------------------------------------------------------------------- /lib/amapblist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/amapblist.mli -------------------------------------------------------------------------------- /lib/bakery.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bakery.mli -------------------------------------------------------------------------------- /lib/balign.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/balign.ml -------------------------------------------------------------------------------- /lib/balign.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/balign.mli -------------------------------------------------------------------------------- /lib/bannot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bannot.ml -------------------------------------------------------------------------------- /lib/bannot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bannot.mli -------------------------------------------------------------------------------- /lib/barx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/barx.ml -------------------------------------------------------------------------------- /lib/barx.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/barx.mli -------------------------------------------------------------------------------- /lib/bcheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bcheck.ml -------------------------------------------------------------------------------- /lib/bcheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bcheck.mli -------------------------------------------------------------------------------- /lib/bcost.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bcost.ml -------------------------------------------------------------------------------- /lib/bcost.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bcost.mli -------------------------------------------------------------------------------- /lib/bdiff3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bdiff3.ml -------------------------------------------------------------------------------- /lib/bdiff3.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bdiff3.mli -------------------------------------------------------------------------------- /lib/bdriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bdriver.ml -------------------------------------------------------------------------------- /lib/bdriver.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bdriver.mli -------------------------------------------------------------------------------- /lib/benv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/benv.ml -------------------------------------------------------------------------------- /lib/benv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/benv.mli -------------------------------------------------------------------------------- /lib/berror.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/berror.ml -------------------------------------------------------------------------------- /lib/berror.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/berror.mli -------------------------------------------------------------------------------- /lib/bident.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bident.ml -------------------------------------------------------------------------------- /lib/bident.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bident.mli -------------------------------------------------------------------------------- /lib/binterp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/binterp.ml -------------------------------------------------------------------------------- /lib/binterp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/binterp.mli -------------------------------------------------------------------------------- /lib/blenses.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/blenses.ml -------------------------------------------------------------------------------- /lib/blenses.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/blenses.mli -------------------------------------------------------------------------------- /lib/blexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/blexer.mli -------------------------------------------------------------------------------- /lib/blexer.srcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/blexer.srcl -------------------------------------------------------------------------------- /lib/boomerang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/boomerang.ml -------------------------------------------------------------------------------- /lib/boomerang.mldylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/boomerang.mldylib -------------------------------------------------------------------------------- /lib/boomerang.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/boomerang.mllib -------------------------------------------------------------------------------- /lib/bparser.srcy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bparser.srcy -------------------------------------------------------------------------------- /lib/bprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bprint.ml -------------------------------------------------------------------------------- /lib/bprint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bprint.mli -------------------------------------------------------------------------------- /lib/bregistry.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bregistry.ml -------------------------------------------------------------------------------- /lib/bregistry.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bregistry.mli -------------------------------------------------------------------------------- /lib/brx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/brx.ml -------------------------------------------------------------------------------- /lib/brx.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/brx.mli -------------------------------------------------------------------------------- /lib/bstring.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bstring.ml -------------------------------------------------------------------------------- /lib/bstring.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bstring.mli -------------------------------------------------------------------------------- /lib/bsubst.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsubst.ml -------------------------------------------------------------------------------- /lib/bsubst.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsubst.mli -------------------------------------------------------------------------------- /lib/bsync.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsync.ml -------------------------------------------------------------------------------- /lib/bsync.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsync.mli -------------------------------------------------------------------------------- /lib/bsyntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsyntax.ml -------------------------------------------------------------------------------- /lib/bsyntax.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsyntax.mli -------------------------------------------------------------------------------- /lib/bsynth.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bsynth.ml -------------------------------------------------------------------------------- /lib/btag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/btag.ml -------------------------------------------------------------------------------- /lib/btag.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/btag.mli -------------------------------------------------------------------------------- /lib/bvalue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bvalue.ml -------------------------------------------------------------------------------- /lib/bvalue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/bvalue.mli -------------------------------------------------------------------------------- /lib/erx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/erx.ml -------------------------------------------------------------------------------- /lib/erx.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/erx.mli -------------------------------------------------------------------------------- /lib/intmapa.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/intmapa.ml -------------------------------------------------------------------------------- /lib/intmapa.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/intmapa.mli -------------------------------------------------------------------------------- /lib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/jbuild -------------------------------------------------------------------------------- /lib/toplevel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/toplevel.ml -------------------------------------------------------------------------------- /lib/toplevel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/toplevel.mli -------------------------------------------------------------------------------- /lib/workqueue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/workqueue.ml -------------------------------------------------------------------------------- /lib/workqueue.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/lib/workqueue.mli -------------------------------------------------------------------------------- /optician/consts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/consts.ml -------------------------------------------------------------------------------- /optician/converter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/converter.ml -------------------------------------------------------------------------------- /optician/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/eval.ml -------------------------------------------------------------------------------- /optician/expand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/expand.ml -------------------------------------------------------------------------------- /optician/gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/gen.ml -------------------------------------------------------------------------------- /optician/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/jbuild -------------------------------------------------------------------------------- /optician/lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/lang.ml -------------------------------------------------------------------------------- /optician/language_equivalences.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/language_equivalences.ml -------------------------------------------------------------------------------- /optician/lens.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /optician/lens_put.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/lens_put.ml -------------------------------------------------------------------------------- /optician/lens_utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/lens_utilities.ml -------------------------------------------------------------------------------- /optician/lenscontext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/lenscontext.ml -------------------------------------------------------------------------------- /optician/normalized_lang.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/normalized_lang.ml -------------------------------------------------------------------------------- /optician/regex_utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/regex_utilities.ml -------------------------------------------------------------------------------- /optician/regexcontext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/regexcontext.ml -------------------------------------------------------------------------------- /optician/synth_structs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/synth_structs.ml -------------------------------------------------------------------------------- /optician/timing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/timing.ml -------------------------------------------------------------------------------- /optician/tree_alignment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/tree_alignment.ml -------------------------------------------------------------------------------- /optician/typing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/optician/typing.ml -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/readme.md -------------------------------------------------------------------------------- /stdlib/_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/_tags -------------------------------------------------------------------------------- /stdlib/algebra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/algebra.ml -------------------------------------------------------------------------------- /stdlib/datastructures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/datastructures.ml -------------------------------------------------------------------------------- /stdlib/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/jbuild -------------------------------------------------------------------------------- /stdlib/my_dict.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_dict.ml -------------------------------------------------------------------------------- /stdlib/my_disjoint_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_disjoint_set.ml -------------------------------------------------------------------------------- /stdlib/my_heap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_heap.ml -------------------------------------------------------------------------------- /stdlib/my_list_extensions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_list_extensions.ml -------------------------------------------------------------------------------- /stdlib/my_memoizer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_memoizer.ml -------------------------------------------------------------------------------- /stdlib/my_priority_queue.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_priority_queue.ml -------------------------------------------------------------------------------- /stdlib/my_set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_set.ml -------------------------------------------------------------------------------- /stdlib/my_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/my_tree.ml -------------------------------------------------------------------------------- /stdlib/stdlib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/stdlib.ml -------------------------------------------------------------------------------- /stdlib/string_utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/string_utilities.ml -------------------------------------------------------------------------------- /stdlib/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/stdlib/util.ml -------------------------------------------------------------------------------- /tools/dump_oracle.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/dump_oracle.ml -------------------------------------------------------------------------------- /tools/harmony-export: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/harmony-export -------------------------------------------------------------------------------- /tools/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/jbuild -------------------------------------------------------------------------------- /tools/src2f.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/src2f.ml -------------------------------------------------------------------------------- /tools/src2tex.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/src2tex.mll -------------------------------------------------------------------------------- /tools/test.src: -------------------------------------------------------------------------------- 1 | #{*} 2 | fun[g 3 | -------------------------------------------------------------------------------- /tools/wrap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/tools/wrap.ml -------------------------------------------------------------------------------- /ubase/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/META -------------------------------------------------------------------------------- /ubase/jbuild: -------------------------------------------------------------------------------- 1 | (jbuild_version 1) 2 | 3 | (library 4 | ((name ubase) 5 | )) -------------------------------------------------------------------------------- /ubase/myMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/myMap.ml -------------------------------------------------------------------------------- /ubase/myMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/myMap.mli -------------------------------------------------------------------------------- /ubase/prefs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/prefs.ml -------------------------------------------------------------------------------- /ubase/prefs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/prefs.mli -------------------------------------------------------------------------------- /ubase/rx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/rx.ml -------------------------------------------------------------------------------- /ubase/rx.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/rx.mli -------------------------------------------------------------------------------- /ubase/safelist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/safelist.ml -------------------------------------------------------------------------------- /ubase/safelist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/safelist.mli -------------------------------------------------------------------------------- /ubase/trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/trace.ml -------------------------------------------------------------------------------- /ubase/trace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/trace.mli -------------------------------------------------------------------------------- /ubase/uarg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/uarg.ml -------------------------------------------------------------------------------- /ubase/uarg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/uarg.mli -------------------------------------------------------------------------------- /ubase/uprintf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/uprintf.ml -------------------------------------------------------------------------------- /ubase/uprintf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/uprintf.mli -------------------------------------------------------------------------------- /ubase/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/util.ml -------------------------------------------------------------------------------- /ubase/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/ubase/util.mli -------------------------------------------------------------------------------- /unittests/jbuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/unittests/jbuild -------------------------------------------------------------------------------- /unittests/ounit_extensions.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /unittests/ounit_general_extensions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/unittests/ounit_general_extensions.ml -------------------------------------------------------------------------------- /unittests/synth_unittests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boomerang-lang/boomerang/HEAD/unittests/synth_unittests.ml --------------------------------------------------------------------------------