3 Commits

Author	SHA1	Message	Date
bjorn3	a7e674006c	Store TyLayout inside CValue and CPlace	2018-06-26 20:23:51 +02:00
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