Bump to v0.8.0.

Code clean (no functionality changes) (#31)

Update GH Actions: change to Java 21. (#32)

Update release script. (#30)

Tweaks for v0.7.2 (#29)

Optimization of concurrent fact indexer (#27)

Fix bug in bound variables check; add regression tests (#25)

Fix GitHub Action. (#26)

Release on Maven Central (#24)

Note on contributing.

Fix release script (#22)

v0.7.0 (#21)

Apply Google Java Style (#20)

UI improvements (#19)

Clean up tests (#18)