Zilliqa/scilla issues and pull requests

#100 - Global configuration for Tracer

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#99 - TravisCI support

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment

#98 - Add input validations for state, blockchain variables and messages

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#97 - Include standard library into the interpreter

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment

#96 - fungible-token: mimic erc20 behaviour

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#95 - Validate state variables, parameters and blockchain variables from JSON

Issue - State: closed - Opened by AmritKumar over 6 years ago - 1 comment

#94 - Implementation of run-time type substitution for polymorphic types.

Pull Request - State: closed - Opened by ilyasergey over 6 years ago

#93 - Force dynamic type checking of function and constructor arguments

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: type system

#92 - Add Emacs mode highlighting for new primitive types

Issue - State: closed - Opened by ilyasergey over 6 years ago - 2 comments
Labels: infrastructure, emacs

#91 - Add an explicit `accept` field in output message

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#90 - Relax naming restriction for transitions.

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#89 - Fix messages from crowdfunding to have empty tag when no money transferred

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#88 - Support Int256 / Uint256 in Scilla

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

#87 - Support `Int` and `Uint` using `ocaml-stdint`

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 5 comments

#86 - Relax the naming restriction for transitions

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

#85 - Explicit `accept` to report success or failure of money transfer.

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

#84 - Checks for fungible-token contract against negative inputs.

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#83 - Typed `Emp` literals

Pull Request - State: closed - Opened by ilyasergey over 6 years ago

#82 - Support `Int` and `Uint` using `ocaml-stdint`

Issue - State: closed - Opened by AmritKumar over 6 years ago - 1 comment

#81 - Support typed Maps and ADT in JSON

Issue - State: closed - Opened by ilyasergey over 6 years ago - 5 comments
Labels: type system

#80 - More folds for the standard library

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

#79 - Generate contract info for JavaScript code

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment

#78 - Implement "import" construct in Scilla

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 4 comments

#77 - Interface improvements. Issue #37.

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#76 - A high-level language for Scilla contracts

Issue - State: open - Opened by ilyasergey over 6 years ago

#75 - Support for Logging events

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: enhancement

#74 - Get rid of strings in integer representation

Issue - State: closed - Opened by ilyasergey over 6 years ago - 2 comments
Labels: enhancement

#73 - Gas analysis in the presence of folds

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: verification, type system, in-progress, advanced, static analysis

#72 - Standalone type-checker

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: infrastructure, type system

#71 - Create a separate binary for just parsing scilla code

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#70 - New executable for just parser code

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

#69 - Some built-ins and folds

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#68 - Implementing Randao for random number generation

Issue - State: open - Opened by AmritKumar over 6 years ago - 5 comments
Labels: example-contract

#67 - FungibleToken

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#66 - Implement cryptographic signing and signature checking

Issue - State: closed - Opened by ilyasergey over 6 years ago - 4 comments
Labels: in-progress

#65 - Canonical representation of maps

Issue - State: closed - Opened by ilyasergey over 6 years ago - 2 comments
Labels: wontfix, evaluator

#64 - Add explicit types to `Emp` literal

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: type system

#63 - Test and fix issue with multiple message output

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 3 comments

#62 - Support for Primitive Recursion for Nats and Lists

Pull Request - State: closed - Opened by ilyasergey over 6 years ago

#61 - Create a Payment Channel using Scilla

Issue - State: open - Opened by vaivaswatha over 6 years ago - 6 comments
Labels: example-contract

#60 - Support accessing special variables in mutable state initialization

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 8 comments

#59 - Support Events in Scilla

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 9 comments
Labels: in-progress

#58 - Emacs mode doesn't correctly highlight strings in comments

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: infrastructure, emacs

#57 - Support for strings literals

Pull Request - State: closed - Opened by ilyasergey over 6 years ago - 1 comment

#56 - Add support for string literals

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: parser

#55 - add a contract that can invoke CrowdFunding

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 10 comments

#54 - add withdraw method to zil-game and add tests for it.

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#53 - Support for polymorphic types

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: evaluator, type system

#52 - Debug Utilities

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#51 - Create a test for a contract calling another one

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 8 comments
Labels: tests

#50 - Write a tic-tac-toe game in Scilla

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment
Labels: experiment, example-contract

#49 - Improve zil-game

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

#48 - Fix hashing in Scilla interpreter

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment
Labels: inconsistency, in-progress

#47 - Implement ERC721 in Scilla

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment
Labels: libraries / builtins

#46 - Rename ADT And to Pair

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#45 - Implement standard library

Issue - State: closed - Opened by ilyasergey over 6 years ago - 4 comments

#44 - Design standard library

