You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Perform null-checks when assigning initial value of heap allocations#513
Merged
msprotz merged 1 commit intomasterFStarLang/karamel:masterfrom protz_malloc_nullFStarLang/karamel:protz_malloc_nullCopy head branch name to clipboardJan 7, 2025
