├── .gitignore ├── .merlin ├── LICENSE ├── Makefile ├── README.md ├── _oasis ├── _tags ├── configure ├── myocamlbuild.ml ├── scripts └── generate-bindings.hs ├── setup.ml ├── src-tests ├── buildSet.ml ├── hlTest.ml └── setops.ml └── src ├── core ├── islAff_Core.ml ├── islBasicMap_Core.ml ├── islBasicSet_Core.ml ├── islConstraint_Core.ml ├── islCtx.ml ├── islErrors.ml ├── islId_Core.ml ├── islLocalSpace_Core.ml ├── islMap_Core.ml ├── islMemory.ml ├── islSet_Core.ml ├── islSpace_Core.ml ├── islUnionMap_Core.ml ├── islUnionSet_Core.ml ├── islValue_Core.ml ├── types.ml └── types.mli ├── ctx.ml ├── gen ├── islAff_In.ml ├── islAff_sigs.ml ├── islBasicMap_In.ml ├── islBasicMap_sigs.ml ├── islBasicSet_In.ml ├── islBasicSet_sigs.ml ├── islConstraint_In.ml ├── islConstraint_sigs.ml ├── islId_In.ml ├── islId_sigs.ml ├── islLocalSpace_In.ml ├── islLocalSpace_sigs.ml ├── islMap_In.ml ├── islMap_sigs.ml ├── islSet_In.ml ├── islSet_sigs.ml ├── islSpace_In.ml ├── islSpace_sigs.ml ├── islUnionMap_In.ml ├── islUnionMap_sigs.ml ├── islUnionSet_In.ml ├── islUnionSet_sigs.ml ├── islValue_In.ml └── islValue_sigs.ml ├── globalTypes.ml ├── isl.ml ├── isl.mli ├── islBasicMap.ml ├── islSpace.ml ├── main.ml ├── ocaml-isl.mldylib ├── ocaml-isl.mllib └── sigs ├── sig_Context.ml └── sig_Types.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/.merlin -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/README.md -------------------------------------------------------------------------------- /_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/_oasis -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/_tags -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/configure -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /scripts/generate-bindings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/scripts/generate-bindings.hs -------------------------------------------------------------------------------- /setup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/setup.ml -------------------------------------------------------------------------------- /src-tests/buildSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src-tests/buildSet.ml -------------------------------------------------------------------------------- /src-tests/hlTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src-tests/hlTest.ml -------------------------------------------------------------------------------- /src-tests/setops.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src-tests/setops.ml -------------------------------------------------------------------------------- /src/core/islAff_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islAff_Core.ml -------------------------------------------------------------------------------- /src/core/islBasicMap_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islBasicMap_Core.ml -------------------------------------------------------------------------------- /src/core/islBasicSet_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islBasicSet_Core.ml -------------------------------------------------------------------------------- /src/core/islConstraint_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islConstraint_Core.ml -------------------------------------------------------------------------------- /src/core/islCtx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islCtx.ml -------------------------------------------------------------------------------- /src/core/islErrors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islErrors.ml -------------------------------------------------------------------------------- /src/core/islId_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islId_Core.ml -------------------------------------------------------------------------------- /src/core/islLocalSpace_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islLocalSpace_Core.ml -------------------------------------------------------------------------------- /src/core/islMap_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islMap_Core.ml -------------------------------------------------------------------------------- /src/core/islMemory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islMemory.ml -------------------------------------------------------------------------------- /src/core/islSet_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islSet_Core.ml -------------------------------------------------------------------------------- /src/core/islSpace_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islSpace_Core.ml -------------------------------------------------------------------------------- /src/core/islUnionMap_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islUnionMap_Core.ml -------------------------------------------------------------------------------- /src/core/islUnionSet_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islUnionSet_Core.ml -------------------------------------------------------------------------------- /src/core/islValue_Core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/islValue_Core.ml -------------------------------------------------------------------------------- /src/core/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/types.ml -------------------------------------------------------------------------------- /src/core/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/core/types.mli -------------------------------------------------------------------------------- /src/ctx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/ctx.ml -------------------------------------------------------------------------------- /src/gen/islAff_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islAff_In.ml -------------------------------------------------------------------------------- /src/gen/islAff_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islAff_sigs.ml -------------------------------------------------------------------------------- /src/gen/islBasicMap_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islBasicMap_In.ml -------------------------------------------------------------------------------- /src/gen/islBasicMap_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islBasicMap_sigs.ml -------------------------------------------------------------------------------- /src/gen/islBasicSet_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islBasicSet_In.ml -------------------------------------------------------------------------------- /src/gen/islBasicSet_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islBasicSet_sigs.ml -------------------------------------------------------------------------------- /src/gen/islConstraint_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islConstraint_In.ml -------------------------------------------------------------------------------- /src/gen/islConstraint_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islConstraint_sigs.ml -------------------------------------------------------------------------------- /src/gen/islId_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islId_In.ml -------------------------------------------------------------------------------- /src/gen/islId_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islId_sigs.ml -------------------------------------------------------------------------------- /src/gen/islLocalSpace_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islLocalSpace_In.ml -------------------------------------------------------------------------------- /src/gen/islLocalSpace_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islLocalSpace_sigs.ml -------------------------------------------------------------------------------- /src/gen/islMap_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islMap_In.ml -------------------------------------------------------------------------------- /src/gen/islMap_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islMap_sigs.ml -------------------------------------------------------------------------------- /src/gen/islSet_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islSet_In.ml -------------------------------------------------------------------------------- /src/gen/islSet_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islSet_sigs.ml -------------------------------------------------------------------------------- /src/gen/islSpace_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islSpace_In.ml -------------------------------------------------------------------------------- /src/gen/islSpace_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islSpace_sigs.ml -------------------------------------------------------------------------------- /src/gen/islUnionMap_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islUnionMap_In.ml -------------------------------------------------------------------------------- /src/gen/islUnionMap_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islUnionMap_sigs.ml -------------------------------------------------------------------------------- /src/gen/islUnionSet_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islUnionSet_In.ml -------------------------------------------------------------------------------- /src/gen/islUnionSet_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islUnionSet_sigs.ml -------------------------------------------------------------------------------- /src/gen/islValue_In.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islValue_In.ml -------------------------------------------------------------------------------- /src/gen/islValue_sigs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/gen/islValue_sigs.ml -------------------------------------------------------------------------------- /src/globalTypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/globalTypes.ml -------------------------------------------------------------------------------- /src/isl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/isl.ml -------------------------------------------------------------------------------- /src/isl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/isl.mli -------------------------------------------------------------------------------- /src/islBasicMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/islBasicMap.ml -------------------------------------------------------------------------------- /src/islSpace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/islSpace.ml -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ocaml-isl.mldylib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/ocaml-isl.mldylib -------------------------------------------------------------------------------- /src/ocaml-isl.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/ocaml-isl.mllib -------------------------------------------------------------------------------- /src/sigs/sig_Context.ml: -------------------------------------------------------------------------------- 1 | module type S = sig 2 | val ctx : Ctx.t 3 | end 4 | -------------------------------------------------------------------------------- /src/sigs/sig_Types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gdeest/ocaml-isl/HEAD/src/sigs/sig_Types.ml --------------------------------------------------------------------------------