Commit Graph

5 Commits

Author SHA1 Message Date
Tiago 742d84f5f8 wasm: optimize solver; better build system with testing 2025-05-24 08:53:49 +01:00
Tiago 4f815b4c1c fixes small typos 2025-05-23 16:03:16 +01:00
Tiago 9a4f85def9 use less keywords 2025-05-02 11:19:42 +01:00
Tiago 14c39b548f fix wasm builder 2025-04-23 12:55:02 +01:00
Tiago fa44a89ce6 add experimental wasm solver 2025-04-23 12:46:42 +01:00