seal5.dependencies

Seal5 dependencies.

Functions

pick_coredsl2llvm_ref(ref, llvm_version)

Classes

CDSL2LLVMDependency([clone_url, ref, ...])
Dependency()
GitDependency(name, clone_url[, ref, recursive])
M2ISARDependency([clone_url, ref])