v0.5.3

This collapses all but one citation for better appearance.
It also adds my thesis to the citations.

Based on #81, refined and rebased onto main.

#patch

v0.5.2

This fixes an issue in the dependency naming of the gui deb package.

The installed name of Crow is crow with a lower case. In the previous version, the dependency could not be resolved when installing the package via apt.

#patch

v0.5.1

This resets the version to the one before #85 which accidentally bumped the major version.

#patch

v0.5.0

• Fix broken github icon paths
• Fix rendering of bibtex code blocks

v0.4.3

This adds the ability to automatically fall back to the next best option if the getCommand() function of a behavior throws an exception.

Closes #21.

v0.4.2

This

• tidies up the readme by using spoilers
• adds links when clicking the badges
• adds a citation section
• adds short instructions on installing from zip/tar
• adds a contributors section

v0.4.1

Closes #62

The CostArbitrator calls getCommand twice. Once in getAndVerifyCommand like all verifier types but also once in sortOptionsByGivenPolicy since the command is required to estimate the cost.
The call to getCommand can potentially be quite expensive, though. Therefore, this PR adds a cache for it inside the Arbitrator::Option class. When computing a command, the arbitrator now doesn't call the behavior directly anymore but instead calls the wrapper inside the Option class. Should the function be called two or more times inside a single time step, the cached command is returned and the behavior is not called again.

v0.4.0

Closes #23

v0.3.0

This adds download links to the latest debian packages to our GitHub Page.
It only hides the github and download buttons on other pages (like tutorial etc), to reduce distractions on these.

v0.2.1

Closes #57

This adds a simple std::cout when launching the demo to print the keybindings to the terminal.