add comple.disable to z3 function - SemanticDiff

Commit

2 years ago

add comple.disable to z3 function

References

tohtana/compile_no_grad

#5325 - Disable compile for Z3 hook function

Author

Masahiro Tanaka

Parents

Loading