- Sign in to view email
408 contributions in the last year
Created a pull request in tomer8007/kik-bot-api-unofficial that received 3 comments
Kik would return the error "Account suspended" using the Android ID specified in the repo. In my tests, changing only the Android ID was enough to …
Created an issue in Microsoft/dafny that received 3 comments
This assertion fails under the last version of Dafny:
assert  + [false] !=  + [true];
Is there a way to work around it at least?