Anh Nguyen-Tuong
authored
When name of function is specified as entry point for fork server, pre-insert the fork server init code at the last instruction of the first basic block in the function.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| test | ||
| SConscript | ||
| SConstruct | ||
| critical_edge_breaker.cpp | ||
| critical_edge_breaker.hpp | ||
| zax.cpp | ||
| zax.hpp | ||
| zax_base.cpp | ||
| zax_base.hpp | ||
| zax_driver.cpp | ||
| zuntracer.cpp | ||
| zuntracer.hpp | ||