Add Validatable trait#329

Closed

robin-aws wants to merge 9 commits intoaws:developfrom

robin-aws:validatable

Commits on May 13, 2020

Add Validatable trait
robin-aws
committed

Commits on May 14, 2020

Merge branch 'develop' of github.com:awslabs/aws-encryption-sdk-dafny into validatable
robin-aws
committed
Added Validatable wherever possible
robin-aws
committed

Commits on May 21, 2020

Commits on May 22, 2020