HashiBump

This release upgrades Gini. Should have faster BMC.

Gauffre

Move to go-air

• Typo in README fixed
• Go modules now understands reach is at GitHub.com/go-air.

Cheers

Tenu

This is an administrative release for adding a zenodo DOI and citation information.

Abordé

Reach -- Abordé v0.1.0

First release, with lots of core functionality and a few known problems. Namely

1. Parsing of 6s* HWMCC files gives some models incompatible with competition results.
2. It is is still slower than ABC/PDR on many problems.

The core functionality:

1. controllable simulation.
2. bounded model checking, including multi-property.
3. An incremental inductive prover much faster than baseline IC3.