2205 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
bjorn3	9d40131d81	Add cretonne_module	2018-06-19 19:51:29 +02:00
bjorn3	9f4f9eb1d7	Implement indirect calls	2018-06-18 18:39:07 +02:00
bjorn3	7680a5cdde	Implement direct calls	2018-06-17 19:10:06 +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