Issue - State: closed - Opened by ilyasergey over 6 years ago - 7 comments
Labels: libraries / builtins

#43 - Implement ERC20 in Scilla

Issue - State: closed - Opened by ilyasergey over 6 years ago - 5 comments
Labels: libraries / builtins

#42 - Implement a tracer/debugger for Scilla evaluation

Issue - State: open - Opened by vaivaswatha over 6 years ago - 8 comments
Labels: infrastructure, evaluator

#41 - Rename "Pair" (datatype) to "Product", and "And" to "Pair"

Issue - State: closed - Opened by vaivaswatha over 6 years ago

#40 - Emacs indentation for multi-line constructs

Issue - State: open - Opened by ilyasergey over 6 years ago - 20 comments
Labels: enhancement, emacs

#39 - Emacs mode

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 3 comments

#38 - Add INSTALL.md for platform specific instructions. Remove ubuntu-setup.sh

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

#37 - Make _sender, _amount and _tag implicit to the language

Issue - State: closed - Opened by KaustubhShamshery over 6 years ago - 13 comments

#36 - Synthesis from Scilla-Coq implementation

Issue - State: open - Opened by ilyasergey over 6 years ago
Labels: synthesis

#35 - Extraction of programs into Coq for Scilla-Coq

Issue - State: open - Opened by ilyasergey over 6 years ago
Labels: verification

#34 - Add ability to print the command line used by testsuite for running a test

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#33 - Emacs mode for Scilla keyword highlighting and indentation

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: enhancement, infrastructure, emacs

#32 - Run individual tests from the suite with a simple command line interface.

Issue - State: closed - Opened by ilyasergey over 6 years ago - 4 comments
Labels: infrastructure

#31 - Add bash script for OCaml setup

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 4 comments
Labels: infrastructure

#30 - Misc error checks

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 7 comments

#29 - OCaml based testsuite

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 10 comments

#28 - Misc error checks

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment

#27 - (De)serialization for contract state, messages and block chain state

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 9 comments

#26 - Get rid of `assert false` in `JSON.ml`

Issue - State: closed - Opened by ilyasergey over 6 years ago - 5 comments
Labels: code style / refactoring

#25 - Add command line input parser

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago

#24 - Command line parsing

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 3 comments

#23 - ScillaLexer.mll reads Sha3256 instead of Sha256.

Issue - State: closed - Opened by AmritKumar over 6 years ago - 5 comments
Labels: inconsistency

#22 - utilities to read and write contract state

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 12 comments

#21 - HMAC in BuiltIns.ml

Issue - State: closed - Opened by AmritKumar over 6 years ago - 3 comments

#20 - Add a bash test script

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 9 comments

#19 - Support for primitive recursion

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment

#18 - Constraint-based cash flow tracking

Issue - State: open - Opened by ilyasergey over 6 years ago - 1 comment
Labels: advanced, static analysis

#17 - Separate type for Money

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: type system

#16 - A Type Checker for Scilla

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: verification, type system

#15 - Evaluator for contracts based on messages.

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: evaluator

#14 - Utilities for debug output

Issue - State: closed - Opened by ilyasergey over 6 years ago - 6 comments
Labels: infrastructure

#13 - Implementation of the type checker

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: enhancement, evaluator, verification

#12 - Support for hashing

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: evaluator

#11 - Implementation for pattern matching with embedded ADTs

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: evaluator

#10 - Report line and column numbers on parser errors.

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 10 comments

#9 - Setup LLVM OCaml interface

Issue - State: closed - Opened by vaivaswatha over 6 years ago - 1 comment

#8 - An API for the blockchain-related state

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: blockchain

#7 - An API for serializing/deserializing contract state

Issue - State: closed - Opened by ilyasergey over 6 years ago - 4 comments
Labels: evaluator, blockchain

#6 - An API for serializing/deserializing messages.

Issue - State: closed - Opened by ilyasergey over 6 years ago - 11 comments

#5 - Setup Travis CI integration

Issue - State: closed - Opened by ilyasergey over 6 years ago - 4 comments
Labels: enhancement, infrastructure

#4 - Evaluator for expressions

Issue - State: closed - Opened by ilyasergey over 6 years ago
Labels: enhancement

#3 - Automated test suite

Issue - State: closed - Opened by ilyasergey over 6 years ago - 6 comments
Labels: enhancement, infrastructure

#2 - Parser support for error reporting.

Issue - State: closed - Opened by ilyasergey over 6 years ago - 1 comment
Labels: enhancement, parser

#1 - Track location information for common statements and expressions

Pull Request - State: closed - Opened by vaivaswatha over 6 years ago - 5 comments

GitHub / Zilliqa/scilla issues and pull requests