Skip to content
This repository has been archived by the owner on Oct 14, 2022. It is now read-only.

Update descriptions of graph elements, node elements, and edge elements from upcoming TOSEM paper #37

Merged
merged 11 commits into from
Jul 6, 2021

Assumptions are allowed in correctness witnesses, under certain (stat…

90a5553
Select commit
Loading
Failed to load commit list.
Merged

Update descriptions of graph elements, node elements, and edge elements from upcoming TOSEM paper #37

Assumptions are allowed in correctness witnesses, under certain (stat…
90a5553
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs