seal5.transform.gen_auto_intrisics.transform

Generate missing intrinsics definitions automatically.

Functions

get_parser()

main(argv)

next_power_of_two_ge_8(n)

run(args)