Commit Graph

1607 Commits

Author SHA1 Message Date
bjorn3
08d17c9ece Better rvalue handling 2018-06-20 15:29:50 +02:00
bjorn3
4adba2553b Use pass by value fro simple simple types 2018-06-20 15:15:28 +02:00
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