Deian Stefan
Deian Stefan
Ah that should be easy enough to implement. It's been a while, but reading my own readme I think we create a keys/authorized_keys file anyway. You can hack this up...
Really? Are you passing in arguments that are then used to rewrite the json file? I think adding another option to modify the sshd_config to not generate authorized_keys file is...
:+1: on the showing the limit
Not sure if folks are still interested in this, but I filed a v8 bug on this (https://code.google.com/p/v8/issues/detail?id=4537&thanks=4537&ts=1446787325)
I think llvm-hs works happily with bc, but right now the front end is just looking for .ll extensions. Should be easy enough to extend.
sorry for the delay, my notification set up sucks. I think I fixed a few similar issues in llvm-hs in the past. (You can checkout our llvm-hs fork.) Their support...
https://github.com/PLSysSec/sys/blob/master/stack.yaml#L8
In our experience the parsing stage is kind of gross and slow. Yes the block and loop bound matter too. I'm not sure there is a bug here. You're asking...
It would be great indeed! PRs welcome!
Good question! Right now different checkers print out things differently. Some of the output is checker specific but most of it is not. At the very least it would be...