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 over 2 years ago - 3 comments
Labels: type: enhancement, part: infrastructure

#178 - Dependency graphs

Pull Request - State: closed - Opened by 4ever2 over 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

GitHub / AU-COBRA/ConCert issues and pull requests