Zilliqa / scilla
61%

DEFAULT BRANCH: master
Repo Added
Files 43
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

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

3192

push

travis-ci-com

web-flow 
Add a `Merge` library to merge multiple contracts (#1156)

* feat(lib): Add a Product library to merge multiple contracts

Closes #1147

* feat(product): Add the `scilla_merged` runner

Currently it works only w/ cmodules.

* feat(product): Make interfaces compatible w/ `Formatter`

* fix(product): Captalize identifiers when needed

* fix(product): Remove duplicate imports

* chore(product): Use uncapitalized names for better readability

* fix(product): Set unique names to ADT constructors

* fix(product): Always qualify contract params and fields

* fix(product): Restore missing fields

* fix(product): Don't qualify built-in datatypes

* fix(product): fmt

* fix(product): Rename identifiers in the statements

* chore(product): Refactor code

* fix(product): Order of procedures

* feat(product,tests): Add a simple test suite

* feat(product): Replace type casts with binding to `_this_address`

* fix(product): Collisions with component names

* feat(product): Detect name collisions in renames

* chore(product): Codestyle; NFC

* chore(product): Mention the issue number in the TODO. NFC.

* fix(product): Avoid most conflicts on local renames

* fix(fmt): Format

* feat(merger): Emit warnings to `stderr`

* feat(product,merger): Configuration file to avoid name collisions

* feat(product): Support merging contracts with the same name

* chore(product): Remove TODO comment

* fix(opam): Dependency name

* fix(product): Add missing module

* feat(product): Support merging constraints

* fix(fmt)

* feat(product): Initial `init.json` support

* chore(product): Rename files for better consistency

* feat(product): Support conflicting names when merging JSONs

* feat(product): Add tests for merging init.json

* feat(product): Support JSON config for init.json collisions

* fix(product): Add missing file

* fix(product): Remove duplicating `[@@deriving yojson]`

* chore(product): Re... (continued)

4277 of 7051 relevant lines covered (60.66%)

14216.17 hits per line

Relevant lines Covered
7051 RELEVANT LINES 4277 COVERED LINES
14216.17 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
3192 master Add a `Merge` library to merge multiple contracts (#1156) * feat(lib): Add a Product library to merge multiple contracts Closes #1147 * feat(product): Add the `scilla_merged` runner Currently it works only w/ cmodules. * feat(product)... push web-flow travis-ci-com pending completion  
3189 master feat(DeadCodeDetector): Report unused fields in contract address types (#1164) Closes #1099 push web-flow travis-ci-com pending completion  
3188 1099_dcd_arg_fields Merge 2936dd043 into 9b465a938 Pull #1164 web-flow travis-ci-com pending completion  
3187 1099_dcd_arg_fields Merge aab04c73a into 9b465a938 Pull #1164 web-flow travis-ci-com pending completion  
3185 master feat(accept): Improve accept analysis (#1183) Don't report contracts that have messages with only zero `_amount`. Closes #1141 push web-flow travis-ci-com pending completion  
3186 1099_dcd_arg_fields Merge 47b276116 into 9b465a938 Pull #1164 web-flow travis-ci-com pending completion  
3184 1141_accept Merge 32046ae5e into fba68cb76 Pull #1183 web-flow travis-ci-com pending completion  
3183 1147_product Merge 608fd3f53 into fba68cb76 Pull #1156 web-flow travis-ci-com pending completion  
3172 1099_dcd_arg_fields Merge 023648b5e into fba68cb76 Pull #1164 web-flow travis-ci-com pending completion  
3163 1099_dcd_arg_fields Merge a644baa5e into fba68cb76 Pull #1164 web-flow travis-ci-com pending completion  
See All Builds (2131)