Gennadii Saltyshchak

icon indicating an email [email protected]

icon location Kyiv, Ukraine

Results 4 comments of Gennadii Saltyshchak

SqlPackage universal authentication to Azure SQL fails with error "You can't sign in here with a personal account. Use your work or school account instead"

Sure, double-checked it again. Of course, I have exhausted all possible workarounds before taking on the work to fill this bug report.

Memory leak in Z3 Context using .NET API

Hi Nikolay, Thank you for your answer. In my opinion, it is problem, that memory is released by the _finalizer_, because there is really no way to call it explicitly....

Memory leak in Z3 Context using .NET API

Hi Nikolay, Thanks for your fix. I checked the [latest nightly release](https://github.com/Z3Prover/z3/releases/download/Nightly/Microsoft.Z3.4.8.11.nupkg). As for simple example above, the memory leak is not reproducible any more. The only thing I observed,...

Parsing OData case() functions

It is really very useful function. I do not even see the alternative way to implement conditional logic for general case.