querycert/qcert issues and pull requests

#179 - New route to WASM extraction

Issue - State: open - Opened by pkel 9 months ago

#178 - fix(build): Upgrades to node 18 & dependencies security fixes

Pull Request - State: closed - Opened by jeromesimeon almost 1 year ago

#177 - fix(build): remove node_modules folder

Pull Request - State: closed - Opened by jeromesimeon about 1 year ago

#176 - 3.0

Pull Request - State: closed - Opened by jeromesimeon about 1 year ago

#175 - chore(deps): bump flat and mocha in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#174 - Depend on coq-jsast 2.0.0 only

Pull Request - State: closed - Opened by mandel almost 2 years ago

#173 - fix(build): Addresses build issues with opam

Pull Request - State: closed - Opened by jeromesimeon about 2 years ago

#172 - fix(ci): Add explicit libgmp library install

Pull Request - State: closed - Opened by jeromesimeon about 2 years ago

#171 - build(*): Support for Coq 8.13 & 8.14 & 8.15

Pull Request - State: closed - Opened by jeromesimeon about 2 years ago

#170 - chore(deps): bump pathval from 1.1.0 to 1.1.1 in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#169 - chore(deps): bump ansi-regex from 3.0.0 to 3.0.1 in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#168 - chore(deps): bump glob-parent from 5.1.1 to 5.1.2 in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#167 - chore(deps): bump y18n from 4.0.0 to 4.0.3 in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#166 - fix(opam): Correct version number is 2.1.1

Pull Request - State: closed - Opened by jeromesimeon over 2 years ago

#165 - fix(build): Attempt to fix CircleCI build

Pull Request - State: closed - Opened by jeromesimeon over 2 years ago

#164 - Add js_of_ocaml-ppx to the dependencies in the compilation instructions

Pull Request - State: closed - Opened by ckeller almost 3 years ago

#163 - New CI

Issue - State: open - Opened by pkel almost 3 years ago

#162 - fix(comments) Remove all ddddmmits and scary words from within comments

Pull Request - State: closed - Opened by jeromesimeon almost 3 years ago - 1 comment

#161 - Renaming

Pull Request - State: closed - Opened by mandel almost 3 years ago

#160 - feature(wasm) Add some foreign type hooks for WASM

Pull Request - State: closed - Opened by jeromesimeon about 3 years ago - 6 comments

#159 - Suspicous EJson compare in qcert-runtime-core.js

Issue - State: open - Opened by pkel about 3 years ago - 2 comments

#158 - Update dependencies in coq-qcert.opam & test in CI

Pull Request - State: closed - Opened by pkel about 3 years ago

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

Issue - State: open - Opened by pkel about 3 years ago

#156 - Code size for new version 2 compiler (when targeting JavaScript)

Issue - State: closed - Opened by jeromesimeon about 3 years ago - 2 comments
Labels: enhancement, javascript, backend

#155 - How can I instantiate Foreign in ImpEJsontoWasmAst.v ?

Pull Request - State: closed - Opened by pkel about 3 years ago - 4 comments

#154 - WASM: shipping the runtime module

Issue - State: closed - Opened by pkel over 3 years ago - 3 comments
Labels: Backend: WASM

#153 - Webassembly backend

Pull Request - State: closed - Opened by pkel over 3 years ago
Labels: Backend: WASM

#152 - Opam docs and test support

Pull Request - State: closed - Opened by shinnar almost 4 years ago

#151 - move brand_eq_dec to where it belongs

Pull Request - State: closed - Opened by shinnar almost 4 years ago

#150 - Derive JS runtime from Wasm runtime

Issue - State: open - Opened by pkel almost 4 years ago

#149 - Rewrites on ImpEJson for Wasm backend

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#148 - WASM: Functional Operators

Issue - State: closed - Opened by pkel almost 4 years ago - 2 comments

#147 - GSoC 2020: Webassembly backend

Pull Request - State: closed - Opened by pkel almost 4 years ago - 1 comment

#146 - WASM: W-Imp intermediate representation

Issue - State: open - Opened by pkel almost 4 years ago
Labels: Backend: WASM

#145 - WASM: Variable Scoping

Issue - State: closed - Opened by pkel almost 4 years ago - 1 comment
Labels: Backend: WASM

#144 - EJsonRuntimeCompare is actually a EJsonRuntimeCompareNegative

Issue - State: open - Opened by pkel almost 4 years ago

#143 - fix(Utils) Changes Results from Type to Set

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#142 - WebAssembly Backend

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago - 1 comment

#141 - chore(CI) Add tests for Coq 8.12

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#140 - Coq 8.11.2

Pull Request - State: closed - Opened by shinnar almost 4 years ago

#139 - chore(build) CircleCI properly uses the OCAML_VERSION variable

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago - 1 comment

#138 - chore(build) Version change for 2.0, fix to opam file

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#137 - fix(imp) remove brand runtime operator from ImpEJson

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#136 - fix(JS) Bug in comparison for arrays, cleanup of runtime

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago

#135 - Bump lodash from 4.17.15 to 4.17.19 in /runtimes/assemblyscript

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago - 1 comment
Labels: dependencies

#134 - WIP(Imp) An ImpEJson parser proof of concept

Pull Request - State: closed - Opened by jeromesimeon almost 4 years ago - 4 comments

#133 - WASM: Priority list of runtime & operators

Issue - State: open - Opened by jeromesimeon almost 4 years ago - 13 comments
Labels: Backend: WASM

#132 - Webassembly backend (WIP)

Pull Request - State: closed - Opened by pkel about 4 years ago - 3 comments

#131 - No assert

Pull Request - State: closed - Opened by jeromesimeon about 4 years ago

#130 - test(JS) Add test for float compare

Pull Request - State: closed - Opened by jeromesimeon about 4 years ago

#129 - Semi persistant merge rebase

Pull Request - State: closed - Opened by jeromesimeon about 4 years ago