Zilliqa / scilla / 2602
61%

DEFAULT BRANCH: master
Ran
Jobs 4
Files 44
Run time 42s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
2602

push

travis-ci-com

web-flow 
Remote state reads (#967)

* Create new branch

* Define Address type (#763)

* Define Address type
* Define legal Address types for messages, parameters and fields.

* Syntax for address types (#767)

* Added address type to syntax, and fixed ambiguous grammar

* Add location info to Address field identifiers

* Type inference rules for addresses (#778)

* assert_type_assignable

* Use assert_type_assignable in TypeUtil.

* Type inference rules for address types

* Fix type_assignable and tests of same, introduce legal_procedure_parameter_type, and fix parser bug

* Fix parser bug and typechecker issue

* Refactor type equivalence tests

* Assignable tests

* Duplicate field check for address types

* Remove fixed TODO

* Move duplicate field check to Recursion.ml

* Remove blank line

* Reintroduce is_ground_type

* Cosmetic change to pp_typ in case the address contains no fields

* Addresses from JSONs should be read as ByStr20s

* Reorder arguments to for_all2_exn in builtin argument traversal

* Do not use type_assignable when comparing types derived from literal values

* Use type_equiv in Schnorr calculations, and rename json_to_lit to json_to_lit_exn

* Remote state read read syntax (#783)

* Remote state read syntax and typechecking

* _balance field must be accessible even when not declared

* Change <- to <-- for remote reads

* Add address type to map key and value types

* Removed incorrect comment

* Simple example contract for remote state reads, plus minor parser fix (#785)

* Field initialiser bugs fixed (#787)

* Fixed two bugs re. initialisers for address fields.

* Update src/base/TypeChecker.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

Co-authored-by: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Contract info should specify the defining lib for ADTs (#786)

* Provide an external_fetch function in StateService (#805)
... (continued)

4045 of 6764 relevant lines covered (59.8%)

55979.75 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2602.1 (OCAML_VERSION=4.11.1) 0
59.8
 Travis Job 2602.1
2 2602.2 (OCAML_VERSION=4.10.1) 0
59.8
 Travis Job 2602.2
3 2602.3 (OCAML_VERSION=4.09.1) 0
59.8
 Travis Job 2602.3
4 2602.4 (OCAML_VERSION=4.08.1) 0
59.8
 Travis Job 2602.4
Source Files on build 2602
Detailed source file information is not available for this build.