1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
aig | Loading commit data... | |
base | Loading commit data... | |
bdd | Loading commit data... | |
map | Loading commit data... | |
misc | Loading commit data... | |
opt | Loading commit data... | |
phys/place | Loading commit data... | |
python | Loading commit data... | |
sat | Loading commit data... | |
demo.c | Loading commit data... | |
generic.c | Loading commit data... | |
generic.h | Loading commit data... |