Andrii Kurdiumov
Andrii Kurdiumov
dotnet --info ``` .NET SDK: Version: 10.0.100-rc.1.25451.107 Commit: 2db1f5ee2b Workload version: 10.0.100-manifests.a6e8bec0 MSBuild version: 17.15.0-preview-25451-107+2db1f5ee2 Runtime Environment: OS Name: Windows OS Version: 10.0.26100 OS Platform: Windows RID: win-x64 Base Path:...
I try to build FStar locally in WSL. I run ``` make ``` and go to bed. In the morning, I wake up and check if there `ulib.dll` which was...
Ooh, you are right. I miss that. I definitely have older FStar on that PC. Thanks.
Any idea then some progress could happens ?
What’s the structure of the data which are passed to the library? Would be great to have small snippet of code which reproduce the problem.
It would be hard for me to guess what exactly happens. Can you show shape of the `data` object. and template which reproduce the issue. You may try to remove...
I still have to deal with scope merge. Dumb strategy does not work, and I have no clear idea what should I do now.
Curious why PR still in the "waiting" status
Hi. I have mixed feelings about it. Firstly I'm glad that you think my library is useful to you. On the other hand, I think that data access layer should...
Dataflow analysis work on method body. if we put this If inside helper method, then we have to annotate everything with SupportedPlatform/UnsupportedPlatform For example ``` PlatformHelper.ThrowNotSupportedIfBrowser() // Data flow does...