search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Annotation, simplifications, and renaming #61

Closed MattWindsor91 closed 8 years ago

MattWindsor91 commented 8 years ago

This large PRQ non-exhaustively does the following:

1) Annotates most of the top-level definitions in Starling with types (I didn't quite get everything covered); 2) Moves some definitions to nest inside top-level definitions; 3) Replaces ViewDef with ViewDefiner a modified FuncTable (now called FuncDefiner); 4) Kills off some type synonyms; 5) Generally refactors various parts of Starling.

septract commented 8 years ago

Looks good but there are conflicts with master. @CaptainHayashi could you fix these?

MattWindsor91 commented 8 years ago

@septract On it, might take a while (these are fairly nontrivial!).

MattWindsor91 commented 8 years ago

@septract I've rebased on top of master (you might have to pull --force to check out locally). This should mean there aren't any conflicts.