Search results

Possible bug: BI_local_set precondition N.to_nat i < length f.(f_locs) seems too strict

Status: Open.

#92 In WasmCert/WasmCert-Coq;

· yoshihiro503 opened on Apr 9, 2026

Dependency issues

enhancementNew feature or requestNew feature or request

Status: Open.

#64 In WasmCert/WasmCert-Coq;

· palmskog opened on Mar 14, 2025

Make a separate dune build without the interpreter extraction

enhancementNew feature or requestNew feature or request

Status: Open.

#54 In WasmCert/WasmCert-Coq;

· raoxiaojia opened on Oct 9, 2024

Machine integers

Status: Open.

#53 In WasmCert/WasmCert-Coq;

· spitters opened on Sep 10, 2024

Moving to Coq-community?

Status: Open.

#28 In WasmCert/WasmCert-Coq;

· spitters opened on Nov 13, 2023