• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Zilliqa / scilla / 3192
61%

Build:
DEFAULT BRANCH: master
Ran 17 Oct 2022 12:11PM UTC
Jobs 4
Files 43
Run time 2s
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

pending completion
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

Jobs
ID Job ID Ran Files Coverage
1 3192.1 (OCAML_VERSION=4.14.0) 17 Oct 2022 12:11PM UTC 0
60.66
Travis Job 3192.1
2 3192.2 (OCAML_VERSION=4.11.2) 17 Oct 2022 12:12PM UTC 0
60.66
Travis Job 3192.2
3 3192.3 (OCAML_VERSION=4.14.0) 17 Oct 2022 12:12PM UTC 0
60.66
Travis Job 3192.3
4 3192.4 (OCAML_VERSION=4.11.2) 17 Oct 2022 12:13PM UTC 0
60.66
Travis Job 3192.4
Source Files on build 3192
Detailed source file information is not available for this build.
  • Back to Repo
  • Build #3192
  • 114267d4 on github
  • Prev Build on master (#3189)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc