Zilliqa / scilla / 2602 / 1
61%
master: 61%

DEFAULT BRANCH: master
Ran
Files 44
Run time 9s
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
coverage: 59.802% (+2.2%) from 57.57%
OCAML_VERSION=4.11.1

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%)

13994.94 hits per line

Source Files on job 2602.1 (OCAML_VERSION=4.11.1)