├── .gitignore ├── .travis.yml ├── Dockerfile ├── Makefile ├── NOTES.org ├── README.md ├── colis-language.opam ├── dune-project ├── examples └── loop-symbolic ├── simple.fs ├── src ├── colis.ml ├── colis.mli ├── colis_cmd.ml ├── concrete │ ├── auxiliaries.mlw │ ├── auxiliaries │ │ ├── why3session.xml │ │ └── why3shapes.gz │ ├── driver.drv │ ├── env.ml │ ├── env.mli │ ├── interpreter.mlw │ ├── interpreter │ │ ├── why3session.xml │ │ └── why3shapes.gz │ ├── pathnames.ml │ ├── pathnames.mli │ ├── semantics.mlw │ ├── semantics │ │ ├── why3session.xml │ │ └── why3shapes.gz │ └── utilities.ml ├── constraints │ ├── dune │ └── model │ │ ├── BUGS.md │ │ ├── CHANGES.md │ │ ├── README.md │ │ ├── cmd.dat │ │ ├── common.ml │ │ ├── common.mli │ │ ├── convert.ml │ │ ├── doc │ │ ├── Makefile │ │ ├── README.md │ │ ├── abstract.tex │ │ ├── code.tex │ │ ├── colis.bib │ │ ├── conclusion.tex │ │ ├── constraints.tex │ │ ├── introduction.tex │ │ ├── logic-FTL.tex │ │ ├── main.tex │ │ ├── packages.tex │ │ ├── preliminaries.tex │ │ ├── spec-POSIX.tex │ │ ├── synthesis.tex │ │ ├── testing.tex │ │ └── xperiments.tex │ │ ├── dune │ │ ├── engine.ml │ │ ├── file_system.ml │ │ ├── inode.ml │ │ ├── mutate.ml │ │ ├── phases.ml │ │ ├── print.ml │ │ ├── process_atom.ml │ │ └── test │ │ ├── Test_cmd.py │ │ ├── cmd.dat │ │ ├── model_test_cases.txt │ │ └── sample_report.dat ├── dune ├── internals │ ├── colis_internals.ml │ ├── dune │ ├── errors.ml │ ├── extList.ml │ └── options.ml ├── language │ ├── colisLexer.mll │ ├── colisParser.mly │ ├── driver.drv │ ├── dune │ ├── embellisher.ml │ ├── fromShell.ml │ ├── syntax.mlw │ ├── syntaxHelpers.ml │ ├── toColis.ml │ └── toColis.mli └── symbolic │ ├── collection.mlw │ ├── collection │ ├── why3session.xml │ └── why3shapes.gz │ ├── driver.drv │ ├── filesystemSpec.ml │ ├── filesystemSpec.mli │ ├── symbolicInterpreter.mlw │ ├── symbolicInterpreter │ ├── why3session.xml │ └── why3shapes.gz │ ├── symbolicUtility.ml │ ├── symbolicUtility.mli │ └── utilities │ ├── README.md │ ├── basics.ml │ ├── colisInternalUnsafeTouch.ml │ ├── cp.ml │ ├── cp.mli │ ├── dpkg.ml │ ├── dpkgMaintscriptHelper.ml │ ├── dpkgMaintscriptHelper.mli │ ├── emacsPackage.ml │ ├── emacsPackage.mli │ ├── mkdir.ml │ ├── mkdir.mli │ ├── mv.ml │ ├── mv.mli │ ├── rm.ml │ ├── rm.mli │ ├── test.ml │ ├── test.mli │ ├── touch.ml │ ├── touch.mli │ ├── updateAlternatives.ml │ ├── updateMenus.ml │ ├── updateMenus.mli │ ├── which.ml │ └── which.mli └── tests ├── args.cls ├── args.meta ├── args.sh ├── case.cls ├── case.meta ├── case.sh ├── command-not-found.cls ├── command-not-found.meta ├── command-not-found.oracle ├── dune ├── export.cls ├── export.meta ├── export.sh ├── false-for.cls ├── false-for.meta ├── false-for.sh ├── false-while.cls ├── false-while.meta ├── false-while.sh ├── fatal-deep-under-if.cls ├── fatal-deep-under-if.meta ├── fatal-in-function-call.cls ├── fatal-in-function-call.meta ├── for-empty.cls ├── for-empty.meta ├── for-empty.sh ├── for-false.cls ├── for-false.meta ├── for-false.sh ├── for.cls ├── for.meta ├── for.sh ├── function-intertwined.meta ├── function-intertwined.sh ├── function-not-exit.cls ├── function-not-exit.meta ├── function-not-exit.sh ├── function-not-found.cls ├── function-not-found.meta ├── function-not-return.cls ├── function-not-return.meta ├── function-not-return.sh ├── function.cls ├── function.meta ├── function.sh ├── grep-none.cls ├── grep-none.meta ├── hello2.cls ├── hello2.meta ├── hello2.sh ├── if-false-true.cls ├── if-false-true.meta ├── if-false-true.sh ├── if.cls ├── if.meta ├── if.sh ├── no-output.cls ├── no-output.meta ├── no-output.sh ├── not-exit-previous-false.cls ├── not-exit-previous-false.meta ├── not-exit-previous-false.sh ├── not.cls ├── not.meta ├── not.sh ├── pipe-ignore-first-behaviour.cls ├── pipe-ignore-first-behaviour.meta ├── pipe-ignore-first-behaviour.sh ├── pipe-var.cls ├── pipe-var.meta ├── pipe-var.sh ├── pipe.cls ├── pipe.meta ├── pipe.sh ├── rm.meta ├── rm.sh ├── runner ├── common.ml ├── dune ├── engine.ml ├── metaFile.ml ├── options.ml └── run_tests.ml ├── shift.cls ├── shift.meta ├── stdout.cls ├── stdout.meta ├── stdout.sh ├── str-subshell.meta ├── str-subshell.sh ├── string-lists.cls ├── string-lists.meta ├── string-lists.sh ├── strings.cls ├── strings.meta ├── strings.sh ├── symbolic ├── assign.sh ├── error-failure.sh ├── failure.sh ├── foreach.sh ├── not.sh ├── partial-failure.sh ├── pipe.sh ├── subshell.sh ├── utility.sh └── while.sh ├── test_connectives.meta ├── test_connectives.sh ├── test_connectives2.meta ├── test_connectives2.sh ├── test_d.meta ├── test_d.sh ├── test_e.meta ├── test_e.sh ├── test_empty.meta ├── test_empty.sh ├── test_f.meta ├── test_f.sh ├── test_n_z.meta ├── test_n_z.sh ├── test_string_eq.meta ├── test_string_eq.sh ├── test_x.meta ├── test_x.sh ├── update_alternatives.meta ├── update_alternatives.sh ├── var-in-subshell.cls ├── var-in-subshell.meta ├── var-in-subshell.sh ├── variables.cls ├── variables.meta ├── variables.sh ├── which.meta ├── which.sh ├── which_combinatoric_explosion.meta └── which_combinatoric_explosion.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/.travis.yml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/Dockerfile -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/Makefile -------------------------------------------------------------------------------- /NOTES.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/NOTES.org -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/README.md -------------------------------------------------------------------------------- /colis-language.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/colis-language.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/dune-project -------------------------------------------------------------------------------- /examples/loop-symbolic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/examples/loop-symbolic -------------------------------------------------------------------------------- /simple.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/simple.fs -------------------------------------------------------------------------------- /src/colis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/colis.ml -------------------------------------------------------------------------------- /src/colis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/colis.mli -------------------------------------------------------------------------------- /src/colis_cmd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/colis_cmd.ml -------------------------------------------------------------------------------- /src/concrete/auxiliaries.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/auxiliaries.mlw -------------------------------------------------------------------------------- /src/concrete/auxiliaries/why3session.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/auxiliaries/why3session.xml -------------------------------------------------------------------------------- /src/concrete/auxiliaries/why3shapes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/auxiliaries/why3shapes.gz -------------------------------------------------------------------------------- /src/concrete/driver.drv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/driver.drv -------------------------------------------------------------------------------- /src/concrete/env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/env.ml -------------------------------------------------------------------------------- /src/concrete/env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/env.mli -------------------------------------------------------------------------------- /src/concrete/interpreter.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/interpreter.mlw -------------------------------------------------------------------------------- /src/concrete/interpreter/why3session.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/interpreter/why3session.xml -------------------------------------------------------------------------------- /src/concrete/interpreter/why3shapes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/interpreter/why3shapes.gz -------------------------------------------------------------------------------- /src/concrete/pathnames.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/pathnames.ml -------------------------------------------------------------------------------- /src/concrete/pathnames.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/pathnames.mli -------------------------------------------------------------------------------- /src/concrete/semantics.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/semantics.mlw -------------------------------------------------------------------------------- /src/concrete/semantics/why3session.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/semantics/why3session.xml -------------------------------------------------------------------------------- /src/concrete/semantics/why3shapes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/semantics/why3shapes.gz -------------------------------------------------------------------------------- /src/concrete/utilities.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/concrete/utilities.ml -------------------------------------------------------------------------------- /src/constraints/dune: -------------------------------------------------------------------------------- 1 | (include_subdirs no) 2 | -------------------------------------------------------------------------------- /src/constraints/model/BUGS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/BUGS.md -------------------------------------------------------------------------------- /src/constraints/model/CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/CHANGES.md -------------------------------------------------------------------------------- /src/constraints/model/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/README.md -------------------------------------------------------------------------------- /src/constraints/model/cmd.dat: -------------------------------------------------------------------------------- 1 | test -e stty/gunzip/touch 2 | -------------------------------------------------------------------------------- /src/constraints/model/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/common.ml -------------------------------------------------------------------------------- /src/constraints/model/common.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/common.mli -------------------------------------------------------------------------------- /src/constraints/model/convert.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/convert.ml -------------------------------------------------------------------------------- /src/constraints/model/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/Makefile -------------------------------------------------------------------------------- /src/constraints/model/doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/README.md -------------------------------------------------------------------------------- /src/constraints/model/doc/abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/abstract.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/code.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/code.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/colis.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/colis.bib -------------------------------------------------------------------------------- /src/constraints/model/doc/conclusion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/conclusion.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/constraints.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/constraints.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/introduction.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/logic-FTL.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/logic-FTL.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/main.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/packages.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/packages.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/preliminaries.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/preliminaries.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/spec-POSIX.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/spec-POSIX.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/synthesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/synthesis.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/testing.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/testing.tex -------------------------------------------------------------------------------- /src/constraints/model/doc/xperiments.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/doc/xperiments.tex -------------------------------------------------------------------------------- /src/constraints/model/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/dune -------------------------------------------------------------------------------- /src/constraints/model/engine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/engine.ml -------------------------------------------------------------------------------- /src/constraints/model/file_system.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/file_system.ml -------------------------------------------------------------------------------- /src/constraints/model/inode.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/inode.ml -------------------------------------------------------------------------------- /src/constraints/model/mutate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/mutate.ml -------------------------------------------------------------------------------- /src/constraints/model/phases.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/phases.ml -------------------------------------------------------------------------------- /src/constraints/model/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/print.ml -------------------------------------------------------------------------------- /src/constraints/model/process_atom.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/process_atom.ml -------------------------------------------------------------------------------- /src/constraints/model/test/Test_cmd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/test/Test_cmd.py -------------------------------------------------------------------------------- /src/constraints/model/test/cmd.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/test/cmd.dat -------------------------------------------------------------------------------- /src/constraints/model/test/model_test_cases.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/test/model_test_cases.txt -------------------------------------------------------------------------------- /src/constraints/model/test/sample_report.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/constraints/model/test/sample_report.dat -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/dune -------------------------------------------------------------------------------- /src/internals/colis_internals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/internals/colis_internals.ml -------------------------------------------------------------------------------- /src/internals/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/internals/dune -------------------------------------------------------------------------------- /src/internals/errors.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/internals/errors.ml -------------------------------------------------------------------------------- /src/internals/extList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/internals/extList.ml -------------------------------------------------------------------------------- /src/internals/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/internals/options.ml -------------------------------------------------------------------------------- /src/language/colisLexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/colisLexer.mll -------------------------------------------------------------------------------- /src/language/colisParser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/colisParser.mly -------------------------------------------------------------------------------- /src/language/driver.drv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/driver.drv -------------------------------------------------------------------------------- /src/language/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/dune -------------------------------------------------------------------------------- /src/language/embellisher.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/embellisher.ml -------------------------------------------------------------------------------- /src/language/fromShell.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/fromShell.ml -------------------------------------------------------------------------------- /src/language/syntax.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/syntax.mlw -------------------------------------------------------------------------------- /src/language/syntaxHelpers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/syntaxHelpers.ml -------------------------------------------------------------------------------- /src/language/toColis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/toColis.ml -------------------------------------------------------------------------------- /src/language/toColis.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/language/toColis.mli -------------------------------------------------------------------------------- /src/symbolic/collection.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/collection.mlw -------------------------------------------------------------------------------- /src/symbolic/collection/why3session.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/collection/why3session.xml -------------------------------------------------------------------------------- /src/symbolic/collection/why3shapes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/collection/why3shapes.gz -------------------------------------------------------------------------------- /src/symbolic/driver.drv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/driver.drv -------------------------------------------------------------------------------- /src/symbolic/filesystemSpec.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/filesystemSpec.ml -------------------------------------------------------------------------------- /src/symbolic/filesystemSpec.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/filesystemSpec.mli -------------------------------------------------------------------------------- /src/symbolic/symbolicInterpreter.mlw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/symbolicInterpreter.mlw -------------------------------------------------------------------------------- /src/symbolic/symbolicInterpreter/why3session.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/symbolicInterpreter/why3session.xml -------------------------------------------------------------------------------- /src/symbolic/symbolicInterpreter/why3shapes.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/symbolicInterpreter/why3shapes.gz -------------------------------------------------------------------------------- /src/symbolic/symbolicUtility.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/symbolicUtility.ml -------------------------------------------------------------------------------- /src/symbolic/symbolicUtility.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/symbolicUtility.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/README.md -------------------------------------------------------------------------------- /src/symbolic/utilities/basics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/basics.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/colisInternalUnsafeTouch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/colisInternalUnsafeTouch.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/cp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/cp.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/cp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/cp.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/dpkg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/dpkg.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/dpkgMaintscriptHelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/dpkgMaintscriptHelper.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/dpkgMaintscriptHelper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/dpkgMaintscriptHelper.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/emacsPackage.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/emacsPackage.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/emacsPackage.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/emacsPackage.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/mkdir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/mkdir.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/mkdir.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/mkdir.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/mv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/mv.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/mv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/mv.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/rm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/rm.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/rm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/rm.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/test.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/test.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/test.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/touch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/touch.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/touch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/touch.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/updateAlternatives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/updateAlternatives.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/updateMenus.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/updateMenus.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/updateMenus.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/updateMenus.mli -------------------------------------------------------------------------------- /src/symbolic/utilities/which.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/which.ml -------------------------------------------------------------------------------- /src/symbolic/utilities/which.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/src/symbolic/utilities/which.mli -------------------------------------------------------------------------------- /tests/args.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/args.cls -------------------------------------------------------------------------------- /tests/args.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/args.meta -------------------------------------------------------------------------------- /tests/args.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/args.sh -------------------------------------------------------------------------------- /tests/case.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/case.cls -------------------------------------------------------------------------------- /tests/case.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/case.meta -------------------------------------------------------------------------------- /tests/case.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/case.sh -------------------------------------------------------------------------------- /tests/command-not-found.cls: -------------------------------------------------------------------------------- 1 | begin 2 | foo 3 | end 4 | -------------------------------------------------------------------------------- /tests/command-not-found.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/command-not-found.meta -------------------------------------------------------------------------------- /tests/command-not-found.oracle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/command-not-found.oracle -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/export.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/export.cls -------------------------------------------------------------------------------- /tests/export.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/export.meta -------------------------------------------------------------------------------- /tests/export.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/export.sh -------------------------------------------------------------------------------- /tests/false-for.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-for.cls -------------------------------------------------------------------------------- /tests/false-for.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-for.meta -------------------------------------------------------------------------------- /tests/false-for.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-for.sh -------------------------------------------------------------------------------- /tests/false-while.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-while.cls -------------------------------------------------------------------------------- /tests/false-while.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-while.meta -------------------------------------------------------------------------------- /tests/false-while.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/false-while.sh -------------------------------------------------------------------------------- /tests/fatal-deep-under-if.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/fatal-deep-under-if.cls -------------------------------------------------------------------------------- /tests/fatal-deep-under-if.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/fatal-deep-under-if.meta -------------------------------------------------------------------------------- /tests/fatal-in-function-call.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/fatal-in-function-call.cls -------------------------------------------------------------------------------- /tests/fatal-in-function-call.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/fatal-in-function-call.meta -------------------------------------------------------------------------------- /tests/for-empty.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for-empty.cls -------------------------------------------------------------------------------- /tests/for-empty.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for-empty.meta -------------------------------------------------------------------------------- /tests/for-empty.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for-empty.sh -------------------------------------------------------------------------------- /tests/for-false.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for-false.cls -------------------------------------------------------------------------------- /tests/for-false.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for-false.meta -------------------------------------------------------------------------------- /tests/for-false.sh: -------------------------------------------------------------------------------- 1 | for x in 'x'; do 2 | ! true 3 | done 4 | exit $? 5 | -------------------------------------------------------------------------------- /tests/for.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for.cls -------------------------------------------------------------------------------- /tests/for.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for.meta -------------------------------------------------------------------------------- /tests/for.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/for.sh -------------------------------------------------------------------------------- /tests/function-intertwined.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-intertwined.meta -------------------------------------------------------------------------------- /tests/function-intertwined.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-intertwined.sh -------------------------------------------------------------------------------- /tests/function-not-exit.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-exit.cls -------------------------------------------------------------------------------- /tests/function-not-exit.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-exit.meta -------------------------------------------------------------------------------- /tests/function-not-exit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-exit.sh -------------------------------------------------------------------------------- /tests/function-not-found.cls: -------------------------------------------------------------------------------- 1 | begin 2 | call f 3 | end 4 | -------------------------------------------------------------------------------- /tests/function-not-found.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-found.meta -------------------------------------------------------------------------------- /tests/function-not-return.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-return.cls -------------------------------------------------------------------------------- /tests/function-not-return.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-return.meta -------------------------------------------------------------------------------- /tests/function-not-return.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function-not-return.sh -------------------------------------------------------------------------------- /tests/function.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function.cls -------------------------------------------------------------------------------- /tests/function.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function.meta -------------------------------------------------------------------------------- /tests/function.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/function.sh -------------------------------------------------------------------------------- /tests/grep-none.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/grep-none.cls -------------------------------------------------------------------------------- /tests/grep-none.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/grep-none.meta -------------------------------------------------------------------------------- /tests/hello2.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/hello2.cls -------------------------------------------------------------------------------- /tests/hello2.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/hello2.meta -------------------------------------------------------------------------------- /tests/hello2.sh: -------------------------------------------------------------------------------- 1 | x=lo 2 | x=hel$x' world' 3 | echo $x 4 | -------------------------------------------------------------------------------- /tests/if-false-true.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if-false-true.cls -------------------------------------------------------------------------------- /tests/if-false-true.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if-false-true.meta -------------------------------------------------------------------------------- /tests/if-false-true.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if-false-true.sh -------------------------------------------------------------------------------- /tests/if.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if.cls -------------------------------------------------------------------------------- /tests/if.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if.meta -------------------------------------------------------------------------------- /tests/if.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/if.sh -------------------------------------------------------------------------------- /tests/no-output.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/no-output.cls -------------------------------------------------------------------------------- /tests/no-output.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/no-output.meta -------------------------------------------------------------------------------- /tests/no-output.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/no-output.sh -------------------------------------------------------------------------------- /tests/not-exit-previous-false.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/not-exit-previous-false.cls -------------------------------------------------------------------------------- /tests/not-exit-previous-false.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/not-exit-previous-false.meta -------------------------------------------------------------------------------- /tests/not-exit-previous-false.sh: -------------------------------------------------------------------------------- 1 | ! { false; exit $?; } 2 | -------------------------------------------------------------------------------- /tests/not.cls: -------------------------------------------------------------------------------- 1 | begin 2 | not false; 3 | echo ['here'] 4 | end 5 | -------------------------------------------------------------------------------- /tests/not.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/not.meta -------------------------------------------------------------------------------- /tests/not.sh: -------------------------------------------------------------------------------- 1 | ! false 2 | echo here 3 | -------------------------------------------------------------------------------- /tests/pipe-ignore-first-behaviour.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-ignore-first-behaviour.cls -------------------------------------------------------------------------------- /tests/pipe-ignore-first-behaviour.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-ignore-first-behaviour.meta -------------------------------------------------------------------------------- /tests/pipe-ignore-first-behaviour.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-ignore-first-behaviour.sh -------------------------------------------------------------------------------- /tests/pipe-var.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-var.cls -------------------------------------------------------------------------------- /tests/pipe-var.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-var.meta -------------------------------------------------------------------------------- /tests/pipe-var.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe-var.sh -------------------------------------------------------------------------------- /tests/pipe.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe.cls -------------------------------------------------------------------------------- /tests/pipe.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe.meta -------------------------------------------------------------------------------- /tests/pipe.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/pipe.sh -------------------------------------------------------------------------------- /tests/rm.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/rm.meta -------------------------------------------------------------------------------- /tests/rm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/rm.sh -------------------------------------------------------------------------------- /tests/runner/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/common.ml -------------------------------------------------------------------------------- /tests/runner/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/dune -------------------------------------------------------------------------------- /tests/runner/engine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/engine.ml -------------------------------------------------------------------------------- /tests/runner/metaFile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/metaFile.ml -------------------------------------------------------------------------------- /tests/runner/options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/options.ml -------------------------------------------------------------------------------- /tests/runner/run_tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/runner/run_tests.ml -------------------------------------------------------------------------------- /tests/shift.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/shift.cls -------------------------------------------------------------------------------- /tests/shift.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/shift.meta -------------------------------------------------------------------------------- /tests/stdout.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/stdout.cls -------------------------------------------------------------------------------- /tests/stdout.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/stdout.meta -------------------------------------------------------------------------------- /tests/stdout.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/stdout.sh -------------------------------------------------------------------------------- /tests/str-subshell.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/str-subshell.meta -------------------------------------------------------------------------------- /tests/str-subshell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/str-subshell.sh -------------------------------------------------------------------------------- /tests/string-lists.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/string-lists.cls -------------------------------------------------------------------------------- /tests/string-lists.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/string-lists.meta -------------------------------------------------------------------------------- /tests/string-lists.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/string-lists.sh -------------------------------------------------------------------------------- /tests/strings.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/strings.cls -------------------------------------------------------------------------------- /tests/strings.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/strings.meta -------------------------------------------------------------------------------- /tests/strings.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/strings.sh -------------------------------------------------------------------------------- /tests/symbolic/assign.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/assign.sh -------------------------------------------------------------------------------- /tests/symbolic/error-failure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/error-failure.sh -------------------------------------------------------------------------------- /tests/symbolic/failure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/failure.sh -------------------------------------------------------------------------------- /tests/symbolic/foreach.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/foreach.sh -------------------------------------------------------------------------------- /tests/symbolic/not.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/not.sh -------------------------------------------------------------------------------- /tests/symbolic/partial-failure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/partial-failure.sh -------------------------------------------------------------------------------- /tests/symbolic/pipe.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/pipe.sh -------------------------------------------------------------------------------- /tests/symbolic/subshell.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/subshell.sh -------------------------------------------------------------------------------- /tests/symbolic/utility.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/utility.sh -------------------------------------------------------------------------------- /tests/symbolic/while.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/symbolic/while.sh -------------------------------------------------------------------------------- /tests/test_connectives.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_connectives.meta -------------------------------------------------------------------------------- /tests/test_connectives.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_connectives.sh -------------------------------------------------------------------------------- /tests/test_connectives2.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_connectives2.meta -------------------------------------------------------------------------------- /tests/test_connectives2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_connectives2.sh -------------------------------------------------------------------------------- /tests/test_d.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_d.meta -------------------------------------------------------------------------------- /tests/test_d.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_d.sh -------------------------------------------------------------------------------- /tests/test_e.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_e.meta -------------------------------------------------------------------------------- /tests/test_e.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_e.sh -------------------------------------------------------------------------------- /tests/test_empty.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_empty.meta -------------------------------------------------------------------------------- /tests/test_empty.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_empty.sh -------------------------------------------------------------------------------- /tests/test_f.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_f.meta -------------------------------------------------------------------------------- /tests/test_f.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_f.sh -------------------------------------------------------------------------------- /tests/test_n_z.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_n_z.meta -------------------------------------------------------------------------------- /tests/test_n_z.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_n_z.sh -------------------------------------------------------------------------------- /tests/test_string_eq.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_string_eq.meta -------------------------------------------------------------------------------- /tests/test_string_eq.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_string_eq.sh -------------------------------------------------------------------------------- /tests/test_x.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_x.meta -------------------------------------------------------------------------------- /tests/test_x.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/test_x.sh -------------------------------------------------------------------------------- /tests/update_alternatives.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/update_alternatives.meta -------------------------------------------------------------------------------- /tests/update_alternatives.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/update_alternatives.sh -------------------------------------------------------------------------------- /tests/var-in-subshell.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/var-in-subshell.cls -------------------------------------------------------------------------------- /tests/var-in-subshell.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/var-in-subshell.meta -------------------------------------------------------------------------------- /tests/var-in-subshell.sh: -------------------------------------------------------------------------------- 1 | x=A 2 | ( x=B ) 3 | echo $x 4 | -------------------------------------------------------------------------------- /tests/variables.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/variables.cls -------------------------------------------------------------------------------- /tests/variables.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/variables.meta -------------------------------------------------------------------------------- /tests/variables.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/variables.sh -------------------------------------------------------------------------------- /tests/which.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/which.meta -------------------------------------------------------------------------------- /tests/which.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/which.sh -------------------------------------------------------------------------------- /tests/which_combinatoric_explosion.meta: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/which_combinatoric_explosion.meta -------------------------------------------------------------------------------- /tests/which_combinatoric_explosion.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/colis-anr/colis-language/HEAD/tests/which_combinatoric_explosion.sh --------------------------------------------------------------------------------