seal5.tools

Tools module for seal5.

Modules

cdsl2llvm	PatternGen utils for seal5.
cmake	Cmake utils for seal5.
git	Git utils for seal5.
inject_patches	Patch utils for seal5.
llvm	LLVM utils for seal5.
m2isar	Tools module for seal5.