CoLiS
GitHub organisation for the ANR project ANR-15-CE25-0001
Inria Lille, Inria Saclay, Université Paris-Diderot
Pinned Repositories
colis-batch
A tool to run colis-language on packages and corpora of packages
colis-constraints
Constraints backend for the CoLiS Symbolic Interpreter
colis-language
A symbolic analyser for shell scripts.
colis-model
Model-based and specification based testing of Colis
ftwu
An implementation for feature trees with updates
lintshell
A user-extensible lint for POSIX shell
morbig
A static parser for POSIX Shell
morsmall
A concise AST for POSIX shell
shstats
A statistical analyzer for corpora of shell scripts
sourcil-poc
CoLiS's Repositories
colis-anr/morbig
A static parser for POSIX Shell
colis-anr/colis-language
A symbolic analyser for shell scripts.
colis-anr/lintshell
A user-extensible lint for POSIX shell
colis-anr/morsmall
A concise AST for POSIX shell
colis-anr/shstats
A statistical analyzer for corpora of shell scripts
colis-anr/ftwu
An implementation for feature trees with updates
colis-anr/sourcil-poc
colis-anr/colis-constraints
Constraints backend for the CoLiS Symbolic Interpreter
colis-anr/colis-batch
A tool to run colis-language on packages and corpora of packages
colis-anr/colis-covering-report
Reports for CoLiS-batch
colis-anr/colis-model
Model-based and specification based testing of Colis
colis-anr/ocaml-libdpkg
A wrapper around libdpkg for OCaml.