Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / querycert/qcert issues and pull requests

#180 - chore(deps): bump braces from 3.0.2 to 3.0.3

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#179 - New route to WASM extraction

Issue - State: open - Opened by pkel over 1 year ago

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

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

#177 - fix(build): remove node_modules folder

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

#176 - 3.0

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

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

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

#174 - Depend on coq-jsast 2.0.0 only

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

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

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

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

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

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

Pull Request - State: closed - Opened by jeromesimeon over 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] over 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] over 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] over 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] over 2 years ago
Labels: dependencies

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

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

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

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

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

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

#163 - New CI

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

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

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

#161 - Renaming

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

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

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

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

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

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

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

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

Issue - State: closed - Opened by jeromesimeon over 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 almost 4 years ago - 4 comments

#154 - WASM: shipping the runtime module

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

#153 - Webassembly backend

Pull Request - State: closed - Opened by pkel almost 4 years ago
Labels: Backend: WASM

#152 - Opam docs and test support

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

#151 - move brand_eq_dec to where it belongs

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

#150 - Derive JS runtime from Wasm runtime

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

#149 - Rewrites on ImpEJson for Wasm backend

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

#148 - WASM: Functional Operators

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

#147 - GSoC 2020: Webassembly backend

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

#146 - WASM: W-Imp intermediate representation

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

#145 - WASM: Variable Scoping

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

#144 - EJsonRuntimeCompare is actually a EJsonRuntimeCompareNegative

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

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

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

#142 - WebAssembly Backend

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

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

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

#140 - Coq 8.11.2

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

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

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

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

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

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

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

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

Pull Request - State: closed - Opened by jeromesimeon over 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] over 4 years ago - 1 comment
Labels: dependencies

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

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

#133 - WASM: Priority list of runtime & operators

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

#132 - Webassembly backend (WIP)

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

#131 - No assert

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

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

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

#129 - Semi persistant merge rebase

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

#128 - Typo in README

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

#127 - fix(JS) Contains runtime bug + test for SQL with not in

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

#126 - v2 branch merge

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

#125 - Fix: add back tpc tests

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

#124 - Remove some unmaintained/untested compilation targets, and paths

Issue - State: closed - Opened by jeromesimeon about 5 years ago - 1 comment
Labels: cleanup

#123 - JSON <-> Data Roundtripping for QcertJson IL

Issue - State: closed - Opened by jeromesimeon about 5 years ago - 3 comments
Labels: enhancement, coq

#122 - Js fix imp json

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

#121 - Various Fixes for ImpJson

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

#120 - Remove constant environment from Imp

Pull Request - State: closed - Opened by mandel over 5 years ago

#119 - Fix to Java and JavaScript runtimes for record concatenation

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

#118 - JavaScript & Java runtimes concatenate records the wrong way around

Issue - State: closed - Opened by jeromesimeon over 5 years ago - 1 comment
Labels: bug

#117 - chore(1.4.0) New version tags

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

#115 - (fix) Switch to OCaml 4.07.1 now that 4.08 is out

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

#114 - (WIP) Eval for Imp

Pull Request - State: closed - Opened by jeromesimeon over 5 years ago - 3 comments

#113 - Fixes to Operators

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

#112 - (fix) Use runtime call for stringLength in ImpJson translation

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

#111 - (fix) Merge with ImpJson changes

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

#110 - (feat) Add String length operator

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

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

Issue - State: open - Opened by jeromesimeon almost 6 years ago - 1 comment
Labels: enhancement

#108 - Fix: Difference operator

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

#107 - SQL parsing for except should have same precedence as union and intersect

Issue - State: closed - Opened by jeromesimeon almost 6 years ago - 1 comment
Labels: bug

#106 - Bag difference semantics is wrong (reversed)

Issue - State: closed - Opened by jeromesimeon almost 6 years ago - 1 comment
Labels: bug

#105 - (chore) Switch to opam 2, ocaml 4.07, coq 8.8.2

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

#104 - Switch to Coq 8.8.1 and OCaml 4.07.0

Issue - State: closed - Opened by jeromesimeon over 6 years ago - 2 comments
Labels: chore

#103 - Type inference for binary operators has inconsistent output

Issue - State: closed - Opened by kach over 6 years ago - 2 comments
Labels: bug

#102 - Rename NNRCimpish and NNRCimp

Issue - State: closed - Opened by mandel over 6 years ago

#101 - Upgrade to Coq 8.8.0

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 1 comment
Labels: coq, chore

#100 - Consolidation of flocq operations and extraction

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 1 comment
Labels: enhancement

#99 - Check/fix Java backend to handle new floating point arithmetics

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 1 comment
Labels: testing, backend

#98 - Optimization framework for nnrs_imp

Issue - State: closed - Opened by shinnar almost 7 years ago
Labels: feature, coq

#97 - Flocq

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

#96 - New version of stratify

Pull Request - State: closed - Opened by shinnar almost 7 years ago - 1 comment

#95 - InstanceOf operator

Issue - State: open - Opened by jeromesimeon almost 7 years ago - 2 comments
Labels: question, feature

#94 - Native support for floating points

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 3 comments
Labels: enhancement

#93 - Pretty-printer for JsAst

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 1 comment
Labels: feature, backend

#92 - Translation from NNRSimp to JSast

Issue - State: closed - Opened by mandel almost 7 years ago - 1 comment
Labels: feature

#91 - Migrating to CircleCI 2.0

Issue - State: closed - Opened by jeromesimeon almost 7 years ago - 1 comment
Labels: infrastructure

#90 - Jsnumbers

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

#89 - Create a more imperative variant of nnrc

Issue - State: closed - Opened by shinnar about 7 years ago - 3 comments
Labels: feature

#88 - Publish on Coq opam repo

Issue - State: closed - Opened by jeromesimeon about 7 years ago - 1 comment
Labels: coq, infrastructure

#86 - separate runtime and compiler npm packages

Issue - State: open - Opened by shinnar about 7 years ago
Labels: javascript, infrastructure

#82 - Javascript backend does not avoid keywords correctly

Issue - State: open - Opened by shinnar about 7 years ago - 2 comments
Labels: bug, javascript

#80 - Unshadowing (with avoid list) confusion in JavaScript code-generation

Issue - State: open - Opened by jeromesimeon about 7 years ago - 7 comments
Labels: bug, javascript

#79 - coqoon

Issue - State: open - Opened by jeromesimeon about 7 years ago - 2 comments
Labels: infrastructure

#78 - Interface Q*cert with Hyperledger composer

Issue - State: closed - Opened by jeromesimeon over 7 years ago - 2 comments
Labels: enhancement, feature

#72 - Automated testing

Issue - State: closed - Opened by jeromesimeon over 7 years ago - 2 comments
Labels: testing

#69 - Consolidation of Cloudant support

Issue - State: closed - Opened by jeromesimeon over 7 years ago - 1 comment
Labels: bug, enhancement