Commit graph

2203 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