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

Zilliqa / scilla / 2489
61%

Build:
DEFAULT BRANCH: master
Ran 25 Nov 2020 09:53PM UTC
Jobs 4
Files 43
Run time 30s
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
2489

push

travis-ci-com

web-flow
Name disambiguation duct tape and wood glue (#905)

* Remove FlattenedName, refactor DataTypeDictionary

* Datatypes and TypeUtil done

* Locally defined types and constructors should disambiguate to qualified name

* Recursion glued together

* Glue RecursionPrinciples to disambiguation

* Liberal application of duct tape

* Cashflow duct tape

* SanityChecker exposed to sledge hammer

* Bugfix - file extention should not be part of the filename

* Stapling of TypeChecker and TypeInfo to disambiguation

* Fix filename computation

* Save game

* Beginning of dealing with FrontEndParser and RunnerUtil

* Attempting to figure out how library imports work.

* Almost fix, except for an odd build error

* src/base welded together completely

* Read addresses from init file, if specified

* Saving the game because it contains a bug close to where there is a build error.

* Checker appears to be done

* Evaluator done, except that message fields need to be translated to global names

* Incoming messages fixed, but still problems with the eval continuation

* Fixed EvalUtil. Still need to fix Runner.ml, but disambiguation is being done

* Runner and executables fixed. Still need to deal with tests

* Tests now build, but fail when run

* Bugfix in JSON parser, and added _this_address to extlib_dup_entry.json to trigger correct error

* Save game. Changed disambiguation dictionary datastructure, but not all subsequent changes implemented.

* Disambiguator to handle multiple imports to same namespace

* Disambiguation bugfixes, and updated gold files

* Disambiguation bugfixes, and updated gold files

* Bugfix. Contract library entries should be added to imported entries rather than replace them.

* Bugfixes, and pending issue with import_lib expecting a filename rather than a library name

* Fixed issue with missing _this_address in checker init.json, fixed output json names, and updated gold files... (continued)

795 of 795 new or added lines in 22 files covered. (100.0%)

3353 of 6092 relevant lines covered (55.04%)

45856.25 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2489.1 (OCAML_VERSION=4.11.1) 25 Nov 2020 09:53PM UTC 0
55.04
Travis Job 2489.1
2 2489.2 (OCAML_VERSION=4.10.1) 25 Nov 2020 09:53PM UTC 0
55.04
Travis Job 2489.2
3 2489.3 (OCAML_VERSION=4.09.1) 25 Nov 2020 09:53PM UTC 0
55.04
Travis Job 2489.3
4 2489.4 (OCAML_VERSION=4.08.1) 25 Nov 2020 09:53PM UTC 0
55.04
Travis Job 2489.4
Source Files on build 2489
Detailed source file information is not available for this build.
  • Back to Repo
  • Build #2489
  • aced3e8c on github
  • Prev Build on master (#2482)
  • Next Build on master (#2496)
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