Ecosyste.ms: Issues

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

GitHub / ScorexFoundation/sigmastate-interpreter issues and pull requests

#807 - [v5.0.1] Update dependencies towards Scala 2.13

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

#806 - Cross-compilation to Scala 2.13

Issue - State: closed - Opened by aslesarenko over 2 years ago - 1 comment
Labels: C-refactoring

#805 - Finalize v5.0: Fix cost of deserialize operation

Pull Request - State: closed - Opened by aslesarenko over 2 years ago - 1 comment

#804 - [v5.0.1] Implement anyZK/allZK

Pull Request - State: open - Opened by jozanek over 2 years ago
Labels: A-frontend

#803 - [v5.0.1] Lower MethodCalls in TreeBuilding

Pull Request - State: open - Opened by jozanek over 2 years ago
Labels: A-frontend

#802 - [v5.x] Refactor tests

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

#801 - [v5.x] remove AOT costing code

Pull Request - State: closed - Opened by aslesarenko over 2 years ago - 1 comment

#800 - [v5.0.1] Remove SigmaProp.isProven method

Pull Request - State: open - Opened by aslesarenko over 2 years ago - 1 comment
Labels: C-refactoring

#798 - [v5.0.1] Add threshold for maxTreeDepth for serializers

Pull Request - State: closed - Opened by jozanek over 2 years ago - 4 comments

#797 - [v5.0.1] ErgoScripit compiler without AOT costing

Pull Request - State: closed - Opened by aslesarenko over 2 years ago - 1 comment
Labels: A-frontend, C-refactoring

#792 - Get rid of AOT costing code in SigmaCompiler

Issue - State: closed - Opened by aslesarenko almost 3 years ago
Labels: A-frontend, P1-high, C-refactoring

#789 - [v5.0.1] Removing arrays hash code

Pull Request - State: open - Opened by jozanek almost 3 years ago - 3 comments
Labels: P3-low

#784 - 5cc37727ae461bc36045a5d6cc3d12b0ac4ecf5935b7ee940716237f25fb6cee validation

Issue - State: closed - Opened by kushti almost 3 years ago - 1 comment
Labels: P0-critical

#783 - Change semantics of accessing registers

Issue - State: open - Opened by aslesarenko almost 3 years ago - 2 comments
Labels: A-consensus

#782 - Add isEmpty method to frontend compiler

Issue - State: closed - Opened by kushti almost 3 years ago - 4 comments
Labels: good first issue, A-frontend, Bounty - 500 SigUSD

#781 - Control maxTreeDepth in serialize (same as in deserialize)

Issue - State: closed - Opened by aslesarenko almost 3 years ago - 4 comments
Labels: C-enhancement, P3-low

#779 - Finalize v5.0: resolve all TODO mainnet

Pull Request - State: closed - Opened by aslesarenko almost 3 years ago - 1 comment
Labels: S-ready-for-review

#774 - InputLike interface with boxId

Pull Request - State: open - Opened by pragmaxim about 3 years ago - 1 comment

#770 - Different costing results for 4.0.4 & 4.0.5

Issue - State: closed - Opened by kushti about 3 years ago - 1 comment

#769 - Fix SubstConstants

Issue - State: closed - Opened by aslesarenko about 3 years ago - 2 comments
Labels: C-bug, A-consensus

#766 - Fix Coll.zip

Issue - State: closed - Opened by aslesarenko about 3 years ago
Labels: C-bug, A-consensus

#765 - Fix Coll.append

Issue - State: closed - Opened by aslesarenko about 3 years ago
Labels: C-bug, A-consensus

#758 - Release Candidate v5.0

Pull Request - State: closed - Opened by aslesarenko about 3 years ago - 3 comments

#757 - Remove ScriptCostLimit

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

#750 - Restructure project

Issue - State: closed - Opened by kushti about 3 years ago - 1 comment

#704 - Release Candidate v4.0

Pull Request - State: closed - Opened by aslesarenko about 4 years ago - 2 comments

#681 - Preserve value order in ContextExtension on serialization

Issue - State: open - Opened by greenhat over 4 years ago - 9 comments
Labels: C-bug, A-consensus, P1-high

#675 - Implement conversion from Long-encoded nBits representation to BigInt and back

Issue - State: open - Opened by kushti over 4 years ago - 4 comments
Labels: soft-fork, A-consensus, P2-medium, C-feature, Bounty - 200 SigUSD

#667 - Support MethodCall encoding of Numeric methods

Issue - State: open - Opened by aslesarenko over 4 years ago
Labels: C-enhancement, A-consensus, P1-high, hard-fork, 3h

#666 - [refer #1132] Change ModifierId representation

Pull Request - State: open - Opened by knizhnik over 4 years ago - 2 comments

#665 - Implement JITC Specification tests

Issue - State: closed - Opened by aslesarenko over 4 years ago
Labels: C-enhancement, A-tests, P1-high, 40h

#660 - [planning] Hard-fork Activation Support

