seal5.tools.inject_patches

Patch utils for seal5.

Functions

analyze_diff(repo, base[, cur])
generate_patch(index_file[, llvm_dir, ...])	Generate patch contents based on index file.
main()	Main entry point.
process_arguments()	Progress cmdline arguments.