Skip to content

Tags: GaloisInc/swanky

Tags

v0.6.0

Toggle v0.6.0's commit message
This release marks a significant moment in Swanky's development histo…

…ry: Going forward, all of Galois's contributions to the `dev` branch will be made public as they occur, rather than trimesterly. We still plan to make official versioned released on this schedule, but active development efforts may now be followed by those in the broader community.


The development team is still aligning on best practices for maintaining a `CHANGELOG` and keeping these releases as accessible as possible. We appreciate your patience!

If you would like to see upcoming development plans for Swanky, please see the [`ROADMAP`](ROADMAP.md).

DISTAR0424

Toggle DISTAR0424's commit message
This branch is tagged for DISTAR, tagging the git commit c81720e.

This is corresponds to dev + wip vole-it-head. But the dev that it builds on top of is eae2978

DISTAR

Toggle DISTAR's commit message
Code up to this point has been DISTAR'ed.