├── .gitignore ├── CHANGES.md ├── LICENSE.md ├── Makefile ├── README.md ├── dune-project ├── optal.opam ├── site ├── build.ocp ├── index.html ├── js_runtime.js ├── utils.ml └── webMain.ml ├── src ├── ast.ml ├── common_types.ml ├── dune ├── expr.ml ├── generate.ml ├── generate.mli ├── json_value.ml ├── json_value.mli ├── lexer.mli ├── lexer.mll ├── loc.ml ├── loc.mli ├── lp.ml ├── lp.mli ├── optal.ml ├── parser.mly ├── value.ml └── value.mli └── test ├── array.json ├── blending.json ├── blending.opl ├── bool.opl ├── bools.opl ├── comments.opl ├── couples.opl ├── decl_couple.opl ├── forall_forall.opl ├── forall_forall2.opl ├── gas.json ├── gas.opl ├── gas_array.json ├── gas_array.opl ├── gas_obj_indexOf.opl ├── graph.json ├── graph_correct.opl ├── graph_dist_bool.opl ├── graph_distance.opl ├── graph_one_constraint.opl ├── knapsack.json ├── knapsack.opl ├── mini.opl ├── multi_index.opl ├── obj_index.opl ├── pattern.json ├── pattern.opl ├── sum_pattern.json ├── sum_pattern.opl └── volsay.opl /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | *.install 3 | *.merlin 4 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- 1 | ## 0.3 - 2020-10-24 2 | 3 | First release (with a changelog) 4 | -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/dune-project -------------------------------------------------------------------------------- /optal.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/optal.opam -------------------------------------------------------------------------------- /site/build.ocp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/site/build.ocp -------------------------------------------------------------------------------- /site/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/site/index.html -------------------------------------------------------------------------------- /site/js_runtime.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/site/js_runtime.js -------------------------------------------------------------------------------- /site/utils.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/site/utils.ml -------------------------------------------------------------------------------- /site/webMain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/site/webMain.ml -------------------------------------------------------------------------------- /src/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/ast.ml -------------------------------------------------------------------------------- /src/common_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/common_types.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/dune -------------------------------------------------------------------------------- /src/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/expr.ml -------------------------------------------------------------------------------- /src/generate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/generate.ml -------------------------------------------------------------------------------- /src/generate.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/generate.mli -------------------------------------------------------------------------------- /src/json_value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/json_value.ml -------------------------------------------------------------------------------- /src/json_value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/json_value.mli -------------------------------------------------------------------------------- /src/lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/lexer.mli -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/loc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/loc.ml -------------------------------------------------------------------------------- /src/loc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/loc.mli -------------------------------------------------------------------------------- /src/lp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/lp.ml -------------------------------------------------------------------------------- /src/lp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/lp.mli -------------------------------------------------------------------------------- /src/optal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/optal.ml -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/value.ml -------------------------------------------------------------------------------- /src/value.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/src/value.mli -------------------------------------------------------------------------------- /test/array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/array.json -------------------------------------------------------------------------------- /test/blending.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/blending.json -------------------------------------------------------------------------------- /test/blending.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/blending.opl -------------------------------------------------------------------------------- /test/bool.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/bool.opl -------------------------------------------------------------------------------- /test/bools.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/bools.opl -------------------------------------------------------------------------------- /test/comments.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/comments.opl -------------------------------------------------------------------------------- /test/couples.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/couples.opl -------------------------------------------------------------------------------- /test/decl_couple.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/decl_couple.opl -------------------------------------------------------------------------------- /test/forall_forall.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/forall_forall.opl -------------------------------------------------------------------------------- /test/forall_forall2.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/forall_forall2.opl -------------------------------------------------------------------------------- /test/gas.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/gas.json -------------------------------------------------------------------------------- /test/gas.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/gas.opl -------------------------------------------------------------------------------- /test/gas_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/gas_array.json -------------------------------------------------------------------------------- /test/gas_array.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/gas_array.opl -------------------------------------------------------------------------------- /test/gas_obj_indexOf.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/gas_obj_indexOf.opl -------------------------------------------------------------------------------- /test/graph.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/graph.json -------------------------------------------------------------------------------- /test/graph_correct.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/graph_correct.opl -------------------------------------------------------------------------------- /test/graph_dist_bool.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/graph_dist_bool.opl -------------------------------------------------------------------------------- /test/graph_distance.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/graph_distance.opl -------------------------------------------------------------------------------- /test/graph_one_constraint.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/graph_one_constraint.opl -------------------------------------------------------------------------------- /test/knapsack.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/knapsack.json -------------------------------------------------------------------------------- /test/knapsack.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/knapsack.opl -------------------------------------------------------------------------------- /test/mini.opl: -------------------------------------------------------------------------------- 1 | minimize 1 2 | constraints {} 3 | -------------------------------------------------------------------------------- /test/multi_index.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/multi_index.opl -------------------------------------------------------------------------------- /test/obj_index.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/obj_index.opl -------------------------------------------------------------------------------- /test/pattern.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/pattern.json -------------------------------------------------------------------------------- /test/pattern.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/pattern.opl -------------------------------------------------------------------------------- /test/sum_pattern.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/sum_pattern.json -------------------------------------------------------------------------------- /test/sum_pattern.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/sum_pattern.opl -------------------------------------------------------------------------------- /test/volsay.opl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OCamlPro/optal/HEAD/test/volsay.opl --------------------------------------------------------------------------------