Issue - State: closed - Opened by aslesarenko over 4 years ago - 2 comments
Labels: A-consensus, C-planning, 40h

#659 - Serialize Option[T] in DataSerializer

Issue - State: open - Opened by aslesarenko over 4 years ago - 1 comment
Labels: C-enhancement, soft-fork, A-consensus, P2-medium

#657 - Remove unused TaggedVariable node

Pull Request - State: closed - Opened by aslesarenko over 4 years ago - 3 comments
Labels: P2-medium, C-refactoring, 8h

#643 - [v5.x] ErgoTree specification

Pull Request - State: open - Opened by aslesarenko almost 5 years ago - 2 comments
Labels: S-wip, A-frontend, P1-high, A-docs, 16h

#636 - Fix for #638: signing proveDHTuple(g, g^x, g^y, g^xy) should work for y and not x

Pull Request - State: open - Opened by kushti about 5 years ago - 2 comments
Labels: C-bug, S-wip, A-tests, P2-medium

#632 - Support EIP-5 in ErgoScript compiler

Issue - State: open - Opened by aslesarenko about 5 years ago - 1 comment
Labels: A-frontend, P2-medium, C-feature

#631 - Rename ErgoTree.root to template

Pull Request - State: closed - Opened by greenhat about 5 years ago - 2 comments
Labels: S-ready-for-review, C-refactoring

#629 - [planning] Sigma roadmap 2020

Issue - State: closed - Opened by aslesarenko about 5 years ago - 1 comment
Labels: P1-high, C-planning

#621 - Rewrite ErgoScriptPredef contracts using ErgoContract macros

Issue - State: closed - Opened by aslesarenko over 5 years ago - 1 comment
Labels: A-frontend, P2-medium, C-feature, Proposal

#616 - Support n-ary functions in ErgoScript (front-end only)

Issue - State: open - Opened by aslesarenko over 5 years ago
Labels: help wanted, A-frontend, P3-low, C-feature, Bounty - 500 SigUSD

#614 - Run spam tests with different sigma versions and compare the reports.

Issue - State: closed - Opened by greenhat over 5 years ago
Labels: C-enhancement, A-tests

#612 - executeFromVar() error on costing

Pull Request - State: closed - Opened by greenhat over 5 years ago - 1 comment
Labels: S-wip

#610 - Plan for contract formal verification

Pull Request - State: open - Opened by greenhat over 5 years ago
Labels: S-wip

#609 - Proving contract properties (formal verification)

Issue - State: closed - Opened by greenhat over 5 years ago - 3 comments
Labels: P1-high, C-planning, A-verification

#605 - [v6.x] Implement avlTree global function

Issue - State: open - Opened by greenhat over 5 years ago
Labels: A-frontend, P2-medium, C-feature

#604 - Make sure this example works with JITC

Issue - State: closed - Opened by greenhat over 5 years ago - 2 comments
Labels: C-bug, A-consensus, A-tests, P2-medium, 4h

#603 - Fix CONTEXT.selfBoxIndex

Issue - State: closed - Opened by greenhat over 5 years ago - 1 comment
Labels: C-bug, A-consensus, P2-medium, 2h

#602 - add DownCast for register id in executeFromSelfReg()

Issue - State: open - Opened by greenhat over 5 years ago - 1 comment
Labels: C-bug, A-frontend, P3-low

#593 - Implement all TODO HF changes in code (160h)

Issue - State: open - Opened by aslesarenko over 5 years ago - 1 comment
Labels: C-enhancement, A-consensus, P1-high

#591 - More flexible blake2b support

Issue - State: open - Opened by jasondavies over 5 years ago
Labels: soft-fork, A-consensus, P2-medium, C-feature

#589 - Unexpected long compile time for collection of BigInts from byte arrays

Issue - State: open - Opened by greenhat over 5 years ago
Labels: C-bug, A-frontend, S-can't-reproduce, P1-high

#584 - Remove TaggedVariable

Issue - State: open - Opened by aslesarenko over 5 years ago - 2 comments
Labels: C-refactoring

#581 - As proof-of-concept, try to prove properties on some ErgoScript contracts

Issue - State: closed - Opened by greenhat over 5 years ago
Labels: A-frontend, P2-medium, C-feature, A-verification

#580 - Try static software verification with Stainless

Pull Request - State: open - Opened by greenhat over 5 years ago
Labels: S-wip

#578 - v3.0.2

Pull Request - State: closed - Opened by greenhat over 5 years ago
Labels: S-wip

#574 - Declared variable is missing in the environment (BigInt type)

Issue - State: open - Opened by greenhat over 5 years ago
Labels: C-bug, help wanted, A-frontend, P2-medium, Bounty - 200 SigUSD

#567 - Add check using isValidIndex in Coll[T] impls

Issue - State: open - Opened by aslesarenko over 5 years ago - 2 comments
Labels: C-enhancement, A-consensus, P2-medium, 8h

#543 - Implement allZK, anyZK global functions

Issue - State: open - Opened by greenhat over 5 years ago - 1 comment
Labels: help wanted, A-frontend, P2-medium, C-feature

