mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
854 Commits 2 Branches 0 Tags 1.4 GiB
8506784d74
Commit Graph

854 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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