robsimmons / dusa / 11977024807

95%

Build Type

push

github

Committed by web-flow

Commit Message

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.

Run Details

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