Commit 8784f65e authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

ProVerif WIP and testing for primitives

parent 45fbd1d3
Pipeline #47 passed with stages
in 36 seconds