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

robsimmons / dusa / 11977024807
95%

Build:
DEFAULT BRANCH: main
Ran 22 Nov 2024 05:12PM UTC
Jobs 1
Files 47
Run time 1min
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

22 Nov 2024 05:11PM UTC coverage: 92.135% (+17.6%) from 74.549%
11977024807

push

github

web-flow
Engine rewrite based on POPL paper (#62)

Completing a design cycle: because of describing the semantics of the language caused us to understand much more about the implementation, I've done a full rewrite of the implementation so that it more clearly and straightforwardly implements the things that the paper describes.

This pass also makes a number of other improvements

 - Making a well-defined bytecode interface boundary between the language's "frontend" and "backend".
 - Frontend is much less wasteful about index creation, and in general has a clearer and better-documented index creation strategy
 - Moving hashconsing from a global thing into the Dusa object in order to prevent memory leaks
 - Uses what I think is a less convoluted API that uses getters in a less confusing way
 - Introduces a command-line program that should be runnable via npx.

597 of 649 branches covered (91.99%)

Branch coverage included in aggregate %.

2247 of 2390 new or added lines in 39 files covered. (94.02%)

4 existing lines in 2 files now uncovered.

3058 of 3318 relevant lines covered (92.16%)

948.49 hits per line

Jobs
ID Job ID Ran Files Coverage
1 11977024807.1 22 Nov 2024 05:12PM UTC 0
92.14
GitHub Action Run
Source Files on build 11977024807
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #11977024807
  • 54244803 on github
  • Prev Build on main (#11925523932)
  • Next Build on main (#11977458969)
  • Delete
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