giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Dismantled Solver #82

Closed giovinazzo-kevin closed 12 months ago

giovinazzo-kevin commented 12 months ago

Closes #79 and #80. The old ErgoSolver and SolverContext no longer exist. All built-ins are implemented against the ErgoVM.

This has already shown massive performance improvements. Now the entire suite of tests, which is larger than before, runs in about 5 seconds... From over 30 when the architecture shift began.