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: master
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  
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  
3158 master Disable REPLICATE_CONTRACT (#1181) push web-flow travis-ci-com pending completion  
3148 master feat(formatter): Support comments (#1172) This commit adds an extended syntax for Scilla that preserves comments as annotations for AST nodes. Closes #1086 push web-flow travis-ci-com pending completion  
3144 master Remove non-validating json parser (#1177) * Removed flags for json validation * fmt * Improve JSON parser error message * Reenabling json validation, which was disabled by default by accident * Remove gen_parser from JSONParser, move ... push web-flow travis-ci-com pending completion  
3127 master Messages to libraries must output "messages" and "events" entry (#1175) * Added empty messages and events entry to output from messages sent to libraries * Added _accepted=false to output from message sent to library push web-flow travis-ci-com pending completion  
3124 master fix(parser): update ParserFaults.messages (#1170) Improves two parsing error messages: for maps and type casts. Also moves some tests to their proper places in the tests/ directory. To update the `ParserFaults.messages` file, run ``` $ make... push web-flow travis-ci-com pending completion  
3120 master Fix ocamlformat version to 0.22.4, since this is required elsewhere (#1174) push web-flow travis-ci-com pending completion  
3118 master Removed vim scilla-mode instructions (#1173) push web-flow travis-ci-com pending completion  
See All Builds (2131)