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
#160 - Pin concordium-std to version 2.0.0
Pull Request -
State: closed - Opened by annenkov over 2 years ago
#160 - Pin concordium-std to version 2.0.0
Pull Request -
State: closed - Opened by annenkov over 2 years ago
#159 - Add a variable shadowing test for CameLIGO
Pull Request -
State: closed - Opened by annenkov over 2 years ago
- 1 comment
#159 - Add a variable shadowing test for CameLIGO
Pull Request -
State: closed - Opened by annenkov over 2 years ago
- 1 comment
#158 - Fix cameligo contract wrapper
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#158 - Fix cameligo contract wrapper
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#157 - Fix cameligo contract wrapper
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#157 - Fix cameligo contract wrapper
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#156 - Backport Dexter2
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#156 - Backport Dexter2
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#150 - Introduce entrypoints
Issue -
State: open - Opened by annenkov over 2 years ago
Labels: type: feature, part: execution
#150 - Introduce entrypoints
Issue -
State: open - Opened by annenkov over 2 years ago
Labels: type: feature, part: execution
#149 - Add support for views
Issue -
State: open - Opened by annenkov over 2 years ago
Labels: type: feature, part: execution
#149 - Add support for views
Issue -
State: open - Opened by annenkov over 2 years ago
Labels: type: feature, part: execution
#146 - Multi-argument recursive functions
Issue -
State: open - Opened by annenkov over 2 years ago
- 1 comment
Labels: type: enhancement, part: CameLIGO
#146 - Multi-argument recursive functions
Issue -
State: open - Opened by annenkov over 2 years ago
- 1 comment
Labels: type: enhancement, part: CameLIGO
#141 - BAT contract
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
#139 - Update dependencies
Pull Request -
State: closed - Opened by 4ever2 over 2 years ago
- 1 comment
Labels: type: enhancement, state: blocked, part: infrastructure
#97 - Remove removal of function applications in cameLIGO pretty printer
Issue -
State: open - Opened by mikkelmilo over 3 years ago
Labels: type: enhancement, part: CameLIGO
#97 - Remove removal of function applications in cameLIGO pretty printer
Issue -
State: open - Opened by mikkelmilo over 3 years ago
Labels: type: enhancement, part: CameLIGO
#92 - Create a `make` target for running QuickChick tests
Issue -
State: closed - Opened by annenkov over 3 years ago
Labels: type: feature, part: testing, part: infrastructure
#76 - [Liquidity][CameLIGO] Shadowing in Liquidity (and probably CameLIGO) extraction
Issue -
State: closed - Opened by annenkov over 3 years ago
- 1 comment
Labels: type: bug
#76 - [Liquidity][CameLIGO] Shadowing in Liquidity (and probably CameLIGO) extraction
Issue -
State: closed - Opened by annenkov over 3 years ago
- 1 comment
Labels: type: bug