Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / AU-COBRA/ConCert issues and pull requests
#251 - Upgrade bumpalo to 3.14.0
Pull Request -
State: closed - Opened by 4ever2 12 days ago
Labels: part: dependencies
#250 - Nix setup
Pull Request -
State: open - Opened by 4ever2 2 months ago
Labels: type: feature, part: infrastructure
#249 - Bump ocaml/setup-ocaml from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 2 comments
Labels: part: dependencies
#248 - Bump avsm/setup-ocaml from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 2 comments
Labels: part: dependencies
#247 - Cancel duplicate/previous CI runs
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: part: infrastructure
#246 - Split tests into separate job
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: type: enhancement, part: infrastructure
#245 - Fix Concordium test dependencies
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: type: bug, part: infrastructure
#244 - Link elm and rust extraction documentation
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: type: documentation
#243 - Update dependencies
Pull Request -
State: open - Opened by 4ever2 3 months ago
Labels: state: blocked, part: dependencies
#242 - Update to MetaCoq 1.3
Issue -
State: open - Opened by womeier 6 months ago
- 7 comments
#241 - Bump actions/cache from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
Labels: part: dependencies
#240 - Piggy bank smart contract improvements
Pull Request -
State: closed - Opened by 4ever2 9 months ago
Labels: type: enhancement, part: examples
#239 - Misc fixes
Pull Request -
State: closed - Opened by 4ever2 9 months ago
Labels: type: enhancement, type: refactor
#238 - Update dependencies (Coq 8.18)
Pull Request -
State: closed - Opened by 4ever2 9 months ago
Labels: part: dependencies
#237 - Bump actions/upload-pages-artifact from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: part: dependencies
#236 - Bump actions/deploy-pages from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: part: dependencies
#235 - Bump actions/upload-artifact from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: part: dependencies
#234 - Bump actions/deploy-pages from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: part: dependencies
#233 - Fix MetaCoq utils imports
Pull Request -
State: closed - Opened by 4ever2 11 months ago
Labels: type: bug, part: embedding
#232 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: part: dependencies
#231 - Bump actions/upload-pages-artifact from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: part: dependencies
#230 - Pin rust compiler version to 1.69.0
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug, part: infrastructure
#229 - Fix CI
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug, part: infrastructure
#228 - Update readme
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: documentation
#227 - Piggy bank example
Pull Request -
State: closed - Opened by laurahejn over 1 year ago
Labels: type: feature, part: examples
#226 - Update QuickChick to v2.0.0
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#225 - Support Coq 8.17
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#224 - Update MetaCoq to v1.2
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#223 - Update QuickChick
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#222 - Add make target for running QuickChick tests
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: feature, part: testing, part: infrastructure
#221 - Add quick make target
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: feature, part: infrastructure
#220 - Move elm extraction
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: refactor, part: Elm
#219 - Move rust extraction
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: refactor, part: Rust
#218 - Update coq-bignums
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#217 - Update MetaCoq version
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure, part: dependencies
#215 - Bump avsm/setup-ocaml from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: part: dependencies
#214 - Remove docker image from CI
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure
#213 - Bump actions/deploy-pages from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
#210 - Add .gitattributes
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure
#209 - Update readme
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure
#208 - Uninstall make target no longer depends on all
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug, part: infrastructure
#207 - Ci refactor
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure
#206 - Refactor and fixes
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: refactor, part: execution
#205 - Piggy bank contract
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: feature, part: examples
#204 - Update dependencies
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: infrastructure
#203 - Contract Morphisms
Pull Request -
State: closed - Opened by dhsorens almost 2 years ago
Labels: type: feature, part: execution
#202 - CI refactor
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago
Labels: type: refactor, part: infrastructure
#201 - Publish Concert extraction (at least to rust) as an opam package
Issue -
State: closed - Opened by thewalker77 almost 2 years ago
- 2 comments
Labels: part: extraction, part: infrastructure
#200 - Coq 8.16 + MetaCoq 1.1
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago
- 1 comment
Labels: type: enhancement, part: infrastructure
#199 - Update README.md
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago
Labels: type: documentation
#198 - Fix warnings
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago
Labels: type: refactor
#197 - Extraction results fixes
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, type: enhancement, part: infrastructure
#196 - Update readme
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: enhancement, part: infrastructure
#195 - Update dependencies
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: enhancement, part: infrastructure
#194 - Extraction split
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: refactor, part: extraction
#193 - Contract execution errors
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: feature, part: execution
#192 - Update CI
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: enhancement, part: infrastructure
#191 - Fix stdlib url
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#190 - Port ConCert to Coq 8.15
Pull Request -
State: closed - Opened by annenkov about 2 years ago
#189 - Update opam file for 8.14 version
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#188 - Disable dependency graph in CI
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#187 - Porting ConCert to Metacoq v1.0+8.14
Pull Request -
State: closed - Opened by annenkov about 2 years ago
- 3 comments
Labels: type: refactor, part: extraction
#186 - CI ignore files
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: enhancement, part: infrastructure
#185 - Add doc to opam file
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: enhancement, part: infrastructure
#184 - Build dependency graphs in CI
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: feature, part: infrastructure
#183 - Documentation improvements
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, type: enhancement, part: infrastructure
#182 - Fix documentation header
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#181 - Fix documentation TOC width
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#180 - Fix documentation toc
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: bug, part: infrastructure
#179 - Link external documentation
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
- 3 comments
Labels: type: enhancement, part: infrastructure
#178 - Dependency graphs
Pull Request -
State: closed - Opened by 4ever2 about 2 years ago
Labels: type: feature, part: infrastructure
#177 - Fix coqdocjs css
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: bug, part: infrastructure
#176 - Exclude AllTests.v from docs
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: bug, part: infrastructure
#175 - Fix broken links in documentation
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: bug, part: infrastructure
#174 - Extend CallFacts
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: enhancement, part: execution
#173 - Rust arith remapping
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: enhancement, part: Rust
#173 - Rust arith remapping
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: enhancement, part: Rust
#172 - Dexter2 tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: feature, part: examples
#172 - Dexter2 tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: feature, part: examples
#171 - Dexter1 tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: feature, part: examples
#171 - Dexter1 tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: feature, part: examples
#170 - Minor test refactoring
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#170 - Minor test refactoring
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#169 - Rename Dexter contract
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#169 - Rename Dexter contract
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#168 - Fix Dexter tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: bug, part: examples
#168 - Fix Dexter tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: bug, part: examples
#167 - Add missing opam fields
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: enhancement, part: infrastructure
#167 - Add missing opam fields
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
Labels: type: enhancement, part: infrastructure
#166 - Port examples using FA2LegacyInterface
Issue -
State: open - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#166 - Port examples using FA2LegacyInterface
Issue -
State: open - Opened by 4ever2 over 2 years ago
Labels: type: refactor, part: examples
#165 - Make max action generation attempts configurable
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#164 - Upgrade fa2 interface
Pull Request -
State: closed - Opened by weis611 over 2 years ago
- 2 comments
Labels: type: enhancement, part: examples
#164 - Upgrade fa2 interface
Pull Request -
State: closed - Opened by weis611 over 2 years ago
- 2 comments
Labels: type: enhancement, part: examples
#163 - Updating the FA2 interface
Issue -
State: closed - Opened by weis611 over 2 years ago
Labels: type: enhancement, part: examples
#163 - Updating the FA2 interface
Issue -
State: closed - Opened by weis611 over 2 years ago
Labels: type: enhancement, part: examples
#162 - Time tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#162 - Time tests
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#161 - [CameLIGO] Remove init wrapper
Pull Request -
State: closed - Opened by annenkov over 2 years ago
#161 - [CameLIGO] Remove init wrapper
Pull Request -
State: closed - Opened by annenkov over 2 years ago