search

boogie-org / boogie

Boogie
http://research.microsoft.com/en-us/projects/boogie/
MIT License
514 stars 112 forks source link

Upgrade to dotnet8.0 #928

Open keyboardDrummer opened 3 months ago

cos commented 1 month ago

Hi, is there any progress on this?

keyboardDrummer commented 1 month ago

Hi, is there any progress on this?

I'm working on other things since this has little priority for me ATM. Does it have so for you?