1474
61%

Ran 26 Jul 2019 03:28PM UTC

Jobs 2

Files 41

Run time 17s

Badge

Embed ▾

pending completion

Build # 1474

Build Type

push

travis-ci-com

Committed by

anton-trunov

Commit Message

Introduce foldk, rewrite ListUtils (#608)

* Introduce list_foldk and nat_foldk folding primitives supporting early termination

* Add list_foldl_while to ListUtils and nat_fold_while to NatUtils

* Reimplement list_forall, list_eq, list_find, list_zip_with, list_nth using list_foldk to take advantage of early termination

* Reimplement nat_eq using nat_foldk to take advantage of early termination

* Stylistic changes, eta-reduction, lifting of constants to reduce gas usage for ListUtils and NatUtils

Run Details

5029 of 6772 relevant lines covered (74.26%)

29344.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1474.1 (OCAML_VERSION=4.07.1)	26 Jul 2019 03:28PM UTC	0	74.26	Travis Job 1474.1
2	1474.2 (OCAML_VERSION=4.06.1)	26 Jul 2019 03:28PM UTC	0	74.26	Travis Job 1474.2

Source Files on build 1474

Detailed source file information is not available for this build.

Zilliqa / scilla / 1474
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1474

Zilliqa / scilla / 1474 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1474

Zilliqa / scilla / 1474
61%

README BADGES
x