Thibaut Schaeffer b80686a880 VM to VM calls (#392) ...

* implement call from vm to vm

* address review

* reduce diff in pilgen

* address review

* address more comments

* clean up readme, fix tests

* keep only one machine type for the block enforcer readme

2023-08-21 16:23:25 +02:00

..

lib.rs

VM to VM calls (#392)

2023-08-21 16:23:25 +02:00

util.rs

Humoring the lint.

2023-08-16 17:09:03 +01:00

verify.rs

Backend unification (#417)

2023-08-08 12:14:24 +00:00