Ecosyste.ms: Issues

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

GitHub / completium/archetype-lang issues and pull requests

#366 - What can be the key in big map?

Issue - State: closed - Opened by the-man-with-a-golden-mind over 1 year ago - 2 comments

#365 - Bump semver from 5.7.1 to 5.7.2 in /check

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#364 - Is Archetype is actively maintained?

Issue - State: closed - Opened by the-man-with-a-golden-mind over 1 year ago - 9 comments

#363 - How to convert nat to mutez?

Issue - State: closed - Opened by the-man-with-a-golden-mind over 1 year ago - 3 comments

#362 - Issue with self_address

Issue - State: closed - Opened by the-man-with-a-golden-mind over 1 year ago - 5 comments

#361 - issue with slack link

Issue - State: open - Opened by the-man-with-a-golden-mind over 1 year ago - 1 comment

#360 - view with nat_to_string buitin

Issue - State: closed - Opened by guillaumeduhamel over 1 year ago

#359 - Types from asset

Issue - State: open - Opened by guillaumeduhamel over 1 year ago
Labels: typing

#356 - Map literal not accepted within map.put method

Issue - State: open - Opened by grum-tez over 1 year ago - 1 comment

#354 - Add `is_implicit_address` function

Issue - State: closed - Opened by guillaumeduhamel almost 2 years ago

#353 - cannot deploy contract using iterable_big_map

Issue - State: closed - Opened by lgaroche almost 2 years ago
Labels: wontfix

#352 - Handle typing of tickets

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#351 - Handle visibility of record in initialization of asset

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#350 - Handle self entrypoint called and defined below

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#349 - Handle compatibility between tuple / record / asset_value

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#348 - Handle complex assignment

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#347 - `event` type not storable

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago
Labels: typing

#346 - Introduction Tutorial calling the contract fails

Issue - State: closed - Opened by crcdng almost 2 years ago - 1 comment

#345 - Mention supported protocol level in releases

Issue - State: open - Opened by crcdng almost 2 years ago

#344 - Provide a builtin to simplify rational values

Issue - State: closed - Opened by rognierbenoit almost 2 years ago

#343 - `create_contract` from michelson file

Issue - State: closed - Opened by guillaumeduhamel almost 2 years ago

#342 - Typer does not detect invalid return branch type

Issue - State: open - Opened by rognierbenoit almost 2 years ago
Labels: bug

#341 - invalid ternary value type

Issue - State: open - Opened by guillaumeduhamel almost 2 years ago

#340 - invalid typechecker feedback

Issue - State: open - Opened by rognierbenoit almost 2 years ago
Labels: bug

#339 - provide `and` `or` `xor` for nat

Issue - State: closed - Opened by rognierbenoit almost 2 years ago - 1 comment

#338 - Add `head`, `tail` and `sub` expression on list type

Issue - State: closed - Opened by guillaumeduhamel almost 2 years ago

#337 - Import path must be relative

Issue - State: closed - Opened by guillaumeduhamel almost 2 years ago
Labels: enhancement

#336 - Remove dependency on non-existing ppx_deriving

Pull Request - State: closed - Opened by gridbugs almost 2 years ago - 1 comment

#335 - Timeline Request

Issue - State: open - Opened by evronm almost 2 years ago - 2 comments

#334 - Duplicate function in src/gen_micholson.ml

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

#333 - Useless argument in function

Issue - State: closed - Opened by guillaumeduhamel about 2 years ago

#332 - fix contract type

Issue - State: open - Opened by guillaumeduhamel about 2 years ago

#330 - Handle assignment operator for map

Issue - State: open - Opened by guillaumeduhamel about 2 years ago

#329 - iterable big map in asset

Issue - State: closed - Opened by guillaumeduhamel about 2 years ago

#328 - Updateing a big_map inside an asset

Issue - State: open - Opened by evronm about 2 years ago - 4 comments

#327 - Lack of Docs for Options Type

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

#326 - Create contract initial storage type

Issue - State: open - Opened by 94810 about 2 years ago - 4 comments

#325 - Namespaces?

Issue - State: open - Opened by evronm about 2 years ago - 5 comments

#324 - Add match ... with for strings

Issue - State: open - Opened by guillaumeduhamel about 2 years ago
Labels: enhancement

#323 - Add operator / and % for tez/tez operands

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago

#322 - Handle empty record literal when all fields with default value

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, typing

#321 - Handle otherwise in entry section

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago

#320 - Improve literal in michelson

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, michelson

#319 - Renaming

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

#318 - Implement ternary operator for record option

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, language, asset

#317 - Improve asset field access

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, language, asset

#316 - Proposal: asset types

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, language, asset

#315 - Fix/239

Pull Request - State: closed - Opened by guillaumeduhamel over 2 years ago

#314 - Fix/239

Pull Request - State: closed - Opened by guillaumeduhamel over 2 years ago

#313 - Iterable big map

Pull Request - State: closed - Opened by guillaumeduhamel over 2 years ago

#312 - Fix minus operation on bls12_381_fr

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: bug

#311 - Add `as` feature for asset

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement

#310 - Fix const in parameters

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: bug

#309 - Support `as` feature for enum declaration

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement

#308 - support call to `contains` in predicate

Issue - State: open - Opened by rognierbenoit over 2 years ago

#306 - Generate contract interface in other languages

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment

#305 - Infer plugin for Archetype

Issue - State: open - Opened by rognierbenoit over 2 years ago

#304 - Iterable bigmap

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment

#303 - iterable big map

Issue - State: closed - Opened by rognierbenoit over 2 years ago

#302 - Optimize michelson generation for `addupdate`

Issue - State: closed - Opened by rognierbenoit over 2 years ago

#301 - Sanity check on rational literals

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment

#300 - implement CI/CD

Issue - State: closed - Opened by rognierbenoit over 2 years ago

#299 - Support inline syntax for container update instruction

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, language

#298 - Support basic containers in update asset instruction

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement, language

#297 - fail if key is not found for update instruction

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: bug

#296 - add deploy contract instruction

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago - 1 comment
Labels: enhancement, language

#295 - Handle michelson instruction in archetype

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement

#294 - Unit tests stress testing by contract mutations

Issue - State: open - Opened by rognierbenoit over 2 years ago

#293 - Create tutorial as vscode notebooks

Issue - State: open - Opened by rognierbenoit over 2 years ago
Labels: enhancement

#292 - add to_nat builtin function

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: language

#291 - Support mi cho coq output

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: Verification, deprecated

#289 - Develop language functional unit tests

Issue - State: closed - Opened by rognierbenoit over 2 years ago

#287 - Rebuild a language doc site

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

#284 - Add lazy functions

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment
Labels: enhancement, wontfix

#282 - handle `not` on nat / int

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment
Labels: enhancement

#280 - reject assign with invalid types

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: bug, typing

#279 - protect neg with tez

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago - 2 comments
Labels: bug, typing

#278 - add `const` declaration of local constant variable

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago

#277 - invalid cast between nat and bls12_381_fr

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago - 1 comment
Labels: bug

#276 - Handle value literal for string types (key, key_hash, signature, chain_id)

Issue - State: open - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement

#274 - call internal view with self

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: enhancement

#273 - Remove type_ from mterm in model

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: wontfix, deprecated

#271 - add `noeffect` and `pure` properties to functions

Issue - State: closed - Opened by rognierbenoit over 2 years ago - 1 comment

#270 - avoid return in wrong place in function

Issue - State: closed - Opened by guillaumeduhamel over 2 years ago
Labels: wontfix, deprecated

#266 - Improve michelson generation for record

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago - 1 comment
Labels: enhancement, language

#263 - Handle access to records/assets in assets

Issue - State: open - Opened by guillaumeduhamel almost 3 years ago - 2 comments
Labels: bug, typing

#262 - contract import

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago - 1 comment

#260 - forbid pack (and complex expression) as init value

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago

#259 - remove caller from authorized init value

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago

#258 - check type first arg for dorequire

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago - 1 comment
Labels: typing

#256 - handle function in view

Issue - State: closed - Opened by guillaumeduhamel almost 3 years ago - 1 comment
Labels: enhancement

#255 - add `called by` `effect` ... sections in getter

Issue - State: closed - Opened by rognierbenoit about 3 years ago

#252 - no side effect in function

Issue - State: closed - Opened by guillaumeduhamel about 3 years ago - 1 comment
Labels: bug, typing, high priority

#251 - let record be in enum

Issue - State: closed - Opened by guillaumeduhamel about 3 years ago
Labels: bug, typing