Search results

New route to WASM extraction

Status: Open.

#179 In querycert/qcert;

· pkel opened on Oct 4, 2023

New CI

Status: Open.

#163 In querycert/qcert;

· pkel opened on Sep 10, 2021

Suspicous EJson compare in qcert-runtime-core.js

Status: Open.

#159 In querycert/qcert;

· pkel opened on Jun 1, 2021

Wasm backend: ensure correct translation of Wasm_ir.global_(get|set)

Status: Open.

#157 In querycert/qcert;

· pkel opened on May 25, 2021

Derive JS runtime from Wasm runtime

Status: Open.

#150 In querycert/qcert;

· pkel opened on Sep 2, 2020

WASM: W-Imp intermediate representation

Backend: WASM

Status: Open.

#146 In querycert/qcert;

· pkel opened on Aug 20, 2020

EJsonRuntimeCompare is actually a EJsonRuntimeCompareNegative

Status: Open.

#144 In querycert/qcert;

· pkel opened on Aug 20, 2020

WASM: Priority list of runtime & operators

Backend: WASM

Status: Open.

#133 In querycert/qcert;

· jeromesimeon opened on Jul 10, 2020

Conjecture: record concatenation is safe with an open record on the left

enhancement

Status: Open.

#109 In querycert/qcert;

· jeromesimeon opened on Apr 25, 2019

InstanceOf operator

feature

question

Status: Open.

#95 In querycert/qcert;

· jeromesimeon opened on Mar 14, 2018

separate runtime and compiler npm packages

infrastructure

javascript

Status: Open.

#86 In querycert/qcert;

· shinnar opened on Jan 12, 2018

Create a node CLI

enhancement

javascript

Status: Open.

#85 In querycert/qcert;

· shinnar opened on Jan 12, 2018