1802 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
bjorn3	653c67cb6d	Use verifier, perform assignment and field projection, fix branching	2018-06-17 18:46:11 +02:00
bjorn3	4d615dba0e	Initial commit	2018-06-17 18:05:11 +02:00