xenia
|
76b55b149c
|
add very very long death timeout (and fix bug)
this makes workers stick around even if they lose connection
verizon is unreliable ;w;
|
2021-08-02 23:31:45 -04:00 |
xenia
|
f5df1fb77f
|
numba
|
2021-06-16 22:40:11 -04:00 |
xenia
|
7068a88490
|
add ipython
|
2021-06-16 07:09:02 -04:00 |
xenia
|
ccd20dbc5f
|
fix pip ansible bug
|
2021-06-16 03:45:06 -04:00 |
xenia
|
dd17d29d2a
|
put angr in the default venv
|
2021-06-16 02:56:54 -04:00 |
xenia
|
faaa550daa
|
add z3 (regular) and angr
|
2021-06-16 02:21:34 -04:00 |
xenia
|
08d6edb790
|
more fixes
|
2021-06-15 05:46:27 -04:00 |
xenia
|
b81c78a14e
|
change to pip module
|
2021-06-15 05:44:32 -04:00 |
xenia
|
5263368a65
|
add stuff
|
2021-06-15 05:11:41 -04:00 |
xenia
|
7aa8886b07
|
ansible
|
2021-06-15 04:37:57 -04:00 |