bjorn3
|
c7e7e1fe0f
|
Split common utils out of base.rs
|
2018-06-22 19:18:53 +02:00 |
|
bjorn3
|
c0dce914e3
|
Mostly fix it
|
2018-06-22 19:08:59 +02:00 |
|
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 |
|