CoLiS

GitHub organisation for the ANR project ANR-15-CE25-0001

Pinned

morbig Public
A Static Parser for POSIX Shell

OCaml 173 8 23 5 Updated May 31, 2022
morsmall Public
A concise AST for POSIX shell

OCaml 10 GPL-3.0 4 5 1 Updated Oct 29, 2021
colis-constraints Public
Constraints backend for the CoLiS Symbolic Interpreter

OCaml 1 0 0 0 Updated Sep 17, 2021
colis-batch Public
A tool to run colis-language on packages and corpora of packages

OCaml 0 0 2 0 Updated Sep 17, 2021
colis-language Public
A symbolic analyser for shell scripts.

OCaml 19 1 11 1 Updated Sep 17, 2021
colis-model Public
Model-based and specification based testing of Colis

0 0 0 0 Updated Jun 14, 2021
lintshell Public
A user-extensible lint for POSIX shell

OCaml 11 0 4 0 Updated Sep 16, 2019
ocaml-libdpkg Public
A wrapper around libdpkg for OCaml.

OCaml 0 0 1 0 Updated Apr 10, 2019
shstats Public
A statistical analyzer for corpora of shell scripts

OCaml 3 GPL-3.0 0 7 0 Updated Apr 9, 2019
colis-covering-report Public
Reports for CoLiS-batch

HTML 0 0 0 0 Updated Feb 4, 2019

Loading…

Loading…