Ecosyste.ms: Issues

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

GitHub / WasmCert/WasmCert-Coq issues and pull requests

#53 - Machine integers

Issue - State: open - Opened by spitters 18 days ago

#52 - Updates for Coq 8.20

Pull Request - State: closed - Opened by raoxiaojia 22 days ago

#51 - Abstract simd memargs

Pull Request - State: closed - Opened by raoxiaojia 22 days ago

#50 - Poor parser performance

Issue - State: open - Opened by raoxiaojia about 2 months ago
Labels: enhancement

#49 - Context interpreter refactors and cleanups

Pull Request - State: closed - Opened by raoxiaojia about 2 months ago

#48 - Update to Coq 8.19

Pull Request - State: closed - Opened by raoxiaojia 3 months ago
Labels: enhancement

#47 - Abstract implementation of vector operations

Pull Request - State: closed - Opened by raoxiaojia 3 months ago - 1 comment

#46 - Update to Coq 8.19?

Issue - State: closed - Opened by womeier 3 months ago - 4 comments
Labels: enhancement

#45 - Testing and fixing numerics shifts and rotations

Pull Request - State: closed - Opened by raoxiaojia 4 months ago - 2 comments

#44 - Possible discrepancy between wasmcert and official webassembly specification

Issue - State: closed - Opened by mkarup 5 months ago - 1 comment
Labels: bug

#43 - trying to use Wasm 1.0 elem encoding when possible

Pull Request - State: closed - Opened by raoxiaojia 5 months ago

#42 - table initialisation missing during instantiation

Issue - State: closed - Opened by womeier 5 months ago - 3 comments
Labels: question

#41 - remove ITree from dependencies, delete obsolete files

Pull Request - State: closed - Opened by womeier 5 months ago

#40 - problem with update to wasm 2.0

Issue - State: closed - Opened by womeier 6 months ago - 4 comments

#39 - Wasm 2.0 Update

Pull Request - State: closed - Opened by raoxiaojia 7 months ago - 8 comments

#38 - Tail call proposal

Pull Request - State: open - Opened by womeier 7 months ago - 7 comments
Labels: enhancement

#34 - adjusted representation of dune bounds

Pull Request - State: closed - Opened by raoxiaojia 8 months ago

#33 - add workflow triggers for PRs

Pull Request - State: closed - Opened by raoxiaojia 9 months ago

#32 - Tweak imports

Pull Request - State: closed - Opened by womeier 9 months ago - 7 comments

#30 - Removing dependency on mathcomp

Issue - State: closed - Opened by raoxiaojia 11 months ago - 2 comments

#29 - Licensing issues with Parseque

Issue - State: closed - Opened by palmskog 11 months ago - 11 comments

#28 - Moving to Coq-community?

Issue - State: open - Opened by spitters 11 months ago - 23 comments

#27 - remove subrepo ci relict

Pull Request - State: closed - Opened by womeier about 1 year ago - 3 comments

#26 - Opam 8.17

Pull Request - State: closed - Opened by raoxiaojia about 1 year ago
Labels: enhancement

#25 - question on instantiation

Issue - State: closed - Opened by womeier about 1 year ago - 3 comments

#24 - fix dune setup

Pull Request - State: closed - Opened by womeier about 1 year ago - 30 comments
Labels: enhancement

#23 - Question about `inv`, `na_inv` and atomicity in Iris-Wasm

Issue - State: closed - Opened by DKXXXL about 1 year ago - 1 comment

#22 - Questions on the specification of grow_memory

Issue - State: closed - Opened by DKXXXL over 1 year ago - 1 comment

#20 - Working with VSCoq

Issue - State: closed - Opened by DKXXXL over 1 year ago - 7 comments

#19 - Fixed pretty printer for memory arguments

Pull Request - State: closed - Opened by raoxiaojia over 1 year ago
Labels: bug

#18 - small discrepancy from spec in pp

Issue - State: closed - Opened by womeier over 1 year ago - 6 comments
Labels: bug

#16 - bug in parser

Issue - State: closed - Opened by womeier over 1 year ago - 2 comments
Labels: bug

#15 - binary parser tentative fixes

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

#14 - Errors when running `dune build`

Issue - State: closed - Opened by jlwoodwa about 2 years ago - 1 comment

#13 - Multiple definition of `caml_debug_info`

Issue - State: closed - Opened by jlwoodwa about 2 years ago - 2 comments

#12 - esy: "expected only version or source but both were provided"

Issue - State: closed - Opened by jlwoodwa about 2 years ago - 3 comments

#11 - Instantiation soundness proof

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

#10 - Bump to Coq 8.13

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

#9 - Add dependencies to opam file

Issue - State: closed - Opened by intoverflow over 2 years ago - 11 comments

#8 - Upgrade flocq dependency to 3.4.2, add automake to dependencies in readme

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

#7 - Makefile.coq: Operation not permitted during esy setup

Issue - State: closed - Opened by matijapretnar over 3 years ago - 8 comments

#6 - TODO - instantiation bugs

Issue - State: closed - Opened by conrad-watt almost 4 years ago - 5 comments

#5 - interpreter crash

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

#4 - tests not running

Issue - State: closed - Opened by opqrs almost 4 years ago - 1 comment
Labels: bug

#3 - build broken

Issue - State: closed - Opened by opqrs almost 4 years ago - 1 comment
Labels: bug

#2 - What is the estimated time for this project's milestones, is there any roadmap?

Issue - State: closed - Opened by sxysun-zz about 4 years ago - 4 comments
Labels: question

#1 - Type soundness

Pull Request - State: closed - Opened by raoxiaojia about 4 years ago - 1 comment