Skip to content

Improve performance and language support of memory initialization checks#3313

Merged
artemagvanian merged 31 commits into
model-checking:mainfrom
artemagvanian:nondet-meminit
Jul 12, 2024
Merged

Improve performance and language support of memory initialization checks#3313
artemagvanian merged 31 commits into
model-checking:mainfrom
artemagvanian:nondet-meminit

Remove unnecessary temporary variable in `hooks.rs`

19cf091
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs