Review performance vs 0.4

AshleyYakeley / Truth

Changes and Pinafore projects. Pull requests not accepted.

https://pinafore.info/

GNU General Public License v2.0

32 stars 0 forks source link

Closed AshleyYakeley closed 11 months ago

AshleyYakeley commented 11 months ago

New type solver makes checking about 70%-90% slower.

Use longer scripts for benchmarks.

AshleyYakeley commented 11 months ago

No more obvious low-hanging fruit on this.