792
61%

Ran 17 Jan 2019 03:15PM UTC

Jobs 1

Files 36

Run time 6s

Badge

Embed ▾

pending completion

Build # 792

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Example contract using custom ADTs (#381)

* Parsing of custom ADTs

* Changed syntax of ADT constructor argument types

* Changed syntax of ADT constructor arguments

* Sanity check for ADTs

* scilla-checker to use ADTChecker. Not yet done

* Renaming and returning correct value from recursion check

* Renamings, and add custom ADTs to datatypes hashtable

* Typechecker updated, and added checks for multiple definitions of same ADT and constructor names

* Initial testing

* Improved error messages in recursion and typecheck

* Added handling of custom ADTs in Eval.ml

* Updated wallet to work as ADT test case

* Added tests of ADT declarations

* More ADT tests

* Negative tests of library ADTs

* Shogi game illustrating the use of custom ADTs. Untested.

* Changed map key types to be PrimTypes

* Rudimentary scilla-runner tests for shogi. Also a few bugfixes

Run Details

3004 of 3801 relevant lines covered (79.03%)

9887.59 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	792.1	17 Jan 2019 03:15PM UTC	0	79.03	Travis Job 792.1

Source Files on build 792

Detailed source file information is not available for this build.

Zilliqa / scilla / 792
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 792

Zilliqa / scilla / 792 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 792

Zilliqa / scilla / 792
61%

README BADGES
x