Andrii Kurdiumov

`[assembly: AssemblyInformationalVersion("4.8.4470.0")]`

Also I experience very similar, but slightly different exception with same file, and same conditions ``` System.ArgumentNullException: Value cannot be null. Parameter name: element at MS.Internal.Media.VisualTreeUtils.AsNonNullVisual(DependencyObject element, Visual& visual, Visual3D&...

> @kant2002 if you go to Start Page in the binlog viewer, and disable tree view virtualization, I expect the problems to go away. Could you confirm it? @KirillOsenkov I...

Send STF file to same location. Anything else what I can do?

I think would be good if central repository would be still present for foreseeable future, since some authors not very good at maintaining .d.ts files. See https://github.com/mzabriskie/axios as example. So...

That's first bad commit https://github.com/FStarLang/FStar/commit/c5aab1b689e647392e1789b811d3723a584d9641 , because this is just followup to https://github.com/FStarLang/FStar/commit/3e7a322038bc79053576994e78a3800d42d1138c I think both commits should be checked for performance regression

It seems issue about to be resolved. I have create MSBuild SDK and package scripts which can using of F* from F# much easier. Almost the same as existing `dotnet...

Yeah. At this point creation of templates is something which I can do on weekends. Where I need help is to have tutorials in F*. Right now I would like...

@lucasteles as I said earlier, I have now templates Install templates ``` dotnet new install FStarLang.DotNet.Common.ProjectTemplates.1.0::0.0.9 --nuget-source https://codevision.pkgs.visualstudio.com/FStarLang/_packaging/fstarlang/nuget/v3/index.json ``` and now you can ``` dotnet new fstarconsole -o helloworld ```...

What's the plan to update to latest z3? Does it needs to be in one go, or we can gradually bump versions until we reach latest one?