Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5)
Closes #51
Depends on !118 and !120 (merged). Also, the history needs some rewriting once those are merged.
This is a joint effort of:
- Arvid Jakobsson arvid.jakobsson@nomadic-labs.com
- Yann-Regis Gianas yann@nomadic-labs.com
- Colin González colin@nomadic-labs.com
- Guillaume Claret guillaume.claret@nomadic-labs.com
(and @tomjack and @rafoo_ and @ksojakova )
Edited by Arvid Jakobsson