Results 8 issues of wldhx

Bumps LTS 12 to LTS 17. Latest I could get it to build with quickly :)

E-mail address with tags example: [email protected] ATM rizzoma sends the account confirmation fine, but fails to acknowledge it (after following the received link). That's incorrect behaviour as tags are standartised.

Implements [ST-Link/v2](http://www.st.com/en/development-tools/st-link-v2.html), an ubiquitous and cheap (ca. $5 on Aliexpress) programmer, support for posix platforms. - [x] "basic" `.stlinkv2` targets: flash, reset, erase - [x] debugging with `gdb` - [x]...

Would you be interested in a PR with some preliminary ST-Link support? I currently have erasing and flashing (and softdevice flashing) functional (that is, no MAC changing or debugging yet)....

That's mostly relevant for interactive usecases such as REPL or a Jupyter Notebook. Suppose I have a function ``` python def f(a: int): return a ``` and at some point...

Hi, Trying to run the clgen demo from master (`65643f`) gives me intermittent failures of this kind: ``` source activate tensorflow_p36 # anaconda git clone https://github.com/ChrisCummins/phd cd phd bazel build...