Skip to content

Commit c1ad99b

Browse files
feggefegge
committed
Added EllipticCurveConsumingAlgorithmInstance to Model.qll
This commit adds EllipticCurveConsumingAlgorithmInstance to the shared model, allowing us to model and graph elliptic curve algorithms.
1 parent 4f20bed commit c1ad99b

File tree

6 files changed

+707
-480
lines changed

6 files changed

+707
-480
lines changed

0 commit comments

Comments
 (0)