giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Initial Transition to ErgoVM #78

Closed giovinazzo-kevin closed 1 year ago

giovinazzo-kevin commented 1 year ago

This PR marks the first step of the transition from an interpreted Ergo to a semi-compiled Ergo.

The old solver is still there, and acts as a wrapper for the VM. In time it will be dismantled as the builtins are rewritten to target the VM.

There are some performance problems, as evidenced by #77. Overall performance seems to be better, except in the cases explained in that issue.