Fixed formatting errors, wasm error

Bram-Hub / aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

https://aris.bram-hub.com

GNU General Public License v3.0

10 stars 2 forks source link

Closed zacharybonagura closed 2 weeks ago

zacharybonagura commented 2 weeks ago

Fatal: error validating input, [wasm-validator error in function closure269\20externref\20shim] unexpected false: table.fill requires bulk-memory fix