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
#37 - Computable version of inst_typing, and some associated fixes for cl_typing
Pull Request -
State: closed - Opened by raoxiaojia 8 months ago
#36 - Refactors for composition inversion lemmas and improved typing inversion tactics
Pull Request -
State: closed - Opened by raoxiaojia 8 months ago
#35 - Interpreter with improved context representation, and massive context refactoring
Pull Request -
State: closed - Opened by raoxiaojia 8 months ago
#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
#31 - major improvements and refactors on typing inversion tactic and lemmas
Pull Request -
State: closed - Opened by raoxiaojia 10 months ago
#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
#21 - Why do composition and weakening typing rules appear twice (for both be_typing and e_typing)?
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
#17 - Minor bugfixes for parser, pretty printer, and the monadic version of interpreter
Pull Request -
State: closed - Opened by raoxiaojia over 1 year ago
#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