Closed G3Kappa closed 7 months 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.
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.