Commit Graph

4303 Commits

Author SHA1 Message Date
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