#514 - Soft-forkable CostTable parameters

Issue - State: open - Opened by aslesarenko over 5 years ago
Labels: soft-fork, 40h

#496 - Add tests for spec generators

Issue - State: open - Opened by aslesarenko over 5 years ago - 2 comments
Labels: good second issue, A-tests

#486 - Add Numeric.toBigEndianBytes methods

Issue - State: open - Opened by aslesarenko over 5 years ago
Labels: soft-fork, A-consensus, C-feature

#479 - Add missing operations (part 2)

Issue - State: open - Opened by greenhat almost 6 years ago - 2 comments
Labels: soft-fork

#474 - Implement bitwise numeric OR, AND, XOR, inversion, bit shifts

Issue - State: closed - Opened by greenhat almost 6 years ago - 1 comment
Labels: soft-fork

#472 - Implement outerJoin on collections

Issue - State: closed - Opened by aslesarenko almost 6 years ago - 1 comment
Labels: soft-fork

#462 - Implement Some and None as global methods

Issue - State: open - Opened by aslesarenko almost 6 years ago
Labels: soft-fork, Bounty - 300 ERG

#449 - Split consensus-critical and not critical parts of the code.

Issue - State: closed - Opened by kushti almost 6 years ago - 1 comment

#443 - Finish executeFromX implementation

Issue - State: open - Opened by scalahub almost 6 years ago
Labels: P3-low

#427 - Expression t._1(t._2) cannot be costed because t is lambda argument

Issue - State: closed - Opened by kushti almost 6 years ago - 1 comment
Labels: C-enhancement

#419 - Finish implementation of zipWith

Issue - State: closed - Opened by kushti almost 6 years ago - 2 comments
Labels: soft-fork

#418 - Implement >> and << operations

Issue - State: closed - Opened by kushti almost 6 years ago - 1 comment
Labels: soft-fork

#417 - Support A=>B func types in getVar and getReg

Issue - State: closed - Opened by kushti almost 6 years ago - 1 comment
Labels: soft-fork, A-consensus, P2-medium, C-feature, 40h

#416 - Implementation of Box.getReg

Issue - State: open - Opened by kushti almost 6 years ago - 2 comments
Labels: soft-fork, A-consensus, P3-low, C-feature, Bounty - 200 ERG

#409 - Improve source context for selects (error reporting)

Issue - State: open - Opened by greenhat almost 6 years ago
Labels: C-bug, A-frontend, P3-low

#407 - Better alternative to Deserialize which can be cached

Issue - State: open - Opened by aslesarenko almost 6 years ago
Labels: soft-fork, A-consensus, P2-medium, C-feature, Proposal, 40h

#404 - Check that explicitly given type is equivalent to the actual type of expression

Issue - State: open - Opened by greenhat almost 6 years ago
Labels: C-bug, A-frontend, P2-medium

#398 - Correct type inference for Option.None

Issue - State: open - Opened by aslesarenko almost 6 years ago - 1 comment
Labels: A-frontend

#395 - Visualization of transaction graph built with ErgoDsl

Issue - State: open - Opened by aslesarenko almost 6 years ago
Labels: help wanted

#394 - ErgoDsl for constructing and submitting new Ergo transactions

Issue - State: open - Opened by aslesarenko almost 6 years ago
Labels: A-frontend, P2-medium, C-feature, Proposal

#381 - Add placeholder[T](index) primitive to ErgoScript frontend

Issue - State: open - Opened by aslesarenko about 6 years ago
Labels: A-frontend, P2-medium, C-feature

#327 - Implement modular arithmetic operations

Issue - State: closed - Opened by greenhat about 6 years ago - 4 comments
Labels: soft-fork, A-consensus, P2-medium, C-feature

#296 - Add MerkleTree type

Issue - State: open - Opened by kushti about 6 years ago

#236 - Add ZKProof function to designate zero-knowledge scope

Issue - State: open - Opened by ergomorphic over 6 years ago - 2 comments
Labels: A-frontend, P2-medium, C-feature, Proposal

#226 - Pretty printer for ErgoTree

Issue - State: open - Opened by ergomorphic over 6 years ago - 1 comment
Labels: help wanted, good first issue, A-frontend, P2-medium, C-feature

#209 - Add benchmarking (de)serialization tests to catch regressions

Issue - State: open - Opened by greenhat over 6 years ago
Labels: C-enhancement, A-tests, P2-medium

#197 - Revise and optimize hashCode for Digest32 and other hashes

Issue - State: open - Opened by ergomorphic over 6 years ago - 1 comment
Labels: C-enhancement, help wanted, good first issue, P2-medium, A-performance, Bounty - 200 SigUSD

#194 - Examples to implement

Issue - State: closed - Opened by catena2w over 6 years ago
Labels: A-tests, P3-low, Proposal

#151 - Upcast function arguments of numeric type

Issue - State: closed - Opened by ergomorphic over 6 years ago - 4 comments
Labels: C-enhancement, A-frontend, P